- A Rust frontend supporting std and no-std programs via compilation to RISC-V.
- Verification of unbounded length programs via continuations and proof aggregation.
- A Solidity verifier to efficiently verify OpenVM proofs in EVM.
- A robust set of VM extensions allowing developers to efficiently verify operations like the following efficiently from within standard Rust programs:
- SHA2-256 and Keccak hashes.
- Elliptic curve operations over short Weierstrass curves including ECDSA on secp256k1 and secp256r1.
- Optimal Ate pairing on curves including BN254 and BLS12-381.
- Int256 and modular arithmetic over arbitrary moduli.
- STARK recursion.
- Developer Quickstart: A developer-focused guide to proving your first Rust program with OpenVM.
- Developer Book: A guide for using OpenVM to prove arbitrary code execution in Rust and for customizing OpenVM by adding program-specific VM extensions.
- Whitepaper and Specifications: A formal specification for OpenVM including details on the proof system, no-CPU architecture, continuations design, and soundness analysis.
- OpenVM GitHub: The source code for OpenVM.