在 Ethproofs 第一次电话会议中揭示了三个新的 zkVM → Ix (Lean 4) 由 @argumentxyz 开发 → StarkV (RISC-V) 由 @StarkWareLtd 开发 → zCray (受 RISC-V 启发) 由 @IrreducibleHW 开发
10.03K