Aptos trở thành L1 đầu tiên hỗ trợ xác minh hình thức phân phối động

Foresight News đưa tin, Aptos đã đăng tweet cho biết Aptos trở thành L1 đầu tiên thực hiện xác minh hình thức (formal verification) phương thức dynamic dispatch, có thể chứng minh bằng toán học rằng nó hoạt động đúng theo thiết kế. Aptos cho biết, AI đảm nhiệm việc viết đặc tả, Move Prover chứng minh tính đúng đắn thông qua phương pháp toán học. Điều này cung cấp lớp nền tảng tin cậy cho thị trường và máy móc. Ngoài ra, Move là ngôn ngữ hợp đồng thông minh duy nhất tích hợp xác minh hình thức nguyên bản, hiện đã mở rộng hỗ trợ cho dynamic dispatch.