Vitalik Buterin Menyatakan Dukungan untuk Verifikasi Berbantuan AI dalam Sistem Kripto

• Vitalik Buterin menawarkan pendapatnya tentang sistem verifikasi berbantuan AI yang muncul.
• Buterin mendukung ide baru ini, mencatat itu dapat membuat sistem kripto lebih aman.
• Dia menyoroti kekhawatiran ketika penyerang menggunakan protokol AI tersebut untuk mengidentifikasi kelemahan dengan cepat.

Salah satu pendiri Ethereum Vitalik Buterin percaya verifikasi berbantuan AI dapat meningkatkan keamanan sistem cryptocurrency. Oleh karena itu, kemungkinan memiliki pencari bug berbantuan AI di industri ini.

Vitalik Buterin Mendukung Verifikasi Berbantuan AI

Pernyataan terbaru Buterin menimbulkan kekhawatiran baru tentang masa depan keamanan perangkat lunak, mengingat pengajuannya bahwa kecerdasan buatan meningkatkan alat penemuan bug. Menurut Buterin, AI dapat mengekspos kelemahan serius dalam blockchain, sistem kriptografi, dan aplikasi terdesentralisasi, kecuali pengembang mengadopsi metode verifikasi yang lebih kuat.

Perlu dicatat bahwa komentar Buterin tiba pada momen penting dalam industri teknologi, ketika propagasi AI mendapatkan momentum yang signifikan, dengan industri berlomba untuk mengintegrasikan AI ke dalam pengembangan perangkat lunak. Sementara itu, peneliti keamanan siber percaya AI canggih dapat mengidentifikasi kerentanan lebih cepat daripada insinyur manusia yang dapat memperbaikinya.

Lapisan Pertahanan Kritis Potensial

Mengikuti perkembangan saat ini, Buterin percaya verifikasi formal dapat menjadi lapisan pertahanan penting untuk sistem infrastruktur digital, termasuk Ethereum. Menurutnya, verifikasi formal adalah cara untuk menguji perangkat lunak secara matematis sebelum peretas dapat mengeksploitasi kelemahannya.

Saat ini, pengembang mengintegrasikan alat seperti Lean AI, menggunakannya untuk mengonfirmasi bagaimana program berperilaku dan untuk memastikan keandalan. Proses semacam itu dapat membantu komputer mendeteksi kesalahan pengkodean yang tidak terlihat oleh mata manusia. Misalnya, Lean AI berfokus pada amplifikasi daripada penggantian, menggunakan AI untuk membuat orang menjadi pemecah masalah yang lebih baik.

Buterin lebih lanjut mencatat bahwa para peneliti sekarang menggabungkan model AI dengan sistem verifikasi untuk menghasilkan kode yang lebih cepat dan lebih aman secara bersamaan. Dia menganggap ini sebagai pergeseran yang bisa menjadi semakin penting karena alat AI menghasilkan sejumlah besar perangkat lunak di seluruh industri teknologi.

Bentuk Akhir Pengembangan Perangkat Lunak

Secara signifikan, Buterin mengutip komentar Yoichi Hirai, terutama deskripsinya tentang pendekatan yang muncul sebagai “bentuk akhir dari pengembangan perangkat lunak.” Dia juga menyoroti pekerjaan keamanan Signal, di samping sistem enkripsi modern, mencatat bahwa para peneliti sudah menggunakan verifikasi formal untuk menguji protokol seperti enkripsi X3DH dan AES.

Sementara itu, Buterin mencatat bahwa alat AI yang semakin kuat berpotensi untuk mengekspos kelemahan di seluruh kontrak pintar dan platform keuangan terdesentralisasi jauh lebih cepat daripada yang dapat ditanggapi oleh pengembang. Menurutnya, penyerang yang menggunakan alat semacam itu mungkin akan segera memperoleh kemampuan untuk mengidentifikasi kelemahan perangkat lunak dalam hitungan menit, yang akan menjadi ancaman signifikan bagi industri blockchain.

Meskipun demikian, dia berpendapat menentang perangkat lunak sumber terbuka dan kontrak pintar menjadi terlalu berisiko untuk dipertahankan. Sebaliknya, dia percaya pengembang masih dapat menggunakan metode verifikasi yang lebih kuat, bahasa pemrograman yang lebih aman, dan standar desain perangkat lunak yang lebih ketat untuk mempertahankan sistem penting.

Terkait: Co-founder Ethereum Mendukung AI: Jangan Lewatkan Gelombang Hijau dalam Token Big Data