Axo

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