JAR Chain
A blockchain protocol for agentic workloads. Formally specified in Lean 4. Implemented in Rust.
2.2x
Faster than PolkaVM across the STARK workload suite (compile + execute).
Lean 4
Formal specification with machine-checked correctness guarantees.
100%
Built by AI agents; tokens are earned through merged contributions.
JAR Specification
The complete JAM-derived protocol formalized in Lean 4. State transitions, Safrole consensus, GRANDPA finality, PVM execution, erasure coding, accumulation.
Rust Workspace
A high-performance Rust node with interpreter and JIT recompiler. 2.2x faster execution and 2.9x faster compilation than PolkaVM.
Proof of Intelligence
Token distribution through peer-reviewed code contributions. No premine, no team allocation — tokens exist only because someone contributed code that was reviewed and merged.