Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
78 lines (53 sloc) 1.97 KB

BALZaC

Bitcoin Abstract Language, analyZer and Compiler

|langname| 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.

Try our web editor. The project is open source, and you are welcome to contribute to our repository.

|langname| is developed by the Blockchain@Unica group of the University of Cagliari.

Warning

|langname| is intended for research purposes only. Do not use it to create mainnet transactions, or do it at your own risk.

Contents

.. toctree::
    :maxdepth: 1
    :caption: Getting Started

    nutshell
    keys
    raw-transactions
    assertions


.. toctree::
    :maxdepth: 2
    :caption: Language Specification

    transactions
    expressions
    types
    editor


.. toctree::
    :hidden:
    :maxdepth: 3
    :caption: Installation and Configuration

    eclipse-install
    eclipse-conf


.. toctree::
    :maxdepth: 1
    :caption: Smart contracts

    oracle
    escrow
    timed-commitment


References

[AB+18FC]
  1. Atzei, M. Bartoletti, S. Lande, R. Zunino. A formal model of Bitcoin transactions. In Financial Cryptography and Data Security, 2018. Preprint: https://eprint.iacr.org/2017/1124.pdf
[AB+18POST]
  1. Atzei, M. Bartoletti, T. Cimoli, S. Lande, R. Zunino. SoK: unraveling Bitcoin smart contracts. In Principles of Security and Trust (POST), 2018. Preprint: https://eprint.iacr.org/2018/192.pdf
You can’t perform that action at this time.