Aptos: jaringan L1 pertama yang mendukung kontrak penjadwalan dinamis berbasis AI

Berita dari CoinWorld, Aptos mengumumkan bahwa jaringannya menjadi jaringan L1 pertama yang mendukung kontrak penjadwalan dinamis berbantuan AI, dengan menyebut Move Prover-nya dapat berfungsi sebagai “orakel” antara pasar dan agen mesin. Aptos menekankan bahwa tumpukan kontrak pintar Move-nya dapat dibuktikan secara matematis bahwa perilakunya sesuai dengan desain, bahkan jika kontrak menggunakan fungsi tingkat tinggi dan penjadwalan dinamis. Aptos Labs menyatakan di media sosial bahwa AI menulis spesifikasi, membuktikan kebenarannya secara matematis, dan Move Prover berfungsi sebagai lapisan kepercayaan, memastikan kepercayaan antara pasar dan mesin. Tim tersebut juga menunjukkan bahwa Move adalah satu-satunya bahasa kontrak pintar yang terintegrasi dengan verifikasi bentuk asli, dan telah memperluas dukungan untuk penjadwalan dinamis. Berdasarkan dokumen Move Prover dari Aptos, validator telah digunakan di tingkat protokol untuk memverifikasi logika inti, termasuk staking, pengukuran, penyebaran kode, dan mendukung struktur data. Penelitian terbaru menunjukkan bahwa penjadwalan dinamis secara signifikan meningkatkan kompleksitas ruang status, yang menuntut insinyur Aptos untuk merancang ulang kondisi verifikasi dan metode pemeriksaan. Kemajuan verifikasi berbantuan AI ini disertai dengan rencana pendanaan Aptos sebesar 50 juta dolar AS, yang bertujuan mendukung pasar on-chain dan sistem AI.