Aptos는 동적 디스패치의 형식 검증을 지원하는 최초의 레이어 1 블록체인임을 발표했습니다. 이를 통해 메커니즘이 수학적으로 올바른 작동을 검증할 수 있습니다. 이 발전은 개발자들이 AI를 사용해 명세를 작성하고 Move Prover를 활용해 스마트 계약 로직을 검증할 수 있게 하여, 온체인 프로그램의 검증 가능성과 보안을 향상시킵니다.