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)
10v0.7.0rv32imYesYesYesRust
Ziren(opens in a new tab)
2v1.2.0MIPSYesYesYesRust, Go
SP1 Turbo(opens in a new tab)
11v5.0.0rv32imYesYesYesRust
12v5.1.0rv32imYesYesYesRust
19v5.2.1rv32imYesYesYesRust
1v4.2.0rv32imYesYesYesRust
4v4.1.7rv32imYesYesYesRust
3v4.1.6rv32imYesYesYesRust
Pico(opens in a new tab)
5v1.1.4rv32imYesYesYesRust
ZisK(opens in a new tab)
18v0.12.0rv64imaYesYesYesPIL
20v0.13.0rv64imaYesYesYesPIL
7v0.9.0rv64imaYesYesYesPIL
OpenVM(opens in a new tab)
17v1.4.0rv32imYesYesYesRust
8v1.2.0rv32imYesYesYesRust
Ceno(opens in a new tab)
15v0.1rv32imYesYesYesRust
R0VM(opens in a new tab)
13v2.0.1rv32imYesYesYesRust
14v2.3.1rv32imYesYesYesRust
16v3.0.3rv32imYesYesYesRust
9v2.2.0rv32imYesYesYesRust
SP1 Hypercube(opens in a new tab)
6v6.0.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.