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 that some proposal-value vv is committable for its current round rr, and some period p′≥pp′≥p (its current period), if s≤certs≤cert, then the player broadcasts* Vote(I,r,p,cert,v). (It can be shown that this occurs either after a proposal is received or a soft-vote, which can be part of a bundle, is received.)

For a detailed overview of how the certification step may be implemented, refer to the Algorand ABFT non-normative section.

In other words, if observing a soft-vote causes a proposal-value to become committable,

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

while if observing a bundle causes a proposal-value to become committable,

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

and if observing a proposal causes a proposal-value to become committable,

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

as long as s≤certs≤cert.