QEDProtocol / plonky2.5Links
đĒŠ verify plonky3 proofs in plonky2
â19Updated last year
Alternatives and similar repositories for plonky2.5
Users that are interested in plonky2.5 are comparing it to the libraries listed below
Sorting:
- â23Updated last year
- Experimental implementation of Sumcheck protocol using CUDAâ22Updated last year
- Benchmark for adding Lasso lookup argument to halo2 backendâ37Updated last year
- Curdleproofs is a zero-knowledge shuffle argumentâ70Updated 2 years ago
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPUâ40Updated 11 months ago
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdfâ41Updated 2 years ago
- zero knowledge proof aggregator for general circuitâ73Updated last year
- Draft documents for standardization of Plonkish arithmetizationâ23Updated last year
- â50Updated last year
- â30Updated 3 years ago
- Early prototype.â23Updated 2 years ago
- A collection of comparison-benchmarks for Nova & related Proving systemsâ44Updated 2 years ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding schemeâ28Updated 2 years ago
- polynomial commitments from linear codesâ50Updated last year
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.â28Updated last year
- â41Updated 3 years ago
- Rescue and Poseidon hash function implementationsâ43Updated last year
- plonky2 implementation of bn254 pairingâ19Updated 2 years ago
- Solidity implementation of Nova proving system verifierâ66Updated last year
- Let's go https://eprint.iacr.org/2022/1763.pdfâ61Updated 2 years ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompletenessâ50Updated 2 years ago
- Benchmarking Polynomial Commitmentsâ51Updated 2 years ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdfâ45Updated 2 years ago
- Nova: Recursive SNARKs without trusted setupâ44Updated 2 years ago
- â31Updated 3 months ago
- â12Updated 2 years ago
- STARK bookâ20Updated last year
- An arkworks implementation of the superspartan PIOPâ13Updated last year
- A Rust library for proof-carrying disclosuresâ23Updated last year
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdfâ47Updated last month