NEAR Co-Founder: Peretasan berbantuan AI mengungguli peninjauan kode tradisional

Co-founder NEAR Protocol Illia Polosukhin menyatakan pada hari Senin bahwa peretasan berbantuan AI dimulai pada Oktober lalu dan kini telah melampaui ulasan keamanan kode tradisional. Berbicara dalam sebuah wawancara di podcast The Block, The Starting Block, Polosukhin mengidentifikasi insiden Balancer sebagai contoh pertama dari tren ini. Ia mengaitkan percepatan tersebut dengan kemampuan model AI menemukan kerentanan perangkat lunak lebih cepat daripada peninjau manusia sempat memperbaikinya. Industri keamanan siber secara historis bergantung pada tinjauan kode manual, tetapi Polosukhin berargumen bahwa pendekatan ini menjadi tidak berkelanjutan seiring alat AI terus berkembang.

Polosukhin Mengusulkan Formal Verification sebagai Solusi Keamanan

Polosukhin mendorong penggunaan formal verification yang secara matematis membuktikan kode “melakukan apa yang seharusnya dilakukan.” Ia mengatakan proses ini secara historis mahal, lambat, dan padat karya, tetapi kini AI dapat membantu menghasilkan sebagian besar bukti yang diperlukan, yang kemudian dapat diperiksa secara independen.

“Anda tidak perlu bergantung pada AI karena AI hanya menghasilkan buktinya,” kata Polosukhin. “Anda hanya perlu memverifikasi bahwa bukti tersebut benar.”

Ia berpendapat bahwa sejauh ini keamanan siber sebagian besar masih melibatkan “orang-orang pintar” yang meninjau kode dan berharap tidak ada orang yang lebih pintar menemukan sesuatu yang terlewat. “Kita perlu cara berpikir yang berbeda,” kata Polosukhin. “Ini bukan seperti, ‘Oh, kita akan meninjau semuanya dengan model yang lebih baik dan berharap bahwa model berikutnya yang lebih baik tidak akan menemukannya.’”

Polosukhin menyatakan pendekatan ini pada akhirnya harus melampaui smart contract menuju perangkat lunak internet dan jaringan yang kritis. “Kita perlu melakukan pergeseran mendasar untuk membangun kode blockchain — dan jujur saja, semua kode di internet — agar dapat diverifikasi secara formal,” katanya.

Proyek Zcash Tachyon Menunjukkan Generasi Bukti Berbantuan AI

Proyek Tachyon menggunakan verifikasi berbantuan AI untuk menghasilkan bukti matematis bahwa kolam shielded Ironwood milik Zcash tidak dapat memuat jenis bug pemalsuan yang tidak dapat dideteksi seperti yang ditemukan di kolam Orchard bulan lalu. Tachyon mengatakan bahwa kemajuan dalam generasi bukti berbantuan AI telah mengurangi pekerjaan yang dulu memakan waktu bertahun-tahun menjadi hitungan minggu.

NEAR Meluncurkan Upgrade Tahan Kuantum

NEAR meluncurkan upgrade pada hari Senin yang ditujukan untuk mempersiapkan jaringan menghadapi kebutuhan keamanan dan skalabilitas yang akan muncul. Pengguna kini dapat beralih ke kunci akun tahan kuantum, sementara jaringan dapat secara otomatis memperluas kapasitasnya seiring aktivitas meningkat.

FAQ

Apa yang dikatakan co-founder NEAR Protocol tentang peretasan berbantuan AI?

Illia Polosukhin menyatakan pada hari Senin bahwa peretasan berbantuan AI dimulai pada Oktober lalu dengan insiden Balancer dan kini telah melampaui ulasan keamanan kode tradisional. Ia mengatakan model AI dapat menemukan kerentanan perangkat lunak lebih cepat daripada peninjau manusia dapat memperbaikinya.

Bagaimana formal verification bekerja menurut Polosukhin?

Polosukhin mendeskripsikan formal verification sebagai proses yang secara matematis membuktikan kode “melakukan apa yang seharusnya dilakukan.” Ia mengatakan AI kini dapat membantu menghasilkan sebagian besar bukti yang diperlukan, yang kemudian dapat diperiksa secara independen tanpa bergantung pada AI itu sendiri.

Upgrade apa yang diumumkan NEAR?

NEAR meluncurkan upgrade pada hari Senin yang memungkinkan pengguna beralih ke kunci akun tahan kuantum dan memungkinkan jaringan secara otomatis memperluas kapasitasnya seiring aktivitas meningkat.