OpenVM

Pinned Loading

1. openvm openvm Public

   A performant and modular zkVM framework built for customization and extensibility.

   Rust 392 128

2. stark-backend stark-backend Public

   Proof system backends for OpenVM.

   Rust 40 22

3. openvm-solidity-sdk openvm-solidity-sdk Public

   Solidity SDK for OpenVM.

   Solidity 7

4. openvm-examples openvm-examples Public

   A basic starter program for OpenVM.

   Rust 7 1

5. openvm-fv openvm-fv Public

   Formal Verification of the OpenVM RISC-V, Keccak, and SHA-2 Extensions

   Lean 14

6. openvm-coremark openvm-coremark Public

   Shell 2