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
- ☆10Updated 6 years ago
- Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment☆104Updated 8 years ago
- A compiler from a Turing Machine definition to a Bitcoin script☆14Updated 7 years ago
- A list of sidechain resources☆42Updated last year
- Original position paper and white paper for Tezos☆38Updated 7 years ago
- Knowledge Revolution☆27Updated 9 years ago
- 2P-ECDSA: Two-Party ECDSA MultiSignatures☆48Updated 6 years ago
- LaTeX of the MimbleWimble paper☆32Updated 3 years ago
- An EVM code verification framework in Coq☆44Updated 9 years ago
- A work-in-progress for Zcash Bitcoin Cross-Chain Atomic Transactions☆63Updated 8 years ago
- Submission site for 2018Q2 Zcash Foundation grant proposals.☆26Updated 7 years ago
- ☆70Updated 4 years ago
- This project is being merged into Bitauth CLI:☆37Updated 6 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆131Updated 2 years ago
- Research and implementation for non-interactive blockchain proofs of proofs of work☆50Updated 3 years ago
- Technical paper on the Borromean ring signature construction☆47Updated 8 years ago
- Submission site for Zcash Foundation grant proposals☆25Updated 7 years ago
- Fork of secp256k1-zkp for the Grin/MimbleWimble project☆33Updated 2 years ago
- a language optimized for state channels on blockchains.☆22Updated 4 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Updated 2 years ago
- Various papers on crypto pertinent to zero knowledge proofs, etc☆24Updated 6 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
- DSL for Secure DApps☆33Updated 2 years ago
- ☆26Updated 8 years ago
- Cross chain atomic trades protocol and api for trades between Stellar and Ethereum☆35Updated 7 years ago
- A detailed description of how Bitcoin Elements Alpha Confidential Transactions works☆59Updated 7 years ago
- Grin transaction data corresponding to research on transaction linkability☆53Updated 5 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆243Updated 3 years ago
- Experiments in a improving Bitcoin using a Directed Acyclic Graph instead of a chain☆37Updated 2 years ago