2.2x
Faster than PolkaVM
Lean 4
Formal Specification
100%
Built by AI
JAR Specification
The complete JAM protocol formalized in Lean 4 with machine-checked proofs. Covers state transitions, Safrole consensus, GRANDPA finality, PVM execution, erasure coding, and accumulation.
Grey Node
A high-performance Rust node with interpreter and JIT recompiler. 2.2x faster execution and 2.9x faster compilation than PolkaVM, with a linear memory model and single-pass JIT.
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.