tre nye zkVM-er avduket på Ethproofs-samtale #1 → Ix (Lean 4) av @argumentxyz → StarkV (RISC-V) av @StarkWareLtd → zCray (RISC-V-inspirert) av @IrreducibleHW
10,02K