balzac-lang / balzacLinks
Balzac is a domain-specific language to write Bitcoin transactions.
☆26Updated 5 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
- Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment☆104Updated 8 years ago
- Knowledge Revolution☆27Updated 9 years ago
- This project is being merged into Bitauth CLI:☆37Updated 6 years ago
- ☆70Updated 4 years ago
- ☆10Updated 6 years ago
- Research and implementation for non-interactive blockchain proofs of proofs of work☆50Updated 3 years ago
- A highly performant merkle set data structure. To be ported to C later.☆75Updated 8 years ago
- A work-in-progress for Zcash Bitcoin Cross-Chain Atomic Transactions☆63Updated 8 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆131Updated 2 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 9 years ago
- 2P-ECDSA: Two-Party ECDSA MultiSignatures☆48Updated 6 years ago
- Technical paper on the Borromean ring signature construction☆47Updated 8 years ago
- A list of sidechain resources☆42Updated last year
- Blockchain Bibliography☆50Updated 2 years ago
- LaTeX of the MimbleWimble paper☆32Updated 4 years ago
- ☆26Updated 8 years ago
- ☆43Updated 7 years ago
- Fabric is an experimental protocol for exchanging information.☆10Updated 2 months ago
- An EVM code verification framework in Coq☆44Updated 9 years ago
- An implementation for fair auditing and contingent payments in Bitcoin☆23Updated 8 years ago
- Various papers on crypto pertinent to zero knowledge proofs, etc☆24Updated 6 years ago
- Dr. Y's Ethereum Contract Analyzer☆41Updated 3 years ago
- Experiments in a improving Bitcoin using a Directed Acyclic Graph instead of a chain☆38Updated 2 years ago
- A compiler from a Turing Machine definition to a Bitcoin script☆14Updated 7 years ago
- Transaction Relay enables transaction fees of Ethereum contracts and transactions to be paid by any Currency☆39Updated 9 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 9 years ago
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification☆44Updated 5 years ago
- a language optimized for state channels on blockchains.☆22Updated 4 years ago
- Simple implementation of Bitcoin CoinSwap, client-server☆33Updated 7 years ago