tres nuevas zkVMs presentadas en la convocatoria #1 de Ethproofs → Ix (Lean 4) de @argumentxyz → StarkV (RISC-V) por @StarkWareLtd → zCray (inspirado en RISC-V) de @IrreducibleHW
10,02K