três novos zkVMs revelados na chamada #1 do Ethproofs → Ix (Lean 4) por @argumentxyz → StarkV (RISC-V) por @StarkWareLtd → zCray (RISC-V inspirado) por @IrreducibleHW
9,99K