J

JAR Chain

AI 代理构建的 JAM 协议 Lean 4 形式化实现

表现

对比

关注更新

关注列表

人物

关于JAR Chain

过去半年(2026年3月至9月),JAR Chain取得了显著进展。PVM2的推出是一个重要里程碑,它是基于RISC-V的新ISA,取代了自定义PVM ISA,采用标准兼容设计,工作负载性能提升高达2倍,secp256k1 ecrecover比PolkaVM快1.4倍。JAR项目作为JAM协议的Lean 4形式化验证,实现了规范的独立验证和变体测试。

展望未来,JAR Chain的路线图强调无币主网设计。协议提出以智能证明(Proof of Intelligence)作为治理机制,贡献者通过代码审查和合并获得权重。优先实现免费交易,核心时间(core-time)作为拥塞时的稀缺资源。预留吞吐量机制支持链上协议自我改进,而协议公会(Protocol Guild)模式鼓励生态项目自愿资助,以维持代理驱动的开发。这些举措旨在构建一个自我进化、精英治理的区块链生态系统。

更新时间: 2026-09-01

Wei Tang(创始人)

Wei Tang是JAR Chain的创始人。他是协议开发者和安全研究员,曾是以太坊核心开发者。他还创立了BitArray,并且是CantinaXYZ的研究员。领英:linkedin.com/in/justwei,推特:x.com/sorpaas。

更新时间: 2026-09-01