|
|
|---|
|
|
|
|---|
Transitions for anchor commitment.
Here we define the system state transitions
caused by
An anchor commitment event involves just one correct validator.
This event can only happen in an odd round different from 1. The anchor at the preceding even round must be present, and it must have a sufficient stake of voters from the odd round. That anchor is committed, along with possibly more anchors that are reachable from that anchor and that have not been committed yet. Committing an anchor (the one in the even round voted from the odd round, or one reachable from it) amounts to generating a block, and adding it to the blockchain. Each block contains all the transactions from all the uncommitted certificates, linearized in some deterministic way.
An anchor commitment event does not involve the network.