Aptosは、動的配布型の形式的検証をサポートする最初のL1となりました

Foresight Newsの報道によると、Aptosは公式X（旧Twitter）で、Aptosが動的ディスパッチ（dynamic dispatch）の形式的検証を実現した初のL1となったと発表しました。これにより、その設計通りに正しく稼働していることを数学的に証明できるとのことです。Aptosは、AIが仕様書の作成を担当し、Move Proverが数学的手法でその正当性を証明すると説明しています。これにより、市場とマシンに信頼の基盤が提供されます。また、Moveは動的ディスパッチのサポートを拡張した唯一のネイティブな形式的検証機能を備えたスマートコントラクト言語となっています。