input-output-hk / qeditas
A Formal Library as a Bitcoin Spin-Off
☆17Updated 7 years ago
Alternatives and similar repositories for qeditas:
Users that are interested in qeditas are comparing it to the libraries listed below
- ☆29Updated 3 years ago
- Original position paper and white paper for Tezos☆38Updated 6 years ago
- Compiler for BitML☆26Updated 2 years ago
- Wasabi Research Club☆41Updated last year
- Submission site for Zcash Foundation grant proposals☆25Updated 6 years ago
- State-Transition Systems for Smart Contracts☆24Updated 4 years ago
- A Haskell framework that facilitates writing ABCI applications☆34Updated 7 months ago
- A privacy-preserving, auditable, distributed voting system.☆13Updated last year
- Documentation for Scilla☆17Updated last year
- 6.858 final project.☆18Updated 9 years ago
- Articles and Papers from Consensus Research☆30Updated 9 years ago
- An implementation of the Mixcoin mixing protocol☆13Updated 10 years ago
- Knowledge Revolution☆27Updated 8 years ago
- Bitcoin Core's univalue branch (no longer used)☆15Updated 2 years ago
- Grin Requests for Comments☆38Updated last year
- Technical paper on the Borromean ring signature construction☆47Updated 7 years ago
- An ML-inspired smart contract language, compiling to Tezos' Michelson VM☆22Updated 7 years ago
- A series of annotated lists of opinionated, high-signal but low-noise links on topics I care about☆11Updated 11 months ago
- working with coq and tezos☆28Updated 7 years ago
- Visualize Bitcoin UTXO set☆44Updated 2 years ago
- Legacy code connected to the high-assurance implementation of the Ouroboros protocol family☆78Updated 2 years ago
- A collection of papers about new models and applications of mobile process calculi☆12Updated 5 years ago
- PayPub: Trustless payments for information publishing on Bitcoin☆78Updated 10 years ago
- ☆36Updated 3 years ago
- Bitcoin script compilation, manipulation and decompilation☆14Updated 4 years ago
- ☆13Updated 5 years ago
- Zcash Vanity Address Generator☆22Updated 3 years ago