balzac-lang / balzacLinks
Balzac is a domain-specific language to write Bitcoin transactions.
☆26Updated 2 months ago
Alternatives and similar repositories for balzac
Users that are interested in balzac are comparing it to the libraries listed below
Sorting:
- Compiler for BitML☆27Updated 3 years ago
- ☆70Updated 3 years ago
- ☆10Updated 6 years ago
- Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment☆102Updated 8 years ago
- Knowledge Revolution☆28Updated 9 years ago
- Research and implementation for non-interactive blockchain proofs of proofs of work☆50Updated 3 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆132Updated 2 years ago
- Submission site for Zcash Foundation grant proposals☆25Updated 7 years ago
- Technical paper on the Borromean ring signature construction☆47Updated 8 years ago
- An implementation for fair auditing and contingent payments in Bitcoin☆23Updated 8 years ago
- Optimized C library for EC operations on curve secp256k1☆47Updated last year
- Simple implementation of Bitcoin CoinSwap, client-server☆32Updated 7 years ago
- A list of sidechain resources☆42Updated last year
- A detailed description of how Bitcoin Elements Alpha Confidential Transactions works☆58Updated 7 years ago
- A work-in-progress for Zcash Bitcoin Cross-Chain Atomic Transactions☆63Updated 7 years ago
- Demo / PoC / implementation of IOHK MPC protocols☆19Updated 6 years ago
- Documentation about scriptless scripts☆168Updated 8 months ago
- ☆26Updated 7 years ago
- LaTeX of the MimbleWimble paper☆31Updated 3 years ago
- Experiments in a improving Bitcoin using a Directed Acyclic Graph instead of a chain☆37Updated last year
- 2P-ECDSA: Two-Party ECDSA MultiSignatures☆48Updated 6 years ago
- A compiler from a Turing Machine definition to a Bitcoin script☆14Updated 7 years ago
- CABRA — Comprehensive Academic Bitcoin Research Archive☆106Updated 6 years ago
- Schnorr related examples (Schnorr, BN, MuSig, discreet log contracts)☆35Updated 7 years ago
- A tool to help programmers learn Bitcoin Script.☆28Updated 11 years ago
- a language optimized for state channels on blockchains.☆22Updated 4 years ago
- This project is being merged into Bitauth CLI:☆37Updated 6 years ago
- Grin transaction data corresponding to research on transaction linkability☆53Updated 5 years ago
- A highly performant merkle set data structure. To be ported to C later.☆74Updated 7 years ago