Skip to content

Pinned Loading

  1. halo2-lib halo2-lib Public

    Monorepo of halo2 crates

    Rust 314 211

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

    CLI interface for Axiom Proving API

    Rust 2 6

  3. openvm-eth openvm-eth Public

    Rust 17 15

  4. halo2-browser halo2-browser Public

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

    TypeScript 55 20

  5. snark-verifier snark-verifier Public

    Forked from privacy-ethereum/snark-verifier

    Rust 106 40

Repositories

Showing 10 of 83 repositories

People

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

Most used topics

Loading…