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 a timeout event of FilterTimeout(p) (where μ=(H,H′,l,pμ)=μ(S,r,p)),

• if μ≠⊥ and if
  • pμ=p or
  • there exists some s>cert such that Bundle(r,p−1,s,μ) was observed then the player broadcasts Vote(I,r,p,soft,μ).
• if there exists some s0>cert such that Bundle(r,p−1,s0,v¯) was observed and there exists no s1>cert such that Bundle(r,p−1,s1,⊥) was observed, then the player broadcasts Vote(I,r,p,soft,v¯).
• otherwise, the player does nothing.

For a detailed overview of how the filtering step may be implemented, refer to the Algorand ABFT non-normative section.

In other words, in the first case above,

N(S,L,t(FilterTimeout(p),p))=(S,L,Vote(I,r,p,soft,μ));

while in the second case above,

N(S,L,t(FilterTimeout(p),p))=(S,L,Vote(I,r,p,soft,v¯));

and if neither case is true,

N(S,L,t(FilterTimeout(p),p))=(S,L,ϵ).