Aptos luncurkan verifikasi formal AI untuk kontrak Move dinamis, tingkatkan kepercayaan pasar smart contract.

Aptos menjadi blockchain Layer-1 pertama yang mendukung verifikasi formal berbasis AI untuk kontrak pintar Move yang dijadwalkan secara dinamis menggunakan alat Move Prover. Teknologi ini membuktikan perilaku kontrak secara matematis, berperan sebagai "oracle" on-chain untuk memastikan kepercayaan antara pasar dan sistem perdagangan berbasis AI. Pembaruan ini bagian dari inisiatif senilai $50 juta untuk memperkuat pasar berbasis AI dan infrastruktur keuangan on-chain, dengan tujuan menciptakan lingkungan perdagangan yang aman dan ramah institusi. Aptos menekankan bahwa bahasa kontrak pintar Move mereka secara unik mengintegrasikan verifikasi formal asli, kini diperluas untuk mendukung fungsi dispatch dinamis yang kompleks, meningkatkan keandalan kontrak di tengah otomatisasi AI.