Implementation of the Groth16 zk-SNARK proving system
☆21Jul 6, 2018Updated 7 years ago
Alternatives and similar repositories for groth16
Users that are interested in groth16 are comparing it to the libraries listed below
Sorting:
- Elliptic curve group traits and utilities.☆98Feb 26, 2026Updated last week
- ☆14May 3, 2019Updated 6 years ago
- Algorand's reference implementation of bls signature scheme☆14Sep 7, 2020Updated 5 years ago
- Rust implementation of Zcash multi-signautres☆13Jun 23, 2019Updated 6 years ago
- Fast 4 way vectorized ladder for the complete set of Montgomery curves☆11Feb 13, 2019Updated 7 years ago
- Library for the verification of BGLS signatures on the EVM using Solidity.☆15Mar 14, 2018Updated 7 years ago
- Supporting evidence for security of the Jubjub curve to be used in Zcash☆18Sep 3, 2021Updated 4 years ago
- Zcash "Sapling" cryptography gadgets along with additions. Uses our Ethereum compatible bellman under the hood☆14May 25, 2020Updated 5 years ago
- Sonic implementation in Rust☆17Jun 4, 2019Updated 6 years ago
- Slides from talks and other materials related to post-quantum crypto☆12Feb 20, 2021Updated 5 years ago
- Sage implementation of the isogeny-and-pairing based VDF☆25Feb 25, 2021Updated 5 years ago
- ☆18Oct 30, 2023Updated 2 years ago
- Implementation of the Jubjub elliptic curve group☆121Feb 25, 2026Updated last week
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Feb 23, 2023Updated 3 years ago
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Feb 19, 2023Updated 3 years ago
- Low-level X.509 verification☆20Jun 25, 2021Updated 4 years ago
- ☆22Sep 6, 2016Updated 9 years ago
- ☆41Oct 24, 2022Updated 3 years ago
- a simple implementation of the KZG polynomial commitment scheme☆25Nov 22, 2021Updated 4 years ago
- MacTok is a research prototype for a one-time anonymous token scheme based on algebraic MACs.☆23Jan 20, 2023Updated 3 years ago
- dalek-compatible implementation of the merlin transcript protocol☆28Feb 11, 2020Updated 6 years ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- DODO smart contract on EVM☆10Mar 5, 2023Updated 3 years ago
- SageMath implementation of the Isogeny-Based PKE FESTA☆10Aug 18, 2023Updated 2 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- Elliptic curve Go reference implementation☆26Feb 5, 2025Updated last year
- The technical paper for the Spark protocol☆11Mar 5, 2024Updated 2 years ago
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 years ago
- Implements the Barreto-Naehrig (BN) curve as used by Ethereum☆12May 31, 2019Updated 6 years ago
- Verify your NIPoPoWs efficiently, here☆11Dec 8, 2022Updated 3 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- ZSLBox offers some grpc endpoints to generate and verify proofs "à la ZCash": shielding, unshielding and shielded transfers.☆19Oct 2, 2018Updated 7 years ago
- Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.☆13Apr 9, 2020Updated 5 years ago
- ☆13Feb 23, 2026Updated last week
- Unsafe 3-round MuSig in Python for experimentation☆11Jan 12, 2023Updated 3 years ago
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Jan 10, 2016Updated 10 years ago
- zkSNARK full flow example in Go☆12Jun 3, 2020Updated 5 years ago
- ☆12Nov 11, 2022Updated 3 years ago
- ☆10Aug 8, 2022Updated 3 years ago