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