Pendiri NEAR Mendorong Verifikasi Formal untuk Melawan Peretasan yang Dibantu AI

Pendiri NEAR Protocol, Illia Polosukhin, menekankan perlunya verifikasi formal untuk mengamankan kode blockchain dari peretasan AI. Ia mencatat bahwa AI telah mempercepat penemuan kerentanan perangkat lunak, melampaui langkah-langkah keamanan tradisional. Polosukhin menyoroti bahwa keamanan siber telah bergantung pada tinjauan kode manusia, yang semakin tidak memadai karena model AI yang canggih. Ia mengusulkan agar para pengembang mengadopsi bukti matematis untuk memastikan integritas kode, dengan menyatakan bahwa AI kini dapat membantu dalam menghasilkan bukti ini, secara signifikan mengurangi waktu yang diperlukan dari bertahun-tahun menjadi beberapa minggu. Salah satu contohnya adalah Proyek Tachyon, yang memanfaatkan verifikasi yang dibantu AI untuk memastikan bahwa kolam terlindungi Ironwood Zcash bebas dari bug pemalsuan yang ditemukan di kolam Orchard-nya. Polosukhin menyerukan pergeseran menuju verifikasi formal untuk semua kode internet, bukan hanya kontrak pintar. Selain itu, NEAR meluncurkan pembaruan untuk meningkatkan keamanan dan skalabilitas jaringan, memungkinkan pengguna untuk mengadopsi kunci akun yang tahan kuantum.

Konten ini disediakan hanya untuk tujuan informasi umum dan bukan merupakan nasihat keuangan, investasi, hukum, atau pajak. Setiap acara, reward, promosi online, atau informasi terkait yang disebutkan di sini tidak boleh dianggap sebagai rekomendasi, ajakan, atau undangan untuk membeli, menjual, memperdagangkan, atau melakukan transaksi aset kripto apa pun. Aset kripto sangat fluktuatif dan dapat mengakibatkan kerugian. Ketersediaan layanan, produk, dan acara terkait WEEX dapat berbeda-beda di setiap wilayah. Anda bertanggung jawab untuk memastikan bahwa partisipasi Anda sesuai dengan hukum dan peraturan setempat yang berlaku.