Popular repositories Loading

1. Planarnest Planarnest Public

   Download Planarnest

2. zk2-bench-b1-lite zk2-bench-b1-lite Public

   Halo2-facing verification and benchmark tooling for BN254 deferred-quotient exactness repair

   Rust

3. bn254-exactness-lean bn254-exactness-lean Public

   Lean formalization of deferred-quotient vacuity and exactness repair core

   Lean

4. halo2-exactness-tooling halo2-exactness-tooling Public

   Standalone Halo2-facing verification and benchmark tooling for BN254 exactness repair

   Rust

5. halo2-exactness-consumer-example halo2-exactness-consumer-example Public

   Minimal external consumer of halo2-exactness-tooling's public Halo2-facing API

   Rust

6. zklib zklib Public

   Lean-first library for machine-checked zk mathematics and verifier specifications.

   Lean