decrypto-org / TrustIsRisk
Decentralized monetary trust network
☆31Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for TrustIsRisk
- Grin transaction data corresponding to research on transaction linkability☆52Updated 4 years ago
- An independent implementation of the Powers of Tau MPC ceremony.☆33Updated 6 years ago
- Research and implementation for non-interactive blockchain proofs of proofs of work☆49Updated 2 years ago
- Dr. Y's Ethereum Contract Analyzer☆42Updated 2 years ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆53Updated 5 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- Formal specification and reference implementation of Casper☆15Updated 9 years ago
- Submission site for Zcash Foundation grant proposals☆25Updated 6 years ago
- An implementation for fair auditing and contingent payments in Bitcoin☆22Updated 7 years ago
- Sample payment channel using whisper☆36Updated 8 years ago
- (Summed) Merklized Binary Radix Tree library☆16Updated 8 years ago
- Knowledge Revolution☆27Updated 8 years ago
- Zcash primitives in pure JavaScript☆28Updated 7 years ago
- ☆13Updated 8 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Updated last year
- Channels.☆37Updated 2 years ago
- ☆26Updated 6 years ago
- ☆10Updated 7 years ago
- Various papers on crypto pertinent to zero knowledge proofs, etc☆23Updated 4 years ago
- ☆21Updated 4 years ago
- provable bitcoin HODLing☆22Updated 7 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 5 years ago
- 👘 Opening the kimono one time-lock at a time☆32Updated 6 years ago
- A highly performant merkle set data structure. To be ported to C later.☆74Updated 6 years ago
- Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment☆100Updated 7 years ago
- The Hog programming language☆15Updated 6 years ago