HerodotusDev / accumulatorsLinks
☆11Updated last year
Alternatives and similar repositories for accumulators
Users that are interested in accumulators are comparing it to the libraries listed below
Sorting:
- Rust crate to generate and verify proofs for Noir circuits☆19Updated last month
- ☆31Updated last year
- Step by step implementation of KZG☆19Updated 11 months ago
- ☆33Updated last year
- Circuits for Pluto's `web-prover`☆24Updated 4 months ago
- On-chain Ethereum light client built with SP1☆69Updated 3 weeks ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 2 months ago
- Client library for generating and using RLN ZK proofs☆32Updated last year
- Noir library to verify JWT tokens, and prove claims.☆29Updated 2 weeks ago
- Based on https://eprint.iacr.org/2022/1510☆26Updated 10 months ago
- Extractable Witness Encryption for KZG Commitments☆29Updated 9 months ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45Updated 2 years ago
- Spartan on Arkworks☆42Updated last month
- zero knowledge proof aggregator for general circuit☆72Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- Mozak RISC-V Virtual Machine☆25Updated 5 months ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 11 months ago
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- RLN circuits in Circom☆31Updated last year
- Witness encryption for KZG openings☆28Updated 10 months ago
- Email verification circuit in halo2☆68Updated last year
- Using folding schemes for a provable bitcoin light client☆34Updated last year
- A Noir library for Exponential ElGamal Encryption on the Baby Jubjub curve☆10Updated last year
- A collection of the Notes on the Nova folding scheme explained from scratch☆28Updated last year
- A Noir's backend implementation using Gnark☆35Updated last year
- polynomial commitments from linear codes☆46Updated 9 months ago
- Library and gadget to do regex string matches in halo2☆35Updated last year
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 7 months ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 9 months ago