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
15.
State Transition
15.1.
Timekeeping
15.2.
Header Validation (§5)
15.3.
Recent History (§4.2)
15.4.
Entropy (§6.3)
15.5.
Validator Management (§6)
15.6.
Work-Report Pipeline and Disputes
15.7.
Authorization Pool
15.8.
Accumulation (§12)
15.9.
Preimages (§12.7)
15.10.
Statistics (§13)
15.11.
State Transition
←
14.5. Block-Level Accumulation
15.1. Timekeeping
→
15. State Transition
🔗
The block-level state transition function
Υ(σ, B) = σ'
(GP eq 4.1).
15.1.
Timekeeping
15.2.
Header Validation (§5)
15.3.
Recent History (§4.2)
15.4.
Entropy (§6.3)
15.5.
Validator Management (§6)
15.6.
Work-Report Pipeline and Disputes
15.7.
Authorization Pool
15.8.
Accumulation (§12)
15.9.
Preimages (§12.7)
15.10.
Statistics (§13)
15.11.
State Transition
←
14.5. Block-Level Accumulation
15.1. Timekeeping
→