Aptos đã công bố rằng họ là blockchain Layer 1 đầu tiên hỗ trợ xác minh chính thức cho dynamic dispatch, cho phép các cơ chế được xác minh bằng toán học để đảm bảo hoạt động chính xác. Tiến bộ này giúp các nhà phát triển sử dụng AI để viết các đặc tả và sử dụng Move Prover để xác minh logic hợp đồng thông minh, nâng cao khả năng xác minh và bảo mật của các chương trình trên chuỗi.