Aptosによると、このブロックチェーンは、動的スケジューリングの形式検証をサポートする最初のLayer 1となり、そのシステムが設計どおりに動作していることを数学的に証明できるようになったとのことです。Aptosは、AIが生成した仕様に、オラクル機構としてMove Proverを組み合わせることで、市場参加者とプロトコルの間に信頼のためのレイヤーが生まれると述べています。
免責事項：このページの情報は第三者から提供される場合があり、Gateの見解または意見を代表するものではありません。このページに表示される内容は参考情報のみであり、いかなる金融、投資、または法律上の助言を構成するものではありません。Gateは情報の正確性または完全性を保証せず、当該情報の利用に起因するいかなる損失についても責任を負いません。仮想資産への投資は高いリスクを伴い、大きな価格変動の影響を受けます。投資元本の全額を失う可能性があります。関連するリスクを十分に理解したうえで、ご自身の財務状況およびリスク許容度に基づき慎重に判断してください。詳細は
免責事項をご参照ください。
