JAR: Join-Accumulate Refine

JAR: Join-Accumulate Refine

Table of Contents

1.	The jar1 Variant
2.	Notation and Conventions
3.	Numeric Types
4.	Protocol Constants
5.	Cryptographic Primitives
6.	Type Definitions
7.	Economic Model
8.	Safrole Consensus
9.	Join-Accumulate Virtual Machine
10.	JAVM Capability System
11.	Capability Kernel
12.	Service Invocations
13.	Work-Report Pipeline
14.	Accumulation
15.	State Transition
16.	Serialization Codec
17.	Merkle Structures
18.	Erasure Coding

8. Safrole Consensus

8.1.	Block Sealing
8.2.	Ticket Accumulation
8.3.	State Update
8.4.	Chain Selection (GP §19)

←7.6. Deferred Transfers 8.1. Block Sealing→

8. Safrole Consensus🔗

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

8.1. Block Sealing
8.2. Ticket Accumulation
8.3. State Update
8.4. Chain Selection (GP §19)

←7.6. Deferred Transfers 8.1. Block Sealing→