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 Vote(I,r,p,0,v) if Proposal(v)∈P then the player broadcasts Proposal(v).

In other words, if Proposal(v)∈P,

N(S,L,Vote(I,r,p,0,v))=(S′,L′,(Proposal(v))).