Aptos Mengklaim Layer 1 Pertama yang Mendukung Penjadwalan Dinamis Verifikasi Formal
Menurut Aptos, blockchain tersebut telah menjadi Layer 1 pertama yang mendukung verifikasi formal penjadwalan dinamis, memungkinkan pembuktian matematis bahwa sistemnya beroperasi sesuai rancangan. Aptos menyatakan bahwa spesifikasi yang dihasilkan oleh AI, dipadukan dengan Move Prover sebagai mekanisme oracle, menciptakan lapisan kepercayaan antara pelaku pasar dan protokol.
GateNews·42menit yang lalu

