BALZaC
24 Apr 2025

Getting Started

  • Balzac in a nutshell
  • Transaction signatures
  • Raw Transactions
  • Assertions

Language Specification

  • Transactions
  • Expressions
  • Types
  • Editor syntax

Installation and Configuration

  • Eclipse Plugin Installation
  • Eclipse Configuration

Smart contracts

  • Oracle
  • Escrow
  • Timed Commitment
BALZaC
  • Search

© Copyright N. Atzei, M. Bartoletti, T. Cimoli, S. Lande, R. Zunino. Revision 2188e2b.

Built with Sphinx using a theme provided by Read the Docs.