$$ \newcommand \FilterTimeout {\mathrm{FilterTimeout}} \newcommand \DeadlineTimeout {\mathrm{DeadlineTimeout}} $$

Parameters

The Algorand protocol is parameterized by the following constants:

Time Constants

These values represent durations of time.

Round Constants

These are positive integers that represent an amount of protocol rounds.

For convenience, we define:

• \( \delta_b = 2\delta_s\delta_r \) (the “balance lookback”).

Timeouts

We define \( \FilterTimeout(p) \) on a period \( p \) as follows:

• If \( p = 0 \) and a sufficient history of lowest credential arrival times is available, the \( \FilterTimeout(p) \) is calculated dynamically based on the lower 95th percentile of the observed lowest credentials per round arrival time:

  • \( \lambda_{0min} \leq \FilterTimeout(p) \leq \lambda_{0max} \)

Refer to the non-normative section for details about the implementation of the dynamic filtering mechanism.

• If \( p \ne 0 \):

  • \( \FilterTimeout(p) = 4 \) seconds (that coincide with \( 2\lambda \)).

This value is currently hardcoded in the reference implementation. However, it should be equal to \( 2\lambda \).

We define \( \DeadlineTimeout(p) \) on period \( p \) as follows:

• If \( p = 0 \):

  • \( \DeadlineTimeout(p) = \Lambda_0 \)

• If \( p \ne 0 \):

  • \( \DeadlineTimeout(p) = \Lambda + \lambda \)

⚙️ IMPLEMENTATION

\( \DeadlineTimeout \) reference implementation.

Values