Vitalik Buterin: Kode sumber tanpa bug dapat menjadi kenyataan pada dekade 2030

Vitalik Buterin berpendapat bahwa kode sumber yang benar-benar bebas dari kesalahan mungkin menjadi realistis pada dekade 2030, setidaknya untuk pengembang yang menempatkan keamanan sebagai prioritas utama. Pernyataan ini dia sampaikan setelah hard fork yang menuai kontroversi dari Gnosis Chain pada bulan 12/2024 untuk memulihkan 9,4 juta USD yang hilang dalam serangan Balancer.

Menanggapi kritik terkait sifat tidak berubah dari blockchain dan cara membangun smart contract, Buterin menekankan bahwa “verifikasi formal” tidak sama dengan “bukti tidak adanya kesalahan”. Dia berpendapat bahwa kode yang benar-benar bebas dari kesalahan mungkin tidak realistis, karena kesalahan berasal dari jarak antara niat manusia dan cara kode dieksekusi—sementara niat tersebut sangat kompleks dan sulit dipahami.

Namun demikian, Buterin percaya bahwa kesalahan dapat diminimalkan secara signifikan dengan menerapkan lapisan perlindungan seperti sistem tipe data yang kuat, verifikasi formal yang dipilih, mekanisme cadangan, dan pengujian yang ketat. Dengan pengembang yang memprioritaskan keamanan, masa depan “hampir tanpa kesalahan” sepenuhnya dapat dicapai.