VITALIK BUTERIN: AI BISA MENDORONG KEAMANAN BLOCKCHAIN KE PENDEKATAN YANG BERBEDA
Vitalik Buterin menolak pandangan bahwa peretas berdaya AI akan menyebabkan keamanan siber runtuh. Menurut PANews, ia berpendapat bahwa fokusnya seharusnya membangun sistem yang tahan terhadap serangan dan dapat diverifikasi, bukan berlomba menemukan celah.
Buterin membandingkannya dengan matematika: jika AI bisa membuktikan persamaan Navier-Stokes dan Teorema Terakhir Fermat, maka pada prinsipnya AI juga bisa membuktikan sebuah program aman seperti sebuah teorema.
Ia mencatat bahwa “keamanan” mencakup pemalsuan, serangan replay, kompromi server, kebocoran kunci, serta serangan side-channel. Cakupan ini masih lebih kecil dibanding permukaan serang kode sumber dan mungkin lebih mudah untuk diverifikasi.
Buterin mengatakan upaya sebelumnya untuk memverifikasi hanya sebagian dari sistem keamanan telah gagal. Dengan AI, seluruh program perlu diverifikasi, termasuk basis data, jaringan, cache, dan komponen lainnya.
Ia tidak melihat ini sekadar sebagai perlombaan antara aktor baik dan aktor jahat. Tujuannya adalah kode yang lebih tahan serangan, dan Buterin mengatakan ini akan menjadi bagian dari pengembangan Ethereum.
Pandangan ini penting karena banyak perangkat lunak blockchain dan lapisan infrastruktur saling berinteraksi. Buterin mengatakan bahwa tanpa verifikasi yang kuat, blockchain yang menggabungkan skalabilitas dan privasi akan kesulitan dalam jangka panjang.
Buterin juga mengatakan bahwa ia terus memegang kripto, sekitar 90% dari nilai kekayaan bersihnya, sebagai taruhan untuk meningkatkan keamanan melalui desain dan verifikasi.
AI sedang meningkatkan kemampuan ofensif, tetapi argumen Buterin menggeser pertanyaan dari “siapa yang menemukan bug pertama?” menjadi “seberapa baik sebuah sistem bisa membuktikan bahwa sistem itu aman?”
Apakah verifikasi seluruh program bisa menjadi standar keamanan baru untuk Ethereum dan blockchain yang menggabungkan skalabilitas dengan privasi?
Harap lakukan riset sendiri dengan saksama sebelum melakukan transaksi apa pun (DYOR). $ETH $SOL $ZEC
Vitalik Buterin menolak pandangan bahwa peretas berdaya AI akan menyebabkan keamanan siber runtuh. Menurut PANews, ia berpendapat bahwa fokusnya seharusnya membangun sistem yang tahan terhadap serangan dan dapat diverifikasi, bukan berlomba menemukan celah.
Buterin membandingkannya dengan matematika: jika AI bisa membuktikan persamaan Navier-Stokes dan Teorema Terakhir Fermat, maka pada prinsipnya AI juga bisa membuktikan sebuah program aman seperti sebuah teorema.
Ia mencatat bahwa “keamanan” mencakup pemalsuan, serangan replay, kompromi server, kebocoran kunci, serta serangan side-channel. Cakupan ini masih lebih kecil dibanding permukaan serang kode sumber dan mungkin lebih mudah untuk diverifikasi.
Buterin mengatakan upaya sebelumnya untuk memverifikasi hanya sebagian dari sistem keamanan telah gagal. Dengan AI, seluruh program perlu diverifikasi, termasuk basis data, jaringan, cache, dan komponen lainnya.
Ia tidak melihat ini sekadar sebagai perlombaan antara aktor baik dan aktor jahat. Tujuannya adalah kode yang lebih tahan serangan, dan Buterin mengatakan ini akan menjadi bagian dari pengembangan Ethereum.
Pandangan ini penting karena banyak perangkat lunak blockchain dan lapisan infrastruktur saling berinteraksi. Buterin mengatakan bahwa tanpa verifikasi yang kuat, blockchain yang menggabungkan skalabilitas dan privasi akan kesulitan dalam jangka panjang.
Buterin juga mengatakan bahwa ia terus memegang kripto, sekitar 90% dari nilai kekayaan bersihnya, sebagai taruhan untuk meningkatkan keamanan melalui desain dan verifikasi.
AI sedang meningkatkan kemampuan ofensif, tetapi argumen Buterin menggeser pertanyaan dari “siapa yang menemukan bug pertama?” menjadi “seberapa baik sebuah sistem bisa membuktikan bahwa sistem itu aman?”
Apakah verifikasi seluruh program bisa menjadi standar keamanan baru untuk Ethereum dan blockchain yang menggabungkan skalabilitas dengan privasi?
Harap lakukan riset sendiri dengan saksama sebelum melakukan transaksi apa pun (DYOR). $ETH $SOL $ZEC
