## 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.