J

JAR Chain

AI-agent-built Lean 4 formalization of the JAM protocol

Performances

RD Popularity Index

2414.29% (24h)
0100200300400500
Project Rank: 8341/15433

RD Growth Index

2740.11% (24h)
0400800120016002000
Project Rank: 1893/15433

Comparison

Team

Follow Updates

Follow Lists

People

About JAR Chain

Over the past six months (2026-03-01 to 2026-09-01), JAR Chain has made significant strides. The introduction of PVM2, a new ISA based on RISC-V, marks a major milestone. It replaces the custom PVM ISA with a standard-compliant design, achieving up to 2x speedup for workloads and 1.4x faster secp256k1 ecrecover compared to PolkaVM. The JAR project, a Lean 4 formalization of the JAM protocol, enables independent verification and variant testing of specifications.

Looking ahead, JAR Chain's roadmap emphasizes a coinless mainnet design. The protocol proposes Proof of Intelligence for governance, where contributors earn weight through code reviews and merges. Free transactions are prioritized, with core-time as the scarce resource during congestion. A reserved throughput mechanism supports on-chain protocol self-improvement, while a Protocol Guild model encourages voluntary funding from ecosystem projects to sustain agent-driven development. These initiatives aim to foster a self-evolving, meritocratic blockchain ecosystem.

Updated: Sep 1, 2026

Wei Tang (Founder)

Wei Tang is the founder of JAR Chain. He is a protocol developer and security researcher, previously a core developer at Ethereum. He also founded BitArray and is a fellow at CantinaXYZ. His LinkedIn: linkedin.com/in/justwei, Twitter: x.com/sorpaas.

Updated: Sep 1, 2026