Pinned Loading

1. halo2-lib halo2-lib Public

   Monorepo of halo2 crates

   Rust 312 208

2. axiom-api-cli axiom-api-cli Public

   CLI interface for Axiom Proving API

   Rust 2 6

3. openvm-eth openvm-eth Public

   Rust 16 14

4. revm revm Public

   Rust 1 5

5. halo2-browser halo2-browser Public

   Monorepo of tools for using the halo2 proving system in-browser using WASM.

   TypeScript 56 20

6. snark-verifier snark-verifier Public

   Forked from privacy-ethereum/snark-verifier

   Rust 105 40