NEAR AI Memajukan Verifikasi Formal untuk Kontrak Inti
NEAR AI berupaya membuat verifikasi formal lebih mudah diakses, dengan fokus awal pada NEAR Protocol dan smart contract intinya. Verifikasi formal menggunakan bukti matematika untuk memeriksa apakah perangkat lunak memenuhi aturan yang telah ditetapkan. Metode ini melengkapi pengujian dan peninjauan kode, tetapi tidak dapat menjamin keamanan sepenuhnya.
Upaya ini berlandaskan capaian NEAR AI yang dilaporkan meraih peringkat pertama berdasarkan jumlah soal yang berhasil diselesaikan di papan peringkat Lean Eval v1. Di PutnamBench, sistemnya menyelesaikan 672 soal Lean. Biaya yang dilaporkan sekitar $0,17 per soal, sementara repositori mencantumkan biaya model sebesar $111,85 untuk pengajuan tersebut. NEAR mengingatkan bahwa hasil benchmark tidak mencerminkan keseluruhan biaya atau upaya yang diperlukan untuk memverifikasi perangkat lunak produksi.
Penerapan verifikasi formal pada kontrak yang sudah digunakan tetap memerlukan model yang akurat, properti yang didefinisikan dengan jelas, serta bukti yang sesuai dengan implementasi. Jaminan hanya mencakup properti dan asumsi yang diperiksa. Karena itu, verifikasi formal harus berjalan berdampingan dengan pengujian, peninjauan kode, dan keamanan operasional. Inisiatif ini mencerminkan minat yang lebih luas terhadap pembuktian berbantuan AI, termasuk upaya yang dibahas oleh Aptos Labs dan salah satu pendiri Ethereum, Vitalik Buterin. Bagi trader NEAR, ini merupakan potensi perkembangan keamanan jangka panjang, bukan pengumuman penerapan atau katalis langsung bagi token.
Neutral
Berita ini bersifat netral bagi harga NEAR dalam waktu dekat. Berita ini melaporkan riset dan hasil benchmark, bukan penerapan langsung, perubahan protokol, keputusan pendanaan, atau perubahan langsung pada permintaan token. Trader mungkin memandang hasil tersebut sebagai sinyal positif bagi ambisi NEAR di bidang keamanan, tetapi catatan mengenai biaya produksi dan keterbatasan verifikasi membuat reaksi harga langsung menjadi kurang mungkin.
Dalam jangka panjang, verifikasi formal yang lebih mudah diakses dapat memperkuat kepercayaan terhadap protokol NEAR dan ekosistem kontrak pintarnya jika berhasil diterapkan dalam praktik. Hal itu dapat mendukung sentimen dan adopsi jaringan, tetapi ringkasan tersebut tidak membuktikan bahwa penerapan telah dilakukan ataupun mengukur dampaknya terhadap penggunaan atau pendapatan. Seperti pengumuman keamanan dan riset serupa, dampak pasar kemungkinan bergantung pada tindak lanjut dan kondisi pasar yang lebih luas; informasi saat ini tidak cukup untuk menggolongkannya sebagai bullish maupun bearish.