amiller / redblackmerkle
An authenticated data structure based on a red-black tree.
☆54Updated 9 years ago
Alternatives and similar repositories for redblackmerkle:
Users that are interested in redblackmerkle are comparing it to the libraries listed below
- a C++ template library for zero knowledge proofs☆49Updated 9 years ago
- (Summed) Merklized Binary Radix Tree library☆17Updated 8 years ago
- a C++ embedded domain specific language for zero knowledge proofs☆59Updated 8 years ago
- Articles and Papers from Consensus Research☆30Updated 9 years ago
- ☆19Updated 8 years ago
- A highly performant merkle set data structure. To be ported to C later.☆74Updated 7 years ago
- Formal specification and reference implementation of Casper☆15Updated 9 years ago
- ☆59Updated 3 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- Knowledge Revolution☆27Updated 8 years ago
- 6.858 final project.☆18Updated 9 years ago
- authenticated data structures, generically☆51Updated 8 years ago
- a web page / paper☆18Updated 8 years ago
- ☆10Updated 7 years ago
- Proof of Solvency (PoS) is a scheme designed to let users verify the solvency of online websites which accept Bitcoin (or other similar c…☆71Updated 8 years ago
- Wouldn't you like to know.☆39Updated 9 years ago
- ☆24Updated 8 years ago
- Dr. Y's Ethereum Contract Analyzer☆41Updated 3 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 8 years ago
- High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.☆14Updated 3 years ago
- Deterministic execution virtual machine sandbox for Moxie arch☆74Updated 4 years ago
- ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).☆54Updated 9 years ago
- PayPub: Trustless payments for information publishing on Bitcoin☆78Updated 10 years ago
- Submission site for Zcash Foundation grant proposals☆25Updated 7 years ago
- ☆21Updated 7 years ago
- Technical paper on the Borromean ring signature construction☆47Updated 8 years ago
- Oracle and client source code [START HERE]☆112Updated 9 years ago
- ☆59Updated 7 years ago
- A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto☆18Updated 5 years ago
- An example piece of code to publish to the 21 marketplace. Allows users to pay you bitcoin to run a traceroute.☆16Updated 8 years ago