Skip to content
Stand alone compiler for the Sophia smart contract language
Erlang Other
  1. Erlang 99.0%
  2. Other 1.0%
Branch: master
Clone or download
UlfNorell Merge pull request #126 from radrow/listcompfixes
Fixed comprehension dependencies
Latest commit bbf043f Aug 21, 2019


This is the sophia compiler for the æternity system which compiles contracts written in sophia code to the æternity VM code.

For more information about æternity smart contracts and the sophia language see Smart Contracts and the Sophia Language.

It is an OTP application written in Erlang and is by default included in the æternity node. However, it can also be included in other systems to compile contracts coded in sophia which can then be loaded into the æternity system.


aesophia has a version that is only loosely connected to the version of the Aeternity node - in principle they will share the major version but not minor/patch version. The aesophia compiler version MUST be bumped whenever there is a change in how byte code is generated, but it MAY also be bumped upon API changes etc.

Interface Modules

The basic modules for interfacing the compiler:

You can’t perform that action at this time.