JAR: JAM Axiomatic Reference

JAR: JAM Axiomatic Reference

Table of Contents

1.	Notation and Conventions
2.	Numeric Types
3.	Protocol Constants
4.	Type Definitions
5.	Cryptographic Primitives
6.	Safrole Consensus
7.	State Transition
8.	Service Invocations
9.	Polkadot Virtual Machine
10.	Accumulation
11.	Serialization Codec
12.	Merkle Structures
13.	Erasure Coding

6. Safrole Consensus

6.1.	Block Sealing
6.2.	Ticket Accumulation
6.3.	State Update
6.4.	Chain Selection

←5.7. Utility 6.1. Block Sealing→

6. Safrole Consensus🔗

The Safrole block-production mechanism — a SNARK-based, slot-auction consensus protocol (GP §6).

6.1. Block Sealing
6.2. Ticket Accumulation
6.3. State Update
6.4. Chain Selection

←5.7. Utility 6.1. Block Sealing→