## 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 that some proposal-value vv is committable for its
current round rr, and some period p′≥pp′≥p (its current period),
if s≤certs≤cert, then the player broadcasts* Vote(I,r,p,cert,v).
(It can be shown that this occurs either
after a proposal is received or a soft-vote, which can be part of a
bundle, is received.)

> For a detailed overview of how the certification step may be implemented, refer
to the Algorand ABFT [non-normative section](https://specs.algorand.co/abft/non-normative/abft-nn).

In other words, if observing a soft-vote causes a proposal-value to
become committable,

N(S,L,Vote(I,r,p,soft,v))=(S′,L,(…,Vote(I,r,p,cert,v)));

while if observing a bundle causes a proposal-value to become
committable,

N(S,L,Bundle(r,p,soft,v))=(S′,L,(…,Vote(I,r,p,cert,v)));

and if observing a proposal causes a proposal-value to become
committable,

N(S,L,Proposal(v))=(S′,L,(…,Vote(I,r,p,cert,v)));

as long as s≤certs≤cert.