Co-founder Ethereum Vitalik Buterin mengatakan AI tidak menandakan akhir dari keamanan siber, melainkan berpendapat bahwa model canggih dapat membantu membuat perangkat lunak kripto lebih sulit ditembus.

Dalam sebuah postingan pada hari Rabu di X, Buterin berpendapat bahwa AI tidak akan memberikan keuntungan yang tidak dapat diatasi kepada peretas, menambahkan bahwa pemegang kripto—termasuk dirinya sendiri, dengan sekitar 90% kekayaan bersihnya dalam kripto—bertaruh bahwa pertahanan keamanan dapat mengimbangi.

“Semakin banyak pandangan umum bahwa peretasan AI berarti keamanan siber akan hancur,” tulis Buterin. “Saya tidak setuju. Saya pikir keamanan siber secara alami lebih menguntungkan pertahanan setelah orang-orang berbenah diri.”

Buterin berpendapat bahwa AI dapat membuat verifikasi formal—penggunaan bukti matematika untuk menetapkan bahwa perangkat lunak aman—menjadi praktis bahkan untuk sistem yang kompleks.

“Jika AI dapat membuktikan Navier-Stokes dan FLT, maka AI dapat membuktikan pernyataan ‘program ini aman’ sebagai teorema matematika,” tulisnya. “Meskipun programnya sangat rumit.”

Dengan kata lain, Buterin percaya bahwa AI yang cukup canggih untuk memecahkan masalah matematika yang terkenal sulit juga dapat membuktikan bahwa perangkat lunak yang rumit sekalipun memenuhi persyaratan keamanan yang didefinisikan dengan jelas.

Namun, itu tidak berarti keamanan itu mudah, katanya. Bagian yang sulit adalah mendefinisikan apa arti “aman” itu sendiri.

Pengembang blockchain semakin banyak menggunakan agen AI untuk memindai kode, menguji eksploit, dan memverifikasi bug sebelum penyerang dapat bertindak, dengan peneliti menemukan kerentanan baik dalam infrastruktur Ethereum maupun perangkat lunak Bitcoin.

Para pengembang di seluruh ruang kripto menggunakan AI secara defensif menyusul beberapa insiden yang memicu kekhawatiran bahwa AI memberikan keuntungan kepada penyerang.

Pada bulan Mei, peneliti keamanan Taylor Hornby menggunakan Claude Opus 4.8 milik Anthropic untuk mengungkap kelemahan berusia empat tahun di privasi pool Orchard Zcash yang bisa saja memungkinkan pemalsuan ZEC tanpa batas dan tidak terdeteksi, meskipun para pengembang tidak menemukan bukti bahwa itu telah dieksploitasi sebelum mereka menambalnya pada bulan Juni.

Perlombaan antara penyerang dan pembela dipercepat pada bulan Juli, ketika peneliti Ethereum Foundation mengatakan agen AI telah menemukan kerentanan dalam infrastruktur jaringan penting. Pada bulan yang sama, penyerang mulai menguras dompet Coldcard melalui kelemahan firmware berusia bertahun-tahun yang melemahkan pembuatan seed, akhirnya mencuri sekitar $130 juta dalam Bitcoin. Pembuat Coldcard, Coinkite, mengatakan AI kemungkinan membantu mengidentifikasi bug tersebut.

Pada bulan Agustus, ancaman telah menyebar ke seluruh ekosistem perangkat lunak Bitcoin. Boltz menangguhkan layanan swap-nya, mengatakan penyerang yang dicurigai menemukan kelemahan lebih cepat daripada yang bisa diperbaiki oleh pengembangnya, sementara Core Lightning mengkonfirmasi bahwa beberapa kerentanan yang teridentifikasi dalam laporan yang dihasilkan AI adalah asli. Sebagai tanggapan, Tim Merah Bitcoin sukarelawan menggunakan audit berbantuan AI untuk menandai 4.962 potensi kerentanan di 390 proyek.

Buterin mengatakan AI sekarang dapat memverifikasi seluruh program daripada memilih komponen, sebuah pendekatan yang akan dikejar Ethereum selama beberapa tahun ke depan.

“Tidak ada masa depan untuk blockchain—terutama blockchain dengan skalabilitas dan privasi—tanpa melakukan ini,” katanya. “Kita perlu membuat perangkat lunak benar-benar aman. Dan kita sudah membuat banyak kemajuan.”