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 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.
BALZaC is intended for research purposes only. Do not use it to create mainnet transactions, or do it at your own risk.