Skip to content

Introduction Install Quickstart

Writing Apps

Overview Writing a Program Compiling a Program Running a Program Generating Proofs Verifying Proofs Solidity SDK

Acceleration Using Extensions

Overview Keccak SHA-256 Big Integer Algebra (Modular Arithmetic)Elliptic Curve Cryptography Elliptic Curve Pairing

Guest Libraries

Keccak256 SHA2 Ruint K256 P256 Pairing Verify STARK

Advanced Usage

SDK Creating a New Extension Recursive Verification

Recursive Verification

OpenVM supports recursively verifying its own proofs using the Verify STARK guest library. See its dedicated page to learn more.