balzac-lang / balzac
Balzac is a domain-specific language to write Bitcoin transactions.
☆24Updated this week
Alternatives and similar repositories for balzac:
Users that are interested in balzac are comparing it to the libraries listed below
- Compiler for BitML☆27Updated 2 years ago
- Proof of concept for the A2L protocol on top of Bitcoin.☆18Updated 4 years ago
- TLA+ specification for Succinct Atomic Swap smart contract☆25Updated 4 years ago
- A collection of papers about new models and applications of mobile process calculi☆12Updated 5 years ago
- ☆10Updated 7 years ago
- Core set of Ethereum contracts for Pandora Boxchain functioning☆26Updated 4 years ago
- 2P-ECDSA: Two-Party ECDSA MultiSignatures☆48Updated 5 years ago
- A list of sidechain resources☆43Updated last year
- ☆26Updated 7 years ago
- DSL for Secure DApps☆33Updated 2 years ago
- A detailed description of how Bitcoin Elements Alpha Confidential Transactions works☆58Updated 6 years ago
- Knowledge Revolution☆27Updated 8 years ago
- ☆10Updated 5 years ago
- a language optimized for state channels on blockchains.☆22Updated 3 years ago
- Fork Monitor☆40Updated last year
- Sparkswap engine for LND☆32Updated 4 years ago
- Trustless sidechains for Bitcoin network. Lightning ⚡️ brings thunderbolt 🌩 – Typhon 🐉 brings typhoon🌪☆19Updated 6 years ago
- Experiments in a improving Bitcoin using a Directed Acyclic Graph instead of a chain☆38Updated last year
- Bitcoin network simulator☆22Updated 9 years ago
- Proof-of-Reserves tool for Bitcoin☆49Updated last year
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆45Updated 4 years ago
- An implementation for fair auditing and contingent payments in Bitcoin☆23Updated 7 years ago
- zkChannels: Anonymous Payment Channels for Bitcoin, Zcash, Tezos and more☆70Updated 2 years ago
- Demo / PoC / implementation of IOHK MPC protocols☆19Updated 6 years ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆55Updated 5 years ago
- ☆16Updated 8 years ago
- Contract using Oraclize that mint tokens by github commit stats.☆27Updated 7 years ago
- Schnorr related examples (Schnorr, BN, MuSig, discreet log contracts)☆36Updated 6 years ago
- Simple implementation of Bitcoin CoinSwap, client-server☆32Updated 6 years ago
- Cross chain atomic trades protocol and api for trades between Stellar and Ethereum☆36Updated 7 years ago