Axo

Axo 是一種基於交易完備代數的去中心化交易協議，它允許任何金融行爲的數學表達。交易完備代數在計算機代碼中的系統應用導致了 xlang 的開發，這是一種編程語言，使開發人員能夠表達任何金融合約，但不能執行任何任意代碼。 Axo 將這種財務靈活性稱爲“交易完整”，而不是“圖靈完整”，“圖靈完整”意味着如果有足夠的時間和資源，系統可以運行任何程序。