input-output-hk / qeditas
A Formal Library as a Bitcoin Spin-Off
☆17Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for qeditas
- ☆10Updated 7 years ago
- ☆29Updated 3 years ago
- Compiler for BitML☆26Updated 2 years ago
- Original position paper and white paper for Tezos☆38Updated 6 years ago
- Bitcoin Improvement Proposals☆14Updated 6 years ago
- Submission site for Zcash Foundation grant proposals☆25Updated 6 years ago
- A collection of papers about new models and applications of mobile process calculi☆12Updated 4 years ago
- A Haskell framework that facilitates writing ABCI applications☆34Updated 5 months ago
- DSL for Secure DApps☆33Updated last year
- ☆25Updated last year
- Balzac is a domain-specific language to write Bitcoin transactions.☆23Updated last month
- An example piece of code to publish to the 21 marketplace. Allows users to pay you bitcoin to run a traceroute.☆16Updated 7 years ago
- Grin transaction data corresponding to research on transaction linkability☆52Updated 4 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆45Updated 4 years ago
- ☆24Updated 7 years ago
- Internet Financial EXchange (IFEX) Protocol☆19Updated 6 years ago
- ipld handlers for bitcoin☆22Updated 2 months ago
- Knowledge Revolution☆27Updated 8 years ago
- State-Transition Systems for Smart Contracts☆24Updated 4 years ago
- A Shadow plug-in that runs the Bitcoin Satoshi reference software☆25Updated 4 years ago
- a language optimized for state channels on blockchains.☆22Updated 3 years ago
- Articles and Papers from Consensus Research☆30Updated 9 years ago
- Research and implementation for non-interactive blockchain proofs of proofs of work☆49Updated 2 years ago
- various cardano javascript using wasm bindings☆31Updated last year
- This repository provides cryptographic libraries that are used in the Byron era of the Cardano node☆68Updated 3 weeks ago
- FastCast rest server, like the one hosted at hub.orisi.org☆14Updated 10 years ago
- A proof-of-concept implementation of a Grin-Bitcoin atomic swap☆18Updated 4 years ago
- ☆58Updated 7 years ago