Kate-Zaverucha-Goldberg Polynomial Commitments
☆29Nov 20, 2021Updated 4 years ago
Alternatives and similar repositories for kzg-commitments-study
Users that are interested in kzg-commitments-study are comparing it to the libraries listed below
Sorting:
- Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing☆13Apr 22, 2020Updated 5 years ago
- Kate-Zaverucha-Goldberg polynomial commitments in rust playground☆14Aug 18, 2021Updated 4 years ago
- MerkleTree compatible with circomlib/smt☆13Jul 9, 2021Updated 4 years ago
- A small block explorer for geth PoAs written in rust☆17Feb 2, 2020Updated 6 years ago
- ethereum zk coin-mixer☆27Jan 24, 2023Updated 3 years ago
- Hermez network protocol smart contracts☆38Apr 7, 2022Updated 3 years ago
- Implementing a Turing-complete computer (OISC) within a zk-SNARKS circuit.☆13Nov 24, 2021Updated 4 years ago
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf☆14Jan 4, 2022Updated 4 years ago
- A golang demo for zk-SNARK aggregation☆41Jun 23, 2019Updated 6 years ago
- ☆33Jan 4, 2024Updated 2 years ago
- An implementation of ZEXE on Ethereum☆36Apr 11, 2019Updated 6 years ago
- Notes, code and documents done while reading books and papers.☆21Mar 8, 2026Updated last week
- An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract.☆36Oct 17, 2019Updated 6 years ago
- Hermez node Go implementation☆60Apr 7, 2024Updated last year
- Sparse MerkleTree implementation in Rust☆19Oct 16, 2019Updated 6 years ago
- Alternative implementation of the contributor-client for the Ethereum KZG Trusted Setup Ceremony☆15Jan 28, 2023Updated 3 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust☆46Jan 22, 2024Updated 2 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆41May 29, 2021Updated 4 years ago
- A puzzle for Curta CTF☆26Sep 5, 2023Updated 2 years ago
- Blind signatures over secp256k1 elliptic curve☆17May 17, 2022Updated 3 years ago
- Ethereum scaling diagram☆38Mar 29, 2021Updated 4 years ago
- A tool for single Ethereum archival block state proofs.☆35Oct 19, 2023Updated 2 years ago
- zkSNARK library implementation in Go from scratch (compiler, setup, prover, verifier)☆262Jun 13, 2021Updated 4 years ago
- zkSNARK Groth16 prover & verifier☆38Apr 8, 2025Updated 11 months ago
- Pastry DHT implementation with a standalone libp2p compatible node☆12Jun 22, 2020Updated 5 years ago
- A background checker with zero knowledge proof☆18Jun 8, 2022Updated 3 years ago
- generate snark proofs in browser - batteries included☆12Nov 11, 2022Updated 3 years ago
- An implementation of Sangria☆17Jun 1, 2023Updated 2 years ago
- Verkle trees with inner product argument (IPA) based polynomial commitment [Prototype]☆15Mar 26, 2022Updated 3 years ago
- Secure Scuttlebut library☆45Nov 20, 2023Updated 2 years ago
- ☆42Jul 25, 2024Updated last year
- a sketch of what a zkvm could look like☆26Apr 19, 2021Updated 4 years ago
- ☆124Nov 30, 2024Updated last year
- Elliptic curve Go reference implementation☆26Feb 5, 2025Updated last year
- ZKP Circuits code for Loopring Protocol 3.0☆52Jul 12, 2020Updated 5 years ago
- RLN on KZG☆21Sep 20, 2023Updated 2 years ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆103Nov 16, 2021Updated 4 years ago
- A Solidity implementation of Halo2's Pasta curves☆50Mar 30, 2023Updated 2 years ago