1.
Algorand Specifications
Introduction
2.
Reading Guidelines
Algorand BFT Protocol
3.
Overview
4.
Normative
❱
4.1.
Notation
4.2.
Parameters
4.3.
Ledger
4.4.
Messages
❱
4.4.1.
Data Types
4.4.2.
Votes
4.4.3.
Bundles
4.4.4.
Proposals
4.4.5.
Seed
4.5.
State Transitions
❱
4.5.1.
New Round
4.5.2.
New Period
4.5.3.
Garbage Collection
4.5.4.
New Step
5.
Non-Normative
❱
5.1.
General Concepts
5.2.
Context Tuple
5.3.
Security Model
5.4.
Seed Calculation
5.5.
Agreement Stages
❱
5.5.1.
Dynamic Filter Timeout
5.5.2.
Block Proposal
5.5.3.
Soft Vote
5.5.4.
Vote Handler
5.5.5.
Proposal Handler
5.5.6.
Bundle Handler
5.5.7.
Commitment
5.6.
Recovery Stages
❱
5.6.1.
Resynchronization Attempt
5.6.2.
Recovery
5.6.3.
Fast Recovery
5.7.
Examples of Protocol Runs
❱
5.7.1.
Vanilla Run
5.7.2.
Jalapeño Run
5.7.3.
Habanero Run
Algorand Ledger
6.
Overview
7.
Normative
8.
Non-Normative
❱
8.1.
Blocks
❱
8.1.1.
Block Header
8.1.2.
Genesis Block
8.1.3.
Block Verification
8.2.
Transactions
❱
8.2.1.
Transaction Type Examples
8.3.
Trackers
❱
8.3.1.
Trackers API
8.4.
Protocol Rewards
❱
8.4.1.
Staking Rewards
8.4.2.
Distribution Rewards (Legacy)
8.5.
Transaction Tail
8.6.
Transaction Pool
❱
8.6.1.
Parameters
8.6.2.
Prioritization
8.6.3.
Update
8.6.4.
Ingestion
8.6.5.
Block Assembly
8.6.6.
Graphic Run Example
8.7.
Block Commitment
❱
8.7.1.
State Delta
8.8.
Appendix A
Algorand Virtual Machine
9.
Overview
10.
Normative
11.
Non-Normative
Algorand Keys
12.
Overview
13.
Normative
14.
Non-Normative
Algorand Cryptographic Primitives
15.
Overview
16.
Normative
17.
Non-Normative
Algorand Network
18.
Overview
19.
Non-Normative
❱
19.1.
Notation
19.2.
Parameters
19.3.
Message Handlers
19.4.
Addressing
19.5.
Network Identity
19.6.
Peer Management
19.7.
Network Definitions
❱
19.7.1.
Relay Network
19.7.2.
P2P Network
19.7.3.
Hybrid Network
19.8.
Appendix A - External Libraries
19.9.
Appendix B - Packets Examples
Contribution Guidelines
License
Light
Rust
Coal
Navy
Ayu
Algorand Specifications
State Transitions
After receiving message events or a time events, the player may update some components of its state.