balzac-lang / balzac
Balzac is a domain-specific language to write Bitcoin transactions.
☆26Updated last month
Alternatives and similar repositories for balzac:
Users that are interested in balzac are comparing it to the libraries listed below
- Compiler for BitML☆28Updated 3 years ago
- Knowledge Revolution☆27Updated 8 years ago
- Submission site for Zcash Foundation grant proposals☆25Updated 7 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 8 years ago
- 2P-ECDSA: Two-Party ECDSA MultiSignatures☆48Updated 5 years ago
- Technical paper on the Borromean ring signature construction☆47Updated 8 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆132Updated last year
- Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment☆102Updated 7 years ago
- 6.858 final project.☆18Updated 9 years ago
- A collection of papers about new models and applications of mobile process calculi☆12Updated 5 years ago
- Ethereum-Zcash Integration effort☆66Updated 6 years ago
- Experiments in a improving Bitcoin using a Directed Acyclic Graph instead of a chain☆39Updated last year
- ☆26Updated 7 years ago
- Temporary repository for systemizing Bitcoin knowledge.☆22Updated 9 years ago
- Submission site for 2018Q2 Zcash Foundation grant proposals.☆26Updated 6 years ago
- ☆70Updated 3 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- LaTeX of the MimbleWimble paper☆30Updated 3 years ago
- Various papers on crypto pertinent to zero knowledge proofs, etc☆24Updated 5 years ago
- A detailed description of how Bitcoin Elements Alpha Confidential Transactions works☆58Updated 6 years ago
- Demo / PoC / implementation of IOHK MPC protocols☆19Updated 6 years ago
- Proof of concept for the A2L protocol on top of Bitcoin.☆19Updated 4 years ago
- Articles and Papers from Consensus Research☆30Updated 9 years ago
- Blockchain Bibliography☆50Updated last year
- ☆59Updated 7 years ago
- ☆10Updated 7 years ago
- CHECKLOCKTIMEVERIFY (BIP65) Demos☆47Updated 8 years ago
- Casper PoC4 implementation. This PoC4 version served as an early prototype to test and refine the PoS protocol, laying the groundwork for…☆20Updated 8 years ago
- Accountable Watching Service☆28Updated 2 years ago
- A work-in-progress for Zcash Bitcoin Cross-Chain Atomic Transactions☆61Updated 7 years ago