Kecerdasan buatan mempercepat kemampuan peretas untuk menemukan kerentanan perangkat lunak lebih cepat daripada keamanan tradisional dapat menambalnya, menurut salah satu pendiri NEAR Protocol, Illia Polosukhin, yang berpendapat bahwa pengembang harus beralih ke pembuktian matematis untuk mengamankan kode mereka.

"Saya sebenarnya akan mengatakan Oktober lalu — saya pikir Balancer adalah yang pertama — saat itulah peretasan yang dibantu AI dimulai," kata Polosukhin pada hari Senin dalam sebuah wawancara dengan Gareth Jenkinson di podcast The Starting Block milik The Block.

Polosukhin mengatakan bahwa keamanan siber sampai saat ini sebagian besar melibatkan "orang pintar" yang meninjau kode dan berharap tidak ada orang yang lebih pintar menemukan sesuatu yang mereka lewatkan. Pola pikir itu sudah tidak sempurna sebelum munculnya AI, katanya, tetapi model-model baru yang lebih mumpuni membuatnya semakin tidak berkelanjutan.

"Kita membutuhkan cara berpikir yang berbeda," kata Polosukhin. "Bukan seperti, 'Oh, kita akan meninjau semuanya dengan model yang lebih baik dan berharap model yang lebih baik berikutnya tidak akan menemukannya.'"

Solusi yang diusulkannya adalah verifikasi formal yang secara matematis membuktikan bahwa kode "melakukan apa yang dikatakannya". Proses ini secara historis mahal, lambat, dan padat karya, tetapi Polosukhin mengatakan AI sekarang dapat membantu menghasilkan sebagian besar bukti yang diperlukan, yang kemudian dapat diperiksa secara independen.

"Anda tidak perlu bergantung pada AI karena AI hanya menghasilkan bukti," katanya. "Anda hanya memverifikasi bahwa bukti itu benar."

Inisiatif Zcash baru-baru ini adalah contoh dari apa yang dijelaskan Polosukhin. Project Tachyon menggunakan verifikasi yang dibantu AI untuk menghasilkan bukti matematis bahwa shielded pool Ironwood milik Zcash tidak dapat mengandung jenis bug pemalsuan yang tidak terdeteksi yang ditemukan di pool Orchard bulan lalu.

Project Tachyon mengatakan bahwa kemajuan dalam pembuatan bukti yang dibantu AI telah mengurangi pekerjaan yang dulunya memakan waktu bertahun-tahun menjadi hanya beberapa minggu. 

Polosukhin juga berpendapat bahwa pendekatan ini pada akhirnya harus melampaui smart contract ke perangkat lunak internet dan jaringan yang kritis.

"Kita perlu secara fundamental beralih ke pembangunan kode blockchain — dan sejujurnya, semua kode di internet — agar diverifikasi secara formal," katanya.

Secara terpisah pada hari Senin, NEAR meluncurkan peningkatan yang bertujuan untuk mempersiapkan jaringan menghadapi tuntutan keamanan dan skalabilitas yang muncul. Pengguna sekarang dapat beralih ke kunci akun yang tahan kuantum, sementara jaringan dapat secara otomatis memperluas kapasitasnya seiring dengan pertumbuhan aktivitas.