petertodd / python-merbinnertreeLinks
(Summed) Merklized Binary Radix Tree library
☆17Updated 8 years ago
Alternatives and similar repositories for python-merbinnertree
Users that are interested in python-merbinnertree are comparing it to the libraries listed below
Sorting:
- ☆26Updated 7 years ago
- Submission site for Zcash Foundation grant proposals☆25Updated 7 years ago
- ☆10Updated 8 years ago
- ☆19Updated 8 years ago
- 6.858 final project.☆18Updated 9 years ago
- Formal specification and reference implementation of Casper☆15Updated 9 years ago
- Decentralized monetary trust network☆31Updated 7 years ago
- Articles and Papers from Consensus Research☆30Updated 9 years ago
- Various papers on crypto pertinent to zero knowledge proofs, etc☆24Updated 5 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- Technical paper on the Borromean ring signature construction☆47Updated 8 years ago
- Fast additive accumulators☆14Updated 4 years ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆55Updated 6 years ago
- Rust crate for BLS Aggregate Signatures☆9Updated 6 years ago
- These testcases are generated by running afl-fuzz against libbitcoinconsensus.☆15Updated 10 years ago
- Batch verifier for zkSNARKs☆10Updated 2 years ago
- Isabelle formalization of binary consensus☆9Updated 8 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- Knowledge Revolution☆27Updated 9 years ago
- authenticated data structures, generically☆52Updated 8 years ago
- The Hog programming language☆15Updated 7 years ago
- Supporting evidence for security of the Jubjub curve to be used in Zcash☆16Updated 3 years ago
- ☆13Updated 8 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Updated 2 years ago
- a JavaScript Implementation of Primea HyperVisor☆42Updated 5 years ago
- Hackathon project for Snarky workshop.☆11Updated 6 years ago
- An independent implementation of the Powers of Tau MPC ceremony.☆33Updated 7 years ago
- secp256k1 in pure no_std Rust☆12Updated 8 years ago
- Taproot security proof☆22Updated 5 years ago
- CLI tool for participating in Cosmos Fundraiser☆12Updated 4 years ago