Как Move Prover от Aptos может изменить безопасность смарт‑контрактов

Aptos продвигает Move Prover — систему формальной верификации, которая математически проверяет корректность смарт‑контрактов до их развертывания в сети.