amiller / redblackmerkle
An authenticated data structure based on a red-black tree.
☆54Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for redblackmerkle
- a C++ embedded domain specific language for zero knowledge proofs☆58Updated 7 years ago
- a C++ template library for zero knowledge proofs☆49Updated 8 years ago
- Articles and Papers from Consensus Research☆30Updated 9 years ago
- ☆19Updated 7 years ago
- Zerocoin: C++ lib for anonymous extension to bitcoin☆177Updated 4 years ago
- A highly performant merkle set data structure. To be ported to C later.☆74Updated 6 years ago
- ☆59Updated 2 years ago
- Knowledge Revolution☆27Updated 8 years ago
- PayPub: Trustless payments for information publishing on Bitcoin☆78Updated 10 years ago
- Submission site for Zcash Foundation grant proposals☆25Updated 6 years ago
- authenticated data structures, generically☆50Updated 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☆101Updated 2 years ago
- Proof of Assets (PoA) is a scheme designed to let entitites (operators) prove that they control a given amount of Bitcoin or other blockc…☆26Updated 9 years ago
- Reference implementation of the SPOOL protocol☆20Updated 6 years ago
- Public working documents (e.g., Internet drafts)☆22Updated 6 years ago
- A Shadow plug-in that runs the Bitcoin Satoshi reference software☆25Updated 4 years ago
- Dr. Y's Ethereum Contract Analyzer☆42Updated 2 years ago
- Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment☆100Updated 7 years ago
- XTP - eXternal Transports Protocol☆33Updated 9 months ago
- ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).☆54Updated 8 years ago
- (Summed) Merklized Binary Radix Tree library☆16Updated 8 years ago
- Off-chain poker in Ethereum☆22Updated 7 years ago
- Wouldn't you like to know.☆39Updated 8 years ago