MinaProtocol / snark-challengeView external linksLinks
Coda + Dekrypt: The SNARK Challenge - Reference Material
☆36Mar 27, 2022Updated 3 years ago
Alternatives and similar repositories for snark-challenge
Users that are interested in snark-challenge are comparing it to the libraries listed below
Sorting:
- On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!☆98Nov 21, 2023Updated 2 years ago
- ☆22Mar 27, 2022Updated 3 years ago
- Rust implementation of Zcash multi-signautres☆14Jun 23, 2019Updated 6 years ago
- ☆15May 27, 2021Updated 4 years ago
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers☆14Oct 20, 2019Updated 6 years ago
- Sonic implementation in Rust☆18Jun 4, 2019Updated 6 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- ☆15May 3, 2019Updated 6 years ago
- High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.☆14Jun 3, 2021Updated 4 years ago
- ☆78Dec 10, 2019Updated 6 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆23May 6, 2019Updated 6 years ago
- A list of exceptionally good cryptography libraries that inspire our work☆16Jul 26, 2019Updated 6 years ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- BLS working standard draft☆40Aug 8, 2019Updated 6 years ago
- A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.☆14Dec 20, 2019Updated 6 years ago
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers☆14Jan 16, 2020Updated 6 years ago
- Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions☆14Jul 9, 2023Updated 2 years ago
- ☆16Oct 19, 2022Updated 3 years ago
- Fully-compatible implementation of Privacy Pass in Rust.☆35Apr 20, 2020Updated 5 years ago
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated last year
- Wycheproof for Rust☆20Sep 3, 2025Updated 5 months ago
- Compact linkable ring signatures. A modification on MLSAG.☆20May 10, 2020Updated 5 years ago
- a sketch of what a zkvm could look like☆26Apr 19, 2021Updated 4 years ago
- ☆18Feb 3, 2024Updated 2 years ago
- Driver for round-based protocols in Rust☆24Jan 17, 2024Updated 2 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
- A proof-of-concept for stateless Bitcoin nodes.☆31Apr 18, 2019Updated 6 years ago
- ☆13Nov 25, 2025Updated 2 months ago
- Hackathon project for Snarky workshop.☆11Jun 21, 2019Updated 6 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆15Oct 19, 2021Updated 4 years ago
- Misuse cases of Cryptography in real world software products☆12Nov 4, 2018Updated 7 years ago
- ☆15Nov 18, 2024Updated last year
- ☆10Oct 22, 2019Updated 6 years ago
- A golang demo for zk-SNARK aggregation☆41Jun 23, 2019Updated 6 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
- Verify your NIPoPoWs efficiently, here☆11Dec 8, 2022Updated 3 years ago
- ☆33Dec 16, 2025Updated last month
- A library for decentralized private computation☆19Jul 21, 2021Updated 4 years ago