Aptos объявила, что стала первым блокчейном уровня 1, поддерживающим формальную верификацию динамического диспетчеризации, что позволяет математически проверять механизмы на корректность работы. Это достижение даёт разработчикам возможность использовать ИИ для написания спецификаций и применять Move Prover для проверки логики смарт-контрактов, повышая проверяемость и безопасность программ в блокчейне.