Aptosによると、このブロックチェーンは、動的スケジューリングの形式検証をサポートする最初のLayer 1となり、そのシステムが設計どおりに動作していることを数学的に証明できるようになったとのことです。Aptosは、AIが生成した仕様に、オラクル機構としてMove Proverを組み合わせることで、市場参加者とプロトコルの間に信頼のためのレイヤーが生まれると述べています。
免責事項：本ページの情報には第三者提供の内容が含まれる場合があり、参考目的のみで提供されています。これらはGateの見解や意見を示すものではなく、金融、投資、または法律上の助言を構成するものでもありません。暗号資産取引には高いリスクが伴います。意思決定を行う際には、本ページの情報のみに依存しないでください。詳細については、
免責事項をご確認ください。
