Today we are releasing the OpenVM Solidity SDK, which makes it easy for developers to verify OpenVM proofs onchain. The Solidity SDK supports any zkVM constructed with the modular OpenVM framework and can be directly imported into your Foundry project for the default OpenVM configuration.
Developers can use the OpenVM Solidity SDK to deploy Solidity verifiers for OpenVM proofs on any EVM chain. It ships as a Foundry library with support for the default OpenVM configuration and also supports generating verifiers for custom OpenVM configurations. In all configurations, developers can verify Halo2 proofs generated by OpenVM onchain for under 330K gas.Â
The OpenVM Solidity SDK is available today in the v1.1.2 release of OpenVM under MIT license on Github. It was audited by Cantina and is recommended for production usage. To try the OpenVM Solidity SDK today, check out:
Solidity SDK docs: A developer-focused guide to using and deploying onchain verifiers for OpenVM in the OpenVM developer docs.Â
Foundry library: Directly import the Solidity SDK into your Foundry project using our library on Github.
To stay up to date with our continuing development of OpenVM, join our developer Telegram. Until then, you can find our open-source code on Github – see you there!