JAR: Join-Accumulate Refine

 JAR: Join-Accumulate Refine🔗

JAR Contributors

JAR is a blockchain protocol based on JAM (Join-Accumulate Machine). This document describes the jar1 variant — the latest protocol version. The jar1 variant extends the Gray Paper's PVM with a capability-based execution model (JAVM): multi-VM kernel with synchronous CALL/REPLY and seL4-style capabilities for memory, code, and VM ownership. It also replaces the token-based economy with a coinless quota system. Earlier variants (gp072\_full, gp072\_tiny) are preserved for conformance testing but not documented here.

Contents

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