Skip to content

Pinned Loading

  1. halo2-lib halo2-lib Public

    Monorepo of halo2 crates

    Rust 298 196

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

    CLI interface for Axiom Proving API

    Rust 2 6

  3. openvm-reth-benchmark openvm-reth-benchmark Public

    Rust 13 6

  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 55 20

  6. snark-verifier snark-verifier Public

    Forked from privacy-ethereum/snark-verifier

    Rust 102 38

Repositories

Showing 10 of 76 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…