datavetaren / prologcoinLinks
☆36Updated 4 years ago
Alternatives and similar repositories for prologcoin
Users that are interested in prologcoin are comparing it to the libraries listed below
Sorting:
- An EVM code verification framework in Coq☆44Updated 8 years ago
- idni.org☆75Updated 7 years ago
- PayPub: Trustless payments for information publishing on Bitcoin☆80Updated 10 years ago
- Knowledge Revolution☆116Updated 7 years ago
- Balzac is a domain-specific language to write Bitcoin transactions.☆26Updated 2 months ago
- Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment☆102Updated 8 years ago
- Blockchain Guild Community☆83Updated 5 years ago
- Small programming language compiling to Bitcoin Script☆17Updated 10 years ago
- Knowledge Revolution☆28Updated 9 years ago
- DSL for Secure DApps☆33Updated 2 years ago
- Compiler for BitML☆27Updated 3 years ago
- Rchain reference material☆53Updated 3 years ago
- Oracle and client source code [START HERE]☆113Updated 10 years ago
- A detailed description of how Bitcoin Elements Alpha Confidential Transactions works☆58Updated 7 years ago
- Feature experiments to advance the art of Bitcoin - Build your own sidechain☆16Updated 8 years ago
- Formal specification and reference implementation of Casper☆15Updated 10 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆132Updated 2 years ago
- ☆70Updated 3 years ago
- A Formal Library as a Bitcoin Spin-Off☆17Updated 8 years ago
- A simple implementation of Pay-to-Contract-Hash☆89Updated 3 years ago
- ☆26Updated 7 years ago
- Experiments in a improving Bitcoin using a Directed Acyclic Graph instead of a chain☆37Updated last year
- ☆89Updated 7 years ago
- ☆61Updated 8 years ago
- Trade bitcoins for tokens via btc-relay☆27Updated 8 years ago
- Testchain Release Page☆58Updated 2 years ago
- Ethereum-Zcash Integration effort☆66Updated 6 years ago
- A highly performant merkle set data structure. To be ported to C later.☆74Updated 7 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
- ☆110Updated last year