Pinned Loading

1. openvm openvm Public

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

   Rust 377 117

2. stark-backend stark-backend Public

   Proof system backends for OpenVM.

   Rust 40 21

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

   Solidity SDK for OpenVM.

   Solidity 8 1

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 Extension

   Lean 10

6. openvm-coremark openvm-coremark Public

   Shell 2