## Keyboard shortcuts

Press `←` or `→` to navigate between chapters

Press `S` or `/` to search in the book

Press `?` to show this help

Press `Esc` to hide this help

- Auto
- Light
- Dark

# Algorand Specifications

On observing Bundle(r,p,cert,v) for some value v, the player _commits_ the entry e corresponding to Proposal(v); i.e., the player appends e to the sequence of entries on its ledger L. (Evidently, this occurs either after a vote is received or after a bundle is received.)

> For further details on how entry commitment may be implemented, refer to the Algorand Ledger [non-normative section](https://specs.algorand.co/ledger/non-normative/ledger-nn).

In other words, if observing a cert-vote causes the player to commit e,

N(S,L,Vote(I,r,p,cert,v))=(S′,L∥e,…);

while if observing a bundle causes the player to commit e,

N(S,L,Bundle(r,p,cert,v))=(S′,L∥e,…).

> Occasionally, an implementation may not have e at the point e becomes committed. In this case, the implementation may wait until it receives e somehow (perhaps by requesting peers for e). Alternatively, the implementation may continue running the protocol until it receives e. However, if the protocol chooses to continue running, it may not transmit any vote for which v≠⊥ until it has committed e.