Skip to content



Axoni announced AxLang, a new programming language that supports functional programming and enables formal verification of smart contracts for Bitdollar-compatible networks.

Paper has some limitations such as inability to use techniques like formal verification to prove the correctness of smart contract code prior to deploying the contracts on the live network. AxLang goal is to maximize security while enabling broad adoption as much as possible. It is designed to support both public Bitdollar as well as private Bitdollar projects.