a C++ template library for zero knowledge proofs
☆49Dec 8, 2015Updated 10 years ago
Alternatives and similar repositories for snarklib
Users that are interested in snarklib are comparing it to the libraries listed below
Sorting:
- a C++ embedded domain specific language for zero knowledge proofs☆59Dec 9, 2016Updated 9 years ago
- ☆59Apr 17, 2022Updated 3 years ago
- ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).☆54Mar 22, 2016Updated 9 years ago
- C++ library for zkSNARKs☆1,917Jun 12, 2025Updated 8 months ago
- Learning how to bulletproofs☆38Dec 22, 2018Updated 7 years ago
- ☆22Sep 6, 2016Updated 9 years ago
- Baby ZoE - first step towards Zerocash over Ethereum☆120Nov 1, 2016Updated 9 years ago
- The Matasano Crypto Challenges in Rust http://cryptopals.com/☆11Nov 5, 2015Updated 10 years ago
- Robust persistence for typed immutable data☆16Nov 5, 2016Updated 9 years ago
- We have opted to continue our development efforts towards Opporty's Plasma Cash development. To learn more about Opporty Plasma Cash, pl…☆34Jan 3, 2023Updated 3 years ago
- ☆21Jun 13, 2017Updated 8 years ago
- Algorand's reference implementation of bls signature scheme☆14Sep 7, 2020Updated 5 years ago
- gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apac…☆15Sep 11, 2024Updated last year
- being the notes and materials for CS410 in the 2013/14 academic session☆30May 27, 2014Updated 11 years ago
- Barreto-Naehrig curve implementation and BLS☆33Oct 16, 2018Updated 7 years ago
- Personal fork of -zkp. Has some old mimblewimble stuff but mostly I just PR everything upstream now.☆84Jun 20, 2024Updated last year
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- Learning ZkSNARKs using libsnark☆12Dec 26, 2018Updated 7 years ago
- ☆12May 15, 2017Updated 8 years ago
- System configuration and utilities for Linux ⚙☆12Feb 16, 2026Updated 2 weeks ago
- An authenticated data structure based on a red-black tree.☆54Jul 27, 2015Updated 10 years ago
- Haskell API for I2P anonymous networking☆16Jun 1, 2015Updated 10 years ago
- A proof-of-concept for stateless Bitcoin nodes.☆30Apr 18, 2019Updated 6 years ago
- A Java library for zk-SNARK circuits☆215Dec 17, 2022Updated 3 years ago
- zk-SNARK library☆15Jun 19, 2020Updated 5 years ago
- C++ library for evaluating arithmetic circuits on batches of inputs☆15Aug 18, 2016Updated 9 years ago
- ☆21Jul 18, 2022Updated 3 years ago
- BLS Signature Library☆15Jun 10, 2016Updated 9 years ago
- Abstactions and concrete implementations of mutable containers☆13Jul 4, 2016Updated 9 years ago
- Oblivious RAM for Scala☆19Jan 21, 2021Updated 5 years ago
- ☆18Mar 2, 2018Updated 8 years ago
- libsnark: a C++ library for zkSNARK proofs☆115Feb 2, 2023Updated 3 years ago
- System tuning recommendations for running cryptographic applications☆23Jun 13, 2016Updated 9 years ago
- playing with hyperfunctions☆16May 2, 2021Updated 4 years ago
- experimenting with STM-backed read-copy-update in Haskell☆18Oct 19, 2025Updated 4 months ago
- Sonic implementation in Rust☆17Jun 4, 2019Updated 6 years ago
- OpenSwap - an atomic swap wallet based on Electron Cash☆18Dec 8, 2022Updated 3 years ago
- Example projects using the auto library.☆20May 16, 2015Updated 10 years ago
- Fuzzy string search in Haskell☆14Jan 5, 2024Updated 2 years ago