Popular repositories Loading
-
-
zk2-bench-b1-lite
zk2-bench-b1-lite PublicHalo2-facing verification and benchmark tooling for BN254 deferred-quotient exactness repair
Rust
-
bn254-exactness-lean
bn254-exactness-lean PublicLean formalization of deferred-quotient vacuity and exactness repair core
Lean
-
halo2-exactness-tooling
halo2-exactness-tooling PublicStandalone Halo2-facing verification and benchmark tooling for BN254 exactness repair
Rust
-
halo2-exactness-consumer-example
halo2-exactness-consumer-example PublicMinimal external consumer of halo2-exactness-tooling's public Halo2-facing API
Rust
-
zklib
zklib PublicLean-first library for machine-checked zk mathematics and verifier specifications.
Lean
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.