input-output-hk / qeditasLinks
A Formal Library as a Bitcoin Spin-Off
☆17Updated 8 years ago
Alternatives and similar repositories for qeditas
Users that are interested in qeditas are comparing it to the libraries listed below
Sorting:
- Compiler for BitML☆27Updated 3 years ago
- Tau Meta-Language☆123Updated 2 years ago
- DSL for Secure DApps☆33Updated 2 years ago
- PayPub: Trustless payments for information publishing on Bitcoin☆80Updated 11 years ago
- Original position paper and white paper for Tezos☆38Updated 7 years ago
- idni.org☆75Updated 7 years ago
- Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment☆102Updated 8 years ago
- Experiments in a improving Bitcoin using a Directed Acyclic Graph instead of a chain☆37Updated last year
- An EVM code verification framework in Coq☆44Updated 9 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
- A detailed description of how Bitcoin Elements Alpha Confidential Transactions works☆58Updated 7 years ago
- ☆18Updated 4 years ago
- Knowledge Revolution☆28Updated 9 years ago
- Online Debugging tool for Bitcoin script language☆19Updated 8 years ago
- Mochimo Cryptocurrency Public Development Repository☆63Updated 7 months ago
- Submission site for Zcash Foundation grant proposals☆25Updated 7 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆47Updated 5 years ago
- A compiler from a Turing Machine definition to a Bitcoin script☆14Updated 7 years ago
- ☆26Updated 7 years ago
- Research and implementation for non-interactive blockchain proofs of proofs of work☆50Updated 3 years ago
- A highly performant merkle set data structure. To be ported to C later.☆75Updated 7 years ago
- Bitcoin software suite☆64Updated 4 years ago
- Bounds on divsteps iterations in safegcd☆54Updated last year
- Legacy code connected to the high-assurance implementation of the Ouroboros protocol family☆78Updated 3 years ago
- Visualize Bitcoin UTXO set☆45Updated 3 years ago
- Equihash solver port from C++ to C for Zcash☆33Updated 8 years ago
- Bitcoin network simulator☆19Updated 10 years ago
- A collection of papers about new models and applications of mobile process calculi☆12Updated 5 years ago
- hacker/cypherpunk/etc historical writing to be included in GRINOIRE☆51Updated 6 years ago
- ☆89Updated 7 years ago