Axo 是一种基于交易完备代数的去中心化交易协议，它允许任何金融行为的数学表达。交易完备代数在计算机代码中的系统应用导致了 xlang 的开发，这是一种编程语言，使开发人员能够表达任何金融合约，但不能执行任何任意代码。 Axo 将这种财务灵活性称为“交易完整”，而不是“图灵完整”，“图灵完整”意味着如果有足够的时间和资源，系统可以运行任何程序。