PolyhedraZK / ExpanderCompilerCollection
Expander Compiler
☆28Updated this week
Alternatives and similar repositories for ExpanderCompilerCollection:
Users that are interested in ExpanderCompilerCollection are comparing it to the libraries listed below
- Polyhedra ZK knowledge base☆20Updated 3 months ago
- A collection of ZK light client libraries for various blockchains☆46Updated last month
- customizable halo2 circuits batcher☆30Updated last month
- Reference implementation of the node for the Polygon Miden rollup☆56Updated this week
- ☆39Updated last month
- ☆49Updated this week
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆44Updated 7 months ago
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆60Updated 4 months ago
- ☆90Updated last month
- building blocks for accelerating ZK proofs over binary fields☆42Updated 5 months ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆86Updated this week
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆48Updated last month
- ☆51Updated this week
- High performance EraVM for zkSync.☆23Updated this week
- ☆16Updated last month
- A monorepo of reusable crates for zero-knowledge technologies.☆11Updated 2 weeks ago
- Test runner for ethereum foundation tests☆24Updated this week
- ☆54Updated 2 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 5 months ago
- ☆88Updated 5 months ago
- Benchmarks of popular zkVMs including Jolt☆59Updated 9 months ago
- Poseidon hash circuit☆95Updated 3 months ago
- Extractable Witness Encryption for KZG Commitments☆28Updated 2 months ago
- Out-of-circuit zkEVM implementation☆80Updated 5 months ago
- AppliedZKP's zkEVM Documentation☆25Updated 6 months ago
- halo2 ecc circuit☆115Updated last year
- Frobenius sumcheck for vectorized boolean ops☆45Updated this week
- ☆24Updated last month
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆85Updated 2 weeks ago
- EraVM implementation☆20Updated 4 months ago