Bitcoin Abstract Language, analyZer and Compiler
Balzac is an high-level language for writing transactions, verifying their correctness, and compiling them into actual Bitcoin transactions. It is based on the formal model proposed in [AB+18FC]. You can also use Balzac to design Bitcoin smart contracts [AB+18POST]. Some examples are given at the end of this tutorial.
You can install the IDE as a Eclipse plugin, or try the web editor.
The project is open source, and you are welcome to contribute to our repository.
- Boolean operations
- Arithmetic operations
- Numerical Expressions
- Hash functions
- Key Operations
- Cryptographic functions
- Time constraints
- Transaction operations
- Editor syntax
Balzac is intended for research purposes only. Do not use it to create mainnet transactions, or do it at your own risk.