three new zkVMs unveiled on Ethproofs call #1 → Ix (Lean 4) by @argumentxyz → StarkV (RISC-V) by @StarkWareLtd → zCray (RISC-V inspired) by @IrreducibleHW
10,01K