Moveプルーバー
Move Proverは、Moveコードの正式な仕様と検証をサポートします。Move Proverは型チェッカーやリンターと同様のユーザーエクスペリエンスを提供しながらMoveスマー トコントラクトの論理プロパティを自動的に検証出来ます。
Move Proverはコントラクトの 信頼性 を高めるため存在します。
- Aptosブロックチェーンによって管理される膨大な資産をスマートコントラクトのバグから保護します
- 充分なリソースを持つ敵から保護する -正当な規制当局の監視とコンプライアンス要件を予測する
- 数学的背景を持つドメイン専門家（必ずしもソフトウェアエンジニアリングの背景を持つ必要はない）が、スマートコントラクトが何をするかを理解できるようにします。
詳細は、ドキュメントを参照して下さい。