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. lean-eth-kzg lean-eth-kzg Public

   Lean-centered verification and regression tooling for Ethereum Deneb/Fulu KZG verifier semantics.

   Python

4. reciprocal-kzg reciprocal-kzg Public

   Rust

5. execution-specs execution-specs Public

   Forked from ethereum/execution-specs

   Specification for the Execution Layer. Tracking network upgrades.

   Python

6. sonobe sonobe Public

   Forked from privacy-ethereum/sonobe

   Experimental folding schemes library

   Rust