PolyhedraZK / awesome-expander
Polyhedra ZK knowledge base
☆23Updated 6 months ago
Alternatives and similar repositories for awesome-expander
Users that are interested in awesome-expander are comparing it to the libraries listed below
Sorting:
- Frobenius sumcheck for vectorized boolean ops☆53Updated last month
- Experimental implementation of Sumcheck protocol using CUDA☆20Updated 6 months ago
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆38Updated 2 months ago
- ☆16Updated 5 months ago
- Expander Compiler☆36Updated this week
- customizable halo2 circuits batcher☆30Updated this week
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆50Updated last year
- ☆41Updated last year
- Benchmark for adding Lasso lookup argument to halo2 backend☆36Updated last year
- Extractable Witness Encryption for KZG Commitments☆29Updated 5 months ago
- ☆20Updated last year
- A monorepo of reusable Circom circuits.☆25Updated last month
- Rescue and Poseidon hash function implementations☆43Updated 9 months ago
- zero knowledge proof aggregator for general circuit☆72Updated 11 months ago
- Source code for "Building Cryptographic Proofs from Hash Functions"☆9Updated 7 months ago
- Solidity implementation of Nova proving system verifier☆61Updated last year
- ZKM Development Template/Framework☆25Updated last week
- ☆15Updated last year
- ☆51Updated last year
- Proof system backends for OpenVM.☆29Updated last week
- ☆61Updated last year
- Source code for all entries from the 2023 ZPrize competition☆24Updated 6 months ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆34Updated last week
- ☆25Updated last week
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45Updated last year
- A collection of ZK light client libraries for various blockchains☆51Updated 5 months ago
- ☆45Updated this week
- High performance EraVM for zkSync.☆24Updated 3 weeks ago
- ☆17Updated 6 months ago