Vitalik memprediksi bahwa kode bebas bug akan tersedia di tahun 2030-an

• Hard fork mengekspos batasan kontrak pintar yang dapat diubah tanpa henti dalam sistem penting keselamatan.
• Hanya serangkaian kontrak inti yang sempit yang dapat membenarkan keamanan lapisan dasar dan keragaman klien.
• Verifikasi formal dan bahasa yang lebih aman bertujuan untuk membuat perangkat lunak penting terbukti benar.

Aplikasi yang dibangun sebagai kontrak pintar di dalam mesin virtual yang dapat diprogram terus mengekspos kelemahan struktural yang lebih dalam dalam desain blockchain. Tindakan operator baru-baru ini, termasuk hard fork untuk memulihkan dana setelah eksploitasi Balancer, mendorong kekhawatiran itu kembali menjadi fokus. Operator jaringan bertindak tegas, namun peristiwa tersebut memperkuat pertanyaan inti tentang bagaimana blockchain harus menambahkan fungsionalitas dengan aman.

Menurut c-node, pengembang zk, banyak logika aplikasi mungkin tidak termasuk dalam kontrak pintar yang dapat diubah tanpa henti. Dia berpendapat bahwa hanya serangkaian kontrak yang terbatas yang membenarkan keberadaan jangka panjang dan bahwa komponen ini dapat memperoleh manfaat dari keamanan lapisan dasar dan keragaman klien. Akibatnya, industri mungkin perlu mempertimbangkan kembali apakah mesin virtual tujuan umum adalah cara teraman untuk menambahkan fungsionalitas dalam skala besar.

Mengapa Bug Bertahan di Perangkat Lunak Penting

Bug tetap tak terelakkan hingga saat ini karena pengembang masih menukar keamanan dengan kecepatan dan fleksibilitas. Selain itu, kompleksitas perangkat lunak terus meningkat lebih cepat daripada kualitas verifikasi. Namun, Vitalik Buterin memperkirakan keseimbangan ini akan berubah seiring waktu. Dia memprediksi bahwa klaim bahwa serangga tidak dapat dihindari akan berhenti menjadi benar di tahun 2030-an.

Beberapa kekuatan mendorong pergeseran ini. Bahasa pemrograman sekarang menyematkan sistem tipe yang lebih kuat dan aturan memori yang lebih ketat. Selain itu, metode audit ditingkatkan melalui otomatisasi dan pengujian permusuhan.

Selain itu, alat verifikasi formal semakin membuktikan kebenaran daripada mengasumsikannya. Oleh karena itu, kode kritis keselamatan perlahan-lahan menjadi dapat dibuktikan alih-alih penuh harapan.

Menurut penelitian ChatGPT oleh Buterin, kepadatan cacat sudah menurun tajam dalam kondisi rekayasa yang ekstrem. Pada tahun 1990, program penting keselamatan 1.000 baris kemungkinan dikirim dengan delapan hingga sepuluh bug laten.

Pada tahun 2000, tim disiplin mengurangi jumlah itu menjadi empat. Akibatnya, pada tahun 2010, upaya elit mendorong cacat lebih dekat ke satu atau dua.

Kurva Biaya Verifikasi

Pada tahun 2020, tim yang menghabiskan satu juta dolar per 1.000 baris mencapai hampir nol cacat yang diketahui. Namun, hasil itu membutuhkan tinjauan menyeluruh dan validasi matematis.

Buterin mengklarifikasi asumsi tersebut ketika membahas hasil modern. Dia menyatakan, “itu mengasumsikan upaya tingkat atas yang ekstrem untuk memverifikasi 1000 baris itu, langkah selanjutnya adalah bar itu turun”.

Secara signifikan, keuntungan di masa depan tidak hanya bergantung pada pengeluaran lebih banyak uang. Mereka akan datang dari gagal bayar yang lebih baik. Bahasa akan mencegah seluruh kelas bug secara otomatis. Selain itu, sistem bukti akan terintegrasi langsung ke dalam alur kerja pengembangan.

Terkait: Vitalik Buterin menyebut Pasar Prediksi sebagai Penangkal Media Sosial