The Sophia smart contract language

This is the sophia compiler which compiles contracts written in sophia to FATE instructions.

The compiler is currently being used three places

• The command line compiler
• Desktop wallet
• In the Gajumaru core node tests

Documentation

• Introduction
• Syntax
• Features
• Standard library
• Contract examples
• Contributing

Additionally you can check out the contracts section of the Gajumaru blockchain specification.

Versioning

Versioning should follow the semantic versioning guidelines. Id est, given a version number MAJOR.MINOR.PATCH, increment the:

• MAJOR version when you make incompatible API changes
• MINOR version when you add functionality in a backwards compatible manner
• PATCH version when you make backwards compatible bug fixes

Interface Modules

The basic modules for interfacing the compiler:

• so_compiler: the Sophia compiler
• so_aci: the ACI interface