Pendiri Ethereum Vitalik Buterin Mengatakan Verifikasi AI Dapat Membantu Mengamankan Jaringan Crypto

📄Artikel lengkap· Diambil secara otomatis oleh trafilaturaGemini 翻譯4904 kata

Singkatnya - Vitalik Buterin mengatakan bahwa formal verification yang dibantu AI dapat membantu mengurangi kerentanan di Ethereum dan infrastruktur kripto lainnya. - Teknik ini menggunakan bukti matematis untuk memverifikasi bahwa perangkat lunak berperilaku sebagaimana mestinya. - Buterin berpendapat bahwa AI dapat memperkuat serangan siber sekaligus alat keamanan defensif. Salah satu pendiri Ethereum, Vitalik Buterin, mengatakan bahwa perangkat lunak yang diverifikasi secara matematis menjadi sangat penting untuk melindungi Ethereum dan industri mata uang kripto yang lebih luas dari serangan siber yang dibantu AI dan kerentanan perangkat lunak. Dalam sebuah posting blog yang diterbitkan pada hari Senin, Buterin berpendapat bahwa "formal verification" yang dibantu AI dapat membantu mengamankan jaringan blockchain, smart contract, dan sistem kriptografi terhadap kelemahan perangkat lunak yang dapat membuat pengguna mengalami kerugian finansial yang tidak dapat dipulihkan. "Jika dilakukan dengan benar, ini berpotensi menghasilkan kode yang sangat efisien, dan jauh lebih aman daripada cara pemrograman yang dilakukan sebelumnya," tulis Buterin, seraya mencatat bahwa pengembang Yoichi Hirai menyebutnya sebagai "bentuk akhir dari pengembangan perangkat lunak." Formal verification adalah cara untuk menguji secara matematis apakah perangkat lunak berperilaku dengan benar, dengan pendekatan yang berakar pada karya fundamental di tahun 1950-an dan 1960-an. Menurut Buterin, kemajuan terbaru dalam AI membuat teknik ini lebih praktis untuk rekayasa perangkat lunak dan penelitian keamanan. "Jika Anda melakukan formal verification secara end-to-end, maka Anda tidak hanya membuktikan bahwa deskripsi protokol tertentu aman secara teori, tetapi juga bahwa bagian kode spesifik yang dijalankan pengguna aman dalam praktiknya," tulisnya. "Dari perspektif pengguna, ini sangat meningkatkan trustlessness: Untuk sepenuhnya mempercayai kode tersebut, Anda tidak perlu memeriksa seluruh kode, Anda hanya perlu memeriksa pernyataan yang dibuktikan mengenainya." Postingan Buterin muncul di saat para peneliti dan pemerintah memperingatkan bahwa model AI canggih berkembang pesat dalam menemukan dan mengeksploitasi kerentanan perangkat lunak. Anthropic membatasi akses ke model Claude Mythos yang berfokus pada keamanan siber setelah pengujian menunjukkan bahwa sistem tersebut dapat secara otonom mengidentifikasi dan mengeksploitasi kelemahan perangkat lunak pada tingkat yang jauh melampaui model AI publik sebelumnya. Model ini telah menarik perhatian dari badan intelijen dan keamanan karena kemampuan tersebut. Pada bulan April, Claude Mythos milik Anthropic mengidentifikasi 271 kerentanan di Mozilla Firefox selama pengujian internal, sementara awal bulan ini, peneliti keamanan mengatakan versi pratinjau dari model tersebut membantu mengembangkan eksploitasi yang menargetkan perlindungan chip M5 Apple. Peneliti di U.K. AI Security Institute juga menemukan bahwa GPT-5.5 milik OpenAI telah menunjukkan kemampuan siber ofensif yang canggih. "Bug dalam kode komputer itu menakutkan," tulis Buterin. Bug yang tidak ditemukan bisa sangat merusak bagi proyek kripto, di mana kelemahan perangkat lunak dapat dieksploitasi untuk mencuri dana pengguna secara permanen dengan sedikit peluang untuk pemulihan. Pada bulan April, penyerang dari Lazarus Group yang didukung Korea Utara mampu menguras token senilai $292 juta dari infrastruktur Kelp DAO setelah "meracuni" RPC internal yang digunakan oleh LayerZero Labs. Secara keseluruhan, peretas yang disponsori negara Korea Utara diyakini telah mencuri mata uang kripto senilai lebih dari $6 miliar hingga saat ini. Buterin mengatakan formal verification juga dapat meningkatkan kepercayaan pada perangkat lunak yang dihasilkan AI dengan membuktikan bahwa kode tingkat rendah yang dioptimalkan cocok dengan implementasi referensi yang lebih mudah dibaca. "Bagian besar dari nilai tambah adalah bahwa pembuktiannya benar-benar end-to-end," tulis Buterin. "Seringkali, bug yang paling parah adalah bug interaksi yang berada di tepi dua sub-sistem yang dipertimbangkan secara terpisah." Namun, meskipun Buterin melihat potensi AI untuk membantu mengamankan kode jaringan kripto, ia memperingatkan bahwa formal verification tidak dapat sepenuhnya menghilangkan risiko keamanan. "Formal verification bukanlah obat mujarab. Tetapi ini sangat cocok untuk situasi di mana tujuannya jauh lebih sederhana daripada implementasinya," tulisnya. "Ini terutama berlaku pada beberapa bagian teknologi yang sangat sulit yang perlu kita terapkan dalam iterasi besar Ethereum berikutnya: quantum-resistant signatures, STARKs, consensus algorithms, dan ZK-EVMs." Buterin menolak gagasan bahwa serangan siber yang semakin canggih pada akhirnya akan membuat perangkat lunak open-source atau sistem terdesentralisasi mustahil untuk diamankan. "Ini akan menjadi masa depan yang suram bagi keamanan siber. Ini terutama merupakan masa depan

Status data✓ Teks lengkap telah diambilBaca artikel asli (Decrypt)

🔍Peristiwa serupa dalam sejarah· Pencocokan kata kunci + aset6 berita

2026-05-16

Mikronegara Liberland yang Dipimpin Justin Sun Menganugerahkan Penghargaan Tertinggi kepada Pendiri Ethereum, Vitalik Buterin

Tingkat kemiripan 430%標的 ETH關鍵字 ethereum/buterin/vitalik

2026-05-27

Vitalik Buterin Mendukung Fitur Kohaku Wallet yang Memberi Pengguna Ethereum Alamat Baru untuk Setiap Dapp

Tingkat kemiripan 380%標的 ETH關鍵字 ethereum/buterin/vitalik

2026-05-25

Vitalik Buterin Memberi Sinyal Peralihan ke 'Kapal yang Lebih Kecil' di Ethereum Foundation di Tengah Kepergian Karyawan

Tingkat kemiripan 380%標的 ETH關鍵字 ethereum/buterin/vitalik

2026-05-25