Vitalik Buterin, salah satu pendiri Ethereum, baru-baru ini berbagi prediksi teknologi yang menarik: pernyataan seperti "kerentanan tidak dapat dihindari, kode pasti mengandung Bug" mungkin tidak lagi relevan di dekade 2030-an.
Pendapatnya sangat realistis—memang saat ini banyak perangkat lunak yang memiliki kerentanan, tetapi ini bukan karena teknologi tidak mampu, melainkan karena dalam banyak situasi, iterasi cepat dan penyempurnaan fungsi lebih penting daripada mengejar kesempurnaan kode secara mutlak. Perusahaan dan pengembang seringkali harus membuat kompromi di antara keduanya.
Tapi bagaimana jika suatu saat benar-benar membutuhkan kode tanpa kerentanan? Vitalik percaya bahwa di masa depan, teknologi akan cukup maju untuk mewujudkannya. Ini sangat penting bagi ekosistem Web3—smart contract yang melibatkan keamanan dana, di mana keandalan kode yang mutlak bukan lagi kemewahan, melainkan kebutuhan mendesak.
Dari verifikasi formal hingga audit berbantuan AI, dari optimisasi compiler hingga perlindungan saat runtime, bidang blockchain sedang mengumpulkan berbagai alat teknologi tersebut. Mungkin di dekade 2030-an, kita benar-benar akan melihat titik keseimbangan antara keamanan dan fungsi yang didefinisikan ulang.
Lihat Asli
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
9 Suka
Hadiah
9
5
Posting ulang
Bagikan
Komentar
0/400
WhaleWatcher
· 17jam yang lalu
V哥 ide ini cukup optimis, tapi kenyataannya... 10 tahun lagi sampai 2030, kontrak yang ada tetap saja jadi sasaran penipuan
Berharap verifikasi formal bisa menyelamatkan dunia? Bagus omongannya, siapa yang bayar biaya audit
Kode tanpa celah? Haha, pertama-tama buat Ethereum sendiri stabil dulu baru bicara
Teori ini sudah sering didengar, kecepatan kemajuan teknologi tidak pernah bisa mengimbangi kreativitas hacker
Visi yang cukup menarik, tapi saya tetap tidak percaya
Lihat AsliBalas0
OnlyOnMainnet
· 17jam yang lalu
V神又开始画饼了,kode tanpa bug? Bicara dengan santai, mungkin sampai tahun 2030 masih harus memperbaiki juga
Eh tunggu, verifikasi formal ini sudah ada sejak lama, kok baru sekarang bilang mau pakai...
Saya sudah berinvestasi di dana kompensasi bug kontrak pintar, tapi masih menunggu hasilnya
Bro, jangan terlalu percaya dengan prediksi ini, ramalan sepuluh tahun terakhir semuanya meleset
Tanpa celah adalah impian, punya uang untuk memperbaiki bug itulah kenyataan
Mengeluh tentang mimpi tanpa bug selama bertahun-tahun, apakah benar-benar bisa terwujud pada tahun 2030? Saya rasa masih meragukan
Vitalik lagi-lagi membuat janji, tapi kali ini benar-benar tidak berlebihan
Verifikasi formal terdengar keren, tapi kenyataannya hanya membakar uang dan tenaga manusia
Jika smart contract masih bisa gagal, itu benar-benar sudah terlalu muak
Apa kabar audit AI yang dijanjikan, tetap harus mengandalkan review manusia
Tahun 2030? Saat itu bahkan sudah beberapa generasi mata uang baru yang dibuat, mungkin masih terlalu awal untuk mengatakan ini
Smart contract tanpa bug? Mimpi saja, selalu ada celah yang belum ditemukan oleh hacker
Keamanan blockchain pada akhirnya tetap soal kepercayaan
Lihat AsliBalas0
Fren_Not_Food
· 17jam yang lalu
vitalik又在放卫星了哈哈,2030年零bug代码...听听就算了
shit happens but make it formalized verification
smart contract一个bug就是几百万美元没了,这点他说对了
形式化验证听起来牛逼但真的能用上生产环境?我打赌还是一堆theoretical bs
与其零bug不如零rug pull,有没有
Vitalik Buterin, salah satu pendiri Ethereum, baru-baru ini berbagi prediksi teknologi yang menarik: pernyataan seperti "kerentanan tidak dapat dihindari, kode pasti mengandung Bug" mungkin tidak lagi relevan di dekade 2030-an.
Pendapatnya sangat realistis—memang saat ini banyak perangkat lunak yang memiliki kerentanan, tetapi ini bukan karena teknologi tidak mampu, melainkan karena dalam banyak situasi, iterasi cepat dan penyempurnaan fungsi lebih penting daripada mengejar kesempurnaan kode secara mutlak. Perusahaan dan pengembang seringkali harus membuat kompromi di antara keduanya.
Tapi bagaimana jika suatu saat benar-benar membutuhkan kode tanpa kerentanan? Vitalik percaya bahwa di masa depan, teknologi akan cukup maju untuk mewujudkannya. Ini sangat penting bagi ekosistem Web3—smart contract yang melibatkan keamanan dana, di mana keandalan kode yang mutlak bukan lagi kemewahan, melainkan kebutuhan mendesak.
Dari verifikasi formal hingga audit berbantuan AI, dari optimisasi compiler hingga perlindungan saat runtime, bidang blockchain sedang mengumpulkan berbagai alat teknologi tersebut. Mungkin di dekade 2030-an, kita benar-benar akan melihat titik keseimbangan antara keamanan dan fungsi yang didefinisikan ulang.