NEAR联创: Kecepatan peretasan berbantuan AI kini melampaui peninjauan kode tradisional

PANews, 21 Juli, menurut The Block, NEAR Protocol mengungkapkan melalui pendiri bersama Illia Polosukhin bahwa AI sangat mempercepat kemampuan peretas dalam menemukan celah perangkat lunak, sementara model code review tradisional sudah tidak mampu mengimbangi. Ia menilai bahwa peristiwa Balancer pada Oktober tahun lalu menjadi awal serangan yang dibantu AI, dan model lama yang mengandalkan peninjauan manual sudah tidak berkelanjutan di era AI.

Polosukhin mendorong penggunaan verifikasi formal, melalui pembuktian matematis untuk memastikan perilaku kode sepenuhnya sesuai dengan spesifikasi. Ia mengatakan AI dapat menghasilkan sebagian besar bukti, lalu diverifikasi kebenarannya oleh manusia, sehingga secara signifikan memangkas waktu pembuatan bukti. Ia berpendapat verifikasi formal harus diperluas tidak hanya di luar smart contract, tetapi juga mencakup perangkat lunak internet dan jaringan yang krusial. Pada hari yang sama, NEAR merilis pembaruan, di mana pengguna dapat beralih ke kunci akun tahan kuantum, dan jaringan dapat secara otomatis memperluas kapasitas seiring aktivitas meningkat.