## 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 receiving a bundle Bundle(rk,pk,sk,v) a player

- Ignores* it if Bundle(rk,pk,sk,v) is malformed or trivially invalid.

- Ignores it if  
  - rk≠rrk≠r or  
  - rk=rrk=r and pk+1<ppk+1<p.
- Otherwise, observes the votes in Bundle(rk,pk,sk,v) in sequence. If there exists a vote that causes the player to observe some bundle Bundle(rk,pk,sk,v′) for some sk, then the player relays Bundle(rk,pk,sk,v′), and then executes any consequent action; if there does not, the player ignores it.

Specifically, if the player ignores the bundle without observing its votes, then

N(S,L,Bundle(rk,pk,sk,v))=(S,L,ϵ);N(S,L,Bundle(rk,pk,sk,v))=(S,L,ϵ);

while if a player ignores the bundle but observes its votes, then

N(S,L,Bundle(rk,pk,sk,v))=(S′∪Bundle(rk,pk,sk,v),L,ϵ);N(S,L,Bundle(rk,pk,sk,v))=(S′∪Bundle(rk,pk,sk,v),L,ϵ);

and if a player, on observing the votes in the bundle, observes a bundle for some value (not necessarily distinct from the bundle’s value), then

N(S,L,Bundle(rk,pk,sk,v))=(S′∪Bundle(rk,pk,sk,v),L′,(Bundle∗(r,pk,sk,v′),…)).N(S,L,Bundle(rk,pk,sk,v))=(S′∪Bundle(rk,pk,sk,v),L′,(Bundle∗(r,pk,sk,v′),…).