Ethproofs is accelerating realtime proving with $300k in grants. (opens in a new tab)
zkVMs
ZKsync Airbender MatterLabs | 3/14 provers | verifier | dual | layer 1 | 0.7.0 | rv32im | |
ZisK ZisK | 3/14 provers | verifier | dual | layer 1 | 0.14.0 | rv64ima | |
SP1 Hypercube Succinct | 2/14 provers | verifier | dual | layer 1 | 6.0.0 | rv64im | |
SP1 Turbo Succinct | 2/14 provers | verifier | dual | layer 1 | 5.2.1 | rv32im | |
OpenVM Axiom | 2/14 provers | verifier | dual | layer 1 | 1.4.1 | rv32im | |
Ziren ZKM | 1/14 provers | verifier | dual | layer 1 | 1.2.0 | MIPS | |
R0VM RISC Zero | 1/14 provers | verifier | dual | layer 1 | 3.0.3 | rv32im |