## 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 vote Votek(rk,pk,sk,v)Votek(rk,pk,sk,v) a player

- Ignores* it if VotekVotek is malformed or trivially invalid.

- Ignores it if s=0s=0 and Votek∈VVotek∈V.

- Ignores it if s=0s=0 and VotekVotek is an equivocation.

- Ignores it if s>0s>0 and VotekVotek is a second equivocation.

- Ignores it if
  - rk∉[r,r+1]rk∉[r,r+1] or

- rk=r+1rk=r+1 and either
    - pk>0pk>0 or
    - sk∈(next0,late)sk∈(next0,late) or
  - rk=rrk=r and one of
    - pk∉[p−1,p+1]pk∉[p−1,p+1] or
    - pk=p+1pk=p+1 and sk∈(next0,late)sk∈(next0,late) or
    - pk=ppk=p and sk∈(next0,late)sk∈(next0,late) and sk∉[s−1,s+1]sk∉[s−1,s+1] or
    - pk=p−1pk=p−1 and sk∈(next0,late)sk∈(next0,late) and sk∉[s¯−1,s¯+1]sk∉[s¯−1,s¯+1].
- Otherwise, relays VotekVotek, observes it, and then produces any consequent output.

Specifically, if a player ignores the vote, then

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

while if a player relays the vote, then

N(S,L,Votek(rk,pk,sk,v))=(S′∪Vote(I,rk,pk,sk,v),L′,(Vote∗k(rk,pk,sk,v),…)).N(S,L,Votek(rk,pk,sk,v))=(S′∪Vote(I,rk,pk,sk,v),L′,(Votek∗(rk,pk,sk,v),…)).