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

When a player observes that either a new round or a new period (r,p) has begun, then the player garbage-collects old state.

In other words,

N((r−i,p−i,s,s¯,V,P,v¯),L,…)=((r,p,s¯,0,V′∖V∗r,p,P′∖P∗r,p,v¯),L,…)

where

V∗r,p={Vote(I,r′,p′,s¯,v)|Vote∈V,r′<r}∪{Vote(I,r′,p′,s¯,v)|Vote∈V,r′=r,p′+1<p}

and P∗r,p is defined similarly.