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

Let VV be any set of votes and equivocation votes.

We say that VV is a bundle for vv in round rr, period pp,
and step ss (or a bundle for vv at(r,p,s)(r,p,s)), denoted
Bundle(r,p,s,v)Bundle(r,p,s,v).

Important
IMPLEMENTATION:
Bundle reference implementation.

Moreover, let LL be a ledger where |L|≥δb|L|≥δb.

We say that this bundle is valid with respect to LL (or simply valid if
LL is unambiguous) if the following conditions are true:

Important
IMPLEMENTATION:
The reference implementation makes use of an asynchronous Bundle verifying function.

See the Algorand ABFT non-normative section for
further details.

• Every element ai∈Vai∈V is valid with respect to LL.

• For any two elements ai,aj∈Vai,aj∈V, Ii≠IjIi≠Ij.

• For any element ai∈Vai∈V, ri=r,pi=p,si=sri=r,pi=p,si=s.

• For any element ai∈Vai∈V, either aiai is a vote and vi=vvi=v, or aiai is an equivocation vote.

• Let wiwi be the weight of the signature in aiai. Then
  ∑iwi≥CommitteeThreshold(s)∑iwi≥CommitteeThreshold(s).