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:
- Tau Meta-Language☆123Updated 2 years ago
- DSL for Secure DApps☆33Updated 3 years ago
- Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment☆104Updated 8 years ago
- Knowledge Revolution☆27Updated 9 years ago
- A Haskell framework that facilitates writing ABCI applications☆34Updated last year
- Compiler for BitML☆27Updated 3 years ago
- idni.org☆75Updated 8 years ago
- This repository provides cryptographic libraries that are used in the Byron era of the Cardano node☆68Updated 3 months ago
- Cardano Settlement Layer Documentation☆35Updated 5 years ago
- An EVM code verification framework in Coq☆44Updated 9 years ago
- A compiler from a Turing Machine definition to a Bitcoin script☆14Updated 7 years ago
- Legacy code connected to the high-assurance implementation of the Ouroboros protocol family☆79Updated 4 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆131Updated 2 years ago
- Submission site for Zcash Foundation grant proposals☆25Updated 7 years ago
- ☆29Updated 4 years ago
- PayPub: Trustless payments for information publishing on Bitcoin☆80Updated 11 years ago
- ☆18Updated 4 years ago
- Original position paper and white paper for Tezos☆39Updated 7 years ago
- Knowledge Revolution☆115Updated 7 years ago
- ☆36Updated 4 years ago
- Technical paper on the Borromean ring signature construction☆47Updated 8 years ago
- Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.☆66Updated 4 years ago
- Mining wrapper around the Cuckoo Cycle proof of work system for the Grin/MimbleWimble blockchain.☆54Updated 7 years ago
- Sphinx source for the architecture docs☆25Updated 2 years ago
- Relay service for interactive transaction building for Grin / Mimblewimble☆51Updated last year
- Bitcoin Improvement Proposals☆31Updated 3 years ago
- Grin transaction data corresponding to research on transaction linkability☆53Updated 6 years ago
- Experiments in a improving Bitcoin using a Directed Acyclic Graph instead of a chain☆38Updated 2 years ago
- Grin Requests for Comments☆38Updated 4 months ago
- documentation, justification, and potential use-cases of the Amoveo blockchain.☆25Updated last month