ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).
☆54Mar 22, 2016Updated 9 years ago
Alternatives and similar repositories for cashlib
Users that are interested in cashlib are comparing it to the libraries listed below
Sorting:
- Compact Proofs of Retrievability☆14May 28, 2014Updated 11 years ago
- a C++ embedded domain specific language for zero knowledge proofs☆59Dec 9, 2016Updated 9 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- BFT consensus in Rust☆19Jan 26, 2022Updated 4 years ago
- A zk-SNARK for randomized algorithms + linear-size universal circuits (https://eprint.iacr.org/2020/278)☆18Jan 24, 2021Updated 5 years ago
- ☆15Sep 28, 2020Updated 5 years ago
- Discrete-event simulation for BFT consensus protocols☆48Oct 13, 2021Updated 4 years ago
- a C++ template library for zero knowledge proofs☆49Dec 8, 2015Updated 10 years ago
- An experimental library for PDP and POR☆31Feb 3, 2021Updated 5 years ago
- A list of exceptionally good cryptography libraries that inspire our work☆15Jul 26, 2019Updated 6 years ago
- ☆27Oct 18, 2022Updated 3 years ago
- OPAQUE asymmetric PAKE, and its threshold implementation. Experimental, not audited.☆17Jun 16, 2021Updated 4 years ago
- Pointcheval Sanders signature☆27Jan 16, 2020Updated 6 years ago
- zk-SNARK parameter multi-party computation protocol☆176Oct 30, 2019Updated 6 years ago
- An implementation of publicly verifiable proofs of retrievability☆32Feb 24, 2018Updated 8 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 collection of videos, reading materials and tools for learning all about the ZK side of crypto.☆19Nov 5, 2018Updated 7 years ago
- ☆22Sep 6, 2016Updated 9 years ago
- Hyrax reference implementation: meta-repo with top-level makefile, etc☆36Feb 9, 2018Updated 8 years ago
- A Java library for zk-SNARK circuits☆215Dec 17, 2022Updated 3 years ago
- A library for decentralized private computation☆19Jul 21, 2021Updated 4 years ago
- Distributed build system providing cryptographic proofs-of-reproducibility via Byzantine Fault Tolerant (BFT) consensus☆92Jul 1, 2020Updated 5 years ago
- 2P-ECDSA: Two-Party ECDSA MultiSignatures☆48May 3, 2019Updated 6 years ago
- Implements ristretto255, a fast prime-order group.☆110Feb 19, 2026Updated 2 weeks ago
- Specification of the RenVM MPC algorithm☆19May 27, 2020Updated 5 years ago
- Notes on cryptographic schemes and attacks☆25Dec 13, 2018Updated 7 years ago
- Sagan is an observability tool for Cosmos and other Tendermint applications☆36May 16, 2023Updated 2 years ago
- A library for peer discovery inside the Tor network☆28Apr 19, 2024Updated last year
- Proof-of-concept implementation of the (V)OPRF protocol in https://datatracker.ietf.org/doc/draft-irtf-cfrg-voprf/☆23Aug 24, 2020Updated 5 years ago
- High Assurance Cryptographic Software☆10Dec 23, 2025Updated 2 months ago
- A golang demo for zk-SNARK aggregation☆41Jun 23, 2019Updated 6 years ago
- Verify your NIPoPoWs efficiently, here☆11Dec 8, 2022Updated 3 years ago
- Small repo for implementing the 2018 EUROCRYPT paper "Simple Proofs of Sequential Work" by Cohen and Pietrzak. Also used as part of our C…☆10Aug 26, 2018Updated 7 years ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 6 years ago
- Misuse cases of Cryptography in real world software products☆12Nov 4, 2018Updated 7 years ago
- Hackathon project for Snarky workshop.☆11Jun 21, 2019Updated 6 years ago
- Coded Merkle Tree☆25Aug 6, 2019Updated 6 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Jan 22, 2023Updated 3 years ago
- Go Ed25519 suitable for use in consensus-critical contexts.☆52Jan 18, 2024Updated 2 years ago