Ethproofs is accelerating realtime proving with $300k in grants. (opens in a new tab)

zkVMs

This is the current list of zero-knowledge Virtual Machines (zkVMs) tracked in Ethproofs. The list is maintained in sync with the awesome-zkvm(opens in a new tab) repository, a comprehensive collection of zkVM projects and resources.

The id column in this table serves as a unique identifier for each zkVM version and must be used when creating or modifying clusters through the API endpoints.

zkVMidversionISAcontinuationsparallelizable provingprecompilesfrontend
ZKsync Airbender(opens in a new tab)
100.7.0rv32imYesYesYesRust
SP1 Hypercube(opens in a new tab)
66.0.0rv64imYesYesYesRust
Ziren(opens in a new tab)
21.2.0MIPSYesYesYesRust, Go
SP1 Turbo(opens in a new tab)
115.0.0rv32imYesYesYesRust
125.1.0rv32imYesYesYesRust
195.2.1rv32imYesYesYesRust
14.2.0rv32imYesYesYesRust
44.1.7rv32imYesYesYesRust
34.1.6rv32imYesYesYesRust
Pico(opens in a new tab)
51.1.4rv32imYesYesYesRust
221.1.8rv32imYesYesYesRust
ZisK(opens in a new tab)
180.12.0rv64imaYesYesYesPIL
200.13.0rv64imaYesYesYesPIL
210.14.0rv64imaYesYesYesPIL
70.9.0rv64imaYesYesYesPIL
OpenVM(opens in a new tab)
171.4.0rv32imYesYesYesRust
231.4.1rv32imYesYesYesRust
81.2.0rv32imYesYesYesRust
Ceno(opens in a new tab)
150.1rv32imYesYesYesRust
R0VM(opens in a new tab)
132.0.1rv32imYesYesYesRust
142.3.1rv32imYesYesYesRust
163.0.3rv32imYesYesYesRust
92.2.0rv32imYesYesYesRust

If you're looking for a zkVM version that's not listed here, please open a GitHub issue(opens in a new tab) and we'll work on adding it to the list.