Axo

Axo は、あらゆる金融行動を数学的に表現できるトレード完全代数という新しい概念に基づく分散型取引プロトコルです。トレード完全代数をコンピューター コードに体系的に適用した結果、開発者があらゆる金融契約を表現できるものの、任意のコードを実行できないプログラミング言語である xlang が開発されました。この金融の柔軟性は、十分な時間とリソースがあればあらゆるプログラムを実行できるシステムを意味する「チューリング完全」ではなく、Axo によって「トレード完全」と呼ばれています。