ZK-SNARK snarkjs and circom exercises
☆56Apr 6, 2019Updated 6 years ago
Alternatives and similar repositories for snark-example
Users that are interested in snark-example are comparing it to the libraries listed below
Sorting:
- ☆12Jan 24, 2023Updated 3 years ago
- Novel zero-knowledge proof based social recovery of smart contract wallets☆34Jan 24, 2023Updated 3 years ago
- A Mastermind game using zk-snarks☆168Jul 24, 2022Updated 3 years ago
- Phase 2 of a multi-party trusted setup ceremony for the Semaphore zk-SNARK circuit☆17Jun 29, 2020Updated 5 years ago
- circom and snarkjs / websnark tutorial, using RollupNC as an example☆61Jan 7, 2021Updated 5 years ago
- Private authentic photo sharing using ZKP☆25Apr 17, 2023Updated 2 years ago
- Circuit playground for learning Zero-Knowledge Proofs in circom.☆11Feb 7, 2024Updated 2 years ago
- ☆10Aug 8, 2022Updated 3 years ago
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Jul 13, 2025Updated 7 months ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- This library is archived; see crypto-primities for the latest version of this code☆21Feb 15, 2023Updated 3 years ago
- Cross chain shielded pool infrastructure / protocols.☆37Aug 13, 2024Updated last year
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- Curated list of rollups on Ethereum and their security guarantees.☆13Feb 3, 2021Updated 5 years ago
- 🐍 Vyper language support in Atom☆11Mar 24, 2022Updated 3 years ago
- Solidity verifier for Plonk☆42Aug 15, 2024Updated last year
- Zero Knowledge based Ethereum Virtual Machine in Circom language☆17Jun 3, 2025Updated 8 months ago
- zkp data market☆18Nov 19, 2021Updated 4 years ago
- Zero-Knowledge dApp Boilerplate☆24Mar 8, 2023Updated 2 years ago
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 2 years ago
- fft impl for ff::Field☆17May 9, 2024Updated last year
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Dec 3, 2020Updated 5 years ago
- ☆14Aug 20, 2020Updated 5 years ago
- The Trinity client for the Eth2 network☆14Aug 25, 2020Updated 5 years ago
- ☆15Sep 28, 2020Updated 5 years ago
- rollup implementation☆91Mar 15, 2024Updated last year
- Crypto application code for the zkSNARKs toolbox ZoKrates☆53Mar 20, 2024Updated last year
- Library of basic circuits for circom☆727Feb 12, 2026Updated 2 weeks ago
- Collection of ZKP-related cryptographic primitives☆12Oct 1, 2021Updated 4 years ago
- Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing☆13Apr 22, 2020Updated 5 years ago
- Liquidity Providing Strategies☆26May 31, 2023Updated 2 years ago
- Example setup of Forge tests and CI to do basic checks for storage collisions when iterating on upgradeable contract implementations.☆28Dec 23, 2022Updated 3 years ago
- Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions☆14Jul 9, 2023Updated 2 years ago
- ☆19Jan 20, 2023Updated 3 years ago
- A Zero-Knowledge Toolkit☆15Oct 15, 2020Updated 5 years ago
- Intel assembly finite field library generator☆13Nov 23, 2023Updated 2 years ago
- Playing with zero-knowledge proof languages☆107Jan 26, 2023Updated 3 years ago
- ☆34Aug 22, 2023Updated 2 years ago
- ethereum zk coin-mixer☆27Jan 24, 2023Updated 3 years ago