amiller / redblackmerkleLinks
An authenticated data structure based on a red-black tree.
☆54Updated 10 years ago
Alternatives and similar repositories for redblackmerkle
Users that are interested in redblackmerkle are comparing it to the libraries listed below
Sorting:
- a C++ template library for zero knowledge proofs☆49Updated 9 years ago
- (Summed) Merklized Binary Radix Tree library☆17Updated 8 years ago
- authenticated data structures, generically☆52Updated 8 years ago
- A highly performant merkle set data structure. To be ported to C later.☆74Updated 7 years ago
- ☆70Updated 3 years ago
- Articles and Papers from Consensus Research☆30Updated 10 years ago
- Submission site for Zcash Foundation grant proposals☆25Updated 7 years ago
- a C++ embedded domain specific language for zero knowledge proofs☆59Updated 8 years ago
- Technical paper on the Borromean ring signature construction☆47Updated 8 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- Formal specification and reference implementation of Casper☆15Updated 9 years ago
- zero-knowledge chat suite☆102Updated 3 years ago
- BLST-Verification☆22Updated 6 months ago
- Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment☆102Updated 8 years ago
- ☆59Updated 3 years ago
- Compiler for BitML☆28Updated 3 years ago
- 6.858 final project.☆18Updated 9 years ago
- Knowledge Revolution☆27Updated 9 years ago
- a web page / paper☆18Updated 8 years ago
- ☆26Updated 7 years ago
- A fork of floodyberry's ed25519-donna modified to support the Ristretto prime-order group☆14Updated 4 years ago
- A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto☆18Updated 5 years ago
- ☆19Updated 8 years ago
- Oracle and client source code [START HERE]☆112Updated 10 years ago
- ☆21Updated 8 years ago
- Research and implementation for non-interactive blockchain proofs of proofs of work☆50Updated 2 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Updated 2 years ago
- Dr. Y's Ethereum Contract Analyzer☆41Updated 3 years ago
- MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains☆18Updated 5 years ago
- Decentralized monetary trust network☆32Updated 8 years ago