Ko-pendiri Ethereum, Vitalik Buterin, tidak sependapat dengan kekhawatiran yang terus tumbuh bahwa peretas berbasis kecerdasan buatan atau AI akan membuat keamanan siber semakin sulit dijaga. Dalam sebuah unggahan terbaru, ia menyatakan tidak setuju dengan anggapan bahwa AI hacker berarti “keamanan siber sudah tamat”. Menurutnya, keamanan justru bisa secara alami berpihak pada perlindungan begitu orang membangun sistem yang tepat dan menggunakan alat verifikasi yang lebih kuat.
Pandangan Buterin soal AI Hacker
Buterin memberikan contoh sederhana yang melibatkan kecerdasan buatan canggih dan matematika. Ia mengatakan, “Jika AI dapat membuktikan Navier-Stokes dan FLT, maka AI dapat membuktikan pernyataan ‘program ini aman’ sebagai teorema matematika. Bahkan jika program itu sangat rumit.”
Namun, Buterin menekankan bahwa mendefinisikan apa arti “aman” sesungguhnya jauh lebih sulit daripada yang terdengar. Sebuah sistem dapat memiliki banyak kekhawatiran keamanan berbeda yang perlu dipertimbangkan. Definisi keamanan bisa menjadi sangat rinci. Definisi tersebut dapat mencakup bagaimana penyerang berpotensi mengganggu suatu sistem, bagaimana informasi bisa bocor, serta apa yang dapat terjadi jika bagian perangkat lunak atau perangkat keras yang berbeda gagal atau dikompromikan.
Karena itu, Buterin menilai membuat definisi yang lebih mudah dibaca manusia menjadi sangat penting. Ia menyebut hal ini mungkin sebagai satu-satunya “bahasa tingkat tinggi” yang benar-benar penting saat ini. Buterin tetap percaya bahwa untuk komponen yang kritis terhadap keamanan, definisi dapat menjadi permukaan serangan yang jauh lebih kecil dibandingkan implementasinya.
Memverifikasi apakah definisi tersebut sudah memadai juga bisa lebih mudah dikelola daripada memindai kode secara langsung. Menurutnya, alat yang lebih baik dapat membuat proses ini menjadi lebih praktis.
Ia bahkan melihat keuntungan dalam bekerja dengan definisi. Definisi bersifat aditif. Jika dua kelompok memiliki dua definisi yang berbeda, pengembang dapat membuktikan bahwa sebuah program memenuhi keduanya. Apabila kedua definisi tersebut tidak dapat dipenuhi secara bersamaan, konfliknya menjadi terisolasi dan berubah menjadi persoalan penting yang harus ditangani proyek tersebut.
Verifikasi Definisi hingga Seluruh Program
Kode tidak bekerja dengan cara seperti itu, menurut ko-pendiri Ethereum tersebut. Jika sebuah program tersusun dari berbagai bagian, satu bug pada salah satu bagian dapat mengompromikan keseluruhan program. Buterin mengakui bahwa pendekatan ini tidak bekerja sama baiknya untuk setiap jenis perangkat lunak. Dalam beberapa kasus, seperti komponen antarmuka pengguna, definisinya bisa hampir sebesar implementasinya.
Namun untuk banyak komponen kritis, ia menilai perbedaannya nyata. Ia secara khusus menyoroti protokol message-passing, sandbox, serta sistem kriptografi seperti SNARKs dan fully homomorphic encryption. Sebelumnya, pengembang sering hanya memverifikasi bagian kode yang mereka anggap kritis terhadap keamanan. Sisanya dibiarkan tanpa pemeriksaan. Meski hal itu dapat dimaklumi ketika verifikasi masih sulit dan langka, ia yakin AI modern mengubah situasinya.
Implikasi bagi Masa Depan Blockchain
Bagi Buterin, jawabannya karena itu bukan sekadar berharap bahwa “pihak baik” menemukan kerentanan sebelum “pihak jahat”. Strategi yang lebih penting adalah membuat kode jauh lebih tangguh sejak awal. Menurutnya, tidak ada masa depan bagi blockchain, terutama yang berfokus pada skalabilitas dan privasi, tanpa upaya semacam ini.
Pandangan tersebut menegaskan bahwa perdebatan soal AI dan keamanan siber tidak berhenti pada narasi perlombaan senjata antara penyerang dan pembela. Penekanan Buterin tertuju pada penguatan fondasi sistem, khususnya melalui definisi yang jelas dan alat verifikasi yang memadai, sebagai bekal menghadapi ancaman yang semakin canggih di masa depan.
