Vitalik Meramalkan Kode Bebas Bug Akan Menjadi Kenyataan di Tahun 2030-an

Sumber: CoinEdition Judul Asli: Vitalik Prediksi Bahwa Kode Bebas Bug Akan Tersedia di Tahun 2030-an Tautan Asli: https://coinedition.com/vitalik-predicts-that-bug-free-code-will-be-available-in-the-2030s/

Kontrak Pintar dan Sistem Kritikal Keamanan

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

Menurut c-node, seorang pengembang zk, banyak logika aplikasi mungkin tidak termasuk dalam kontrak pintar yang tak berujung dapat diubah. Dia berpendapat bahwa hanya sejumlah kontrak terbatas yang membenarkan keberadaan jangka panjang dan bahwa komponen-komponen ini dapat memperoleh manfaat dari keamanan lapisan dasar dan keberagaman klien. Oleh karena itu, industri mungkin perlu mempertimbangkan kembali apakah mesin virtual tujuan umum adalah cara paling aman untuk menambahkan fungsi secara skala besar.

Hanya ada 7 kontrak yang layak ditulis, dan mereka sebaiknya diabadikan di lapisan dasar dan mendapatkan keamanan dari keberagaman klien.

Mengapa Bug Tetap Ada dalam Perangkat Lunak Kritikal

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

Mencatat prediksi: “bug adalah tak terelakkan, Anda tidak bisa membuat kode bebas bug” akan berhenti menjadi benar di tahun 2030-an (banyak perangkat lunak akan terus memiliki bug karena dalam kasus penggunaannya, keuntungan fungsi lebih penting, tetapi jika Anda menginginkan kode bebas bug Anda akan memilikinya)

Beberapa kekuatan mendorong perubahan ini. Bahasa pemrograman sekarang menyematkan sistem tipe yang lebih kuat dan aturan memori yang lebih ketat. Selain itu, metode audit telah meningkat melalui otomatisasi dan pengujian adversarial.

Selain itu, alat verifikasi formal semakin membuktikan kebenaran daripada mengasumsikannya. Oleh karena itu, kode kritikal keamanan perlahan menjadi dapat dibuktikan kebenarannya daripada hanya berharap.

Menurut penelitian oleh Buterin, tingkat cacat sudah menurun tajam di bawah kondisi rekayasa ekstrem. Pada tahun 1990, sebuah program kritikal keamanan sepanjang 1.000 baris kemungkinan besar dikirim dengan delapan hingga sepuluh bug laten. Pada tahun 2000, tim disiplin mengurangi jumlah tersebut menjadi empat. Oleh karena itu, pada tahun 2010, upaya elit mendorong cacat mendekati 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 tersebut memerlukan tinjauan ekstensif dan validasi matematis.

Buterin menjelaskan asumsi tersebut saat membahas hasil modern. Dia menyatakan, “itu dengan asumsi upaya tingkat tertinggi yang ekstrem dalam verifikasi 1000 baris tersebut, langkah berikutnya adalah agar batas itu turun”.

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