jcranmer / libquantum
☆13Updated 12 years ago
Alternatives and similar repositories for libquantum:
Users that are interested in libquantum are comparing it to the libraries listed below
- C++ library for evaluating arithmetic circuits on batches of inputs☆15Updated 8 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆45Updated 5 years ago
- An independent reimplementation of (vn)TinyRAM☆37Updated 8 years ago
- ☆10Updated 3 years ago
- 🎄🖋 A Rust implementation of Merkle signing☆15Updated 4 years ago
- A minimal RedJubjub implementation for use in Zebra.☆28Updated last week
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Updated 9 years ago
- fft impl for ff::Field☆16Updated 11 months ago
- python toolbox for calculations related to quantum entanglement (including squashed entanglement) "Speak Quantum Friend and Enter"☆15Updated 4 years ago
- A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto☆18Updated 5 years ago
- A fast, brute force, automatic theorem prover for first order logic☆39Updated 7 months ago
- Cross-chain atomic swap protocol between Monero and Ethereum☆14Updated 3 years ago
- ☆10Updated 7 years ago
- cgo wrappers around post-quantum cryptography primitives☆23Updated 6 years ago
- High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.☆14Updated 3 years ago
- BLST-Verification☆22Updated 2 months ago
- ☆59Updated 7 years ago
- 6.858 final project.☆18Updated 9 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- ☆59Updated 3 years ago
- A library for decentralized private computation☆19Updated 3 years ago
- Refu language☆21Updated 3 years ago
- An implementation for fair auditing and contingent payments in Bitcoin☆23Updated 7 years ago
- This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.☆16Updated 6 years ago
- The modular protocol framework based on Universal Composability☆18Updated 4 years ago
- ☆9Updated 2 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- Public working documents (e.g., Internet drafts)☆23Updated 6 years ago
- Articles and Papers from Consensus Research☆30Updated 9 years ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆76Updated 7 years ago