#以太坊 Melihat prediksi V神 ini, pikiran saya langsung melintas ke beberapa titik kunci selama bertahun-tahun ini. Masih ingat dengan insiden The DAO tahun 2016 kan, kontroversi hard fork itu masih diajarkan di buku teks sampai sekarang; kemudian berbagai kerentanan kontrak cerdas lainnya, setiap kali menjadi pelajaran berharga. Bertahun-tahun berlalu, dari iterasi bahasa Solidity, hingga alat verifikasi formal yang semakin matang, dan sekarang berbagai kerangka audit yang semakin lengkap, benar-benar bisa merasakan ekosistem yang berkembang ke arah yang lebih ketat dan teliti.
V神 mengatakan bahwa kode tanpa Bug di tahun 2030 menjadi mungkin, ini bukan sekadar khayalan. Pikirkan dengan seksama, dulu kita berpikir "blockchain harus desentralisasi, semakin banyak verifikasi semakin tidak perlu", sekarang? Semua orang mencari cara menggunakan matematika dan teknik rekayasa untuk menjamin keamanan. Dari idealisme awal "kode adalah hukum", hingga pendekatan pragmatis "kode harus diverifikasi", ini adalah peningkatan pemahaman.
Tapi yang penting adalah—kode tanpa Bug mungkin menjadi kenyataan, bukan berarti seluruh ekosistem akan mengadopsinya. Proyek yang mengejar iterasi cepat dan prioritas fungsi, akan selalu memilih untuk mentolerir keberadaan Bug. Mereka yang benar-benar bersedia menginvestasikan biaya untuk verifikasi formal, dan menulis ulang dengan bahasa yang lebih aman seperti Rust atau Move, tetap hanya sedikit. Sejarah mengajarkan bahwa teknologi bagus dan adopsi pasar tidak pernah berjalan sejajar. Jadi, nilai dari prediksi ini mungkin bukan pada kode yang benar-benar bebas Bug, melainkan pada infrastruktur penting dan kontrak keuangan inti yang akhirnya akan dipaksa untuk mengikuti jalan ini.
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.
#以太坊 Melihat prediksi V神 ini, pikiran saya langsung melintas ke beberapa titik kunci selama bertahun-tahun ini. Masih ingat dengan insiden The DAO tahun 2016 kan, kontroversi hard fork itu masih diajarkan di buku teks sampai sekarang; kemudian berbagai kerentanan kontrak cerdas lainnya, setiap kali menjadi pelajaran berharga. Bertahun-tahun berlalu, dari iterasi bahasa Solidity, hingga alat verifikasi formal yang semakin matang, dan sekarang berbagai kerangka audit yang semakin lengkap, benar-benar bisa merasakan ekosistem yang berkembang ke arah yang lebih ketat dan teliti.
V神 mengatakan bahwa kode tanpa Bug di tahun 2030 menjadi mungkin, ini bukan sekadar khayalan. Pikirkan dengan seksama, dulu kita berpikir "blockchain harus desentralisasi, semakin banyak verifikasi semakin tidak perlu", sekarang? Semua orang mencari cara menggunakan matematika dan teknik rekayasa untuk menjamin keamanan. Dari idealisme awal "kode adalah hukum", hingga pendekatan pragmatis "kode harus diverifikasi", ini adalah peningkatan pemahaman.
Tapi yang penting adalah—kode tanpa Bug mungkin menjadi kenyataan, bukan berarti seluruh ekosistem akan mengadopsinya. Proyek yang mengejar iterasi cepat dan prioritas fungsi, akan selalu memilih untuk mentolerir keberadaan Bug. Mereka yang benar-benar bersedia menginvestasikan biaya untuk verifikasi formal, dan menulis ulang dengan bahasa yang lebih aman seperti Rust atau Move, tetap hanya sedikit. Sejarah mengajarkan bahwa teknologi bagus dan adopsi pasar tidak pernah berjalan sejajar. Jadi, nilai dari prediksi ini mungkin bukan pada kode yang benar-benar bebas Bug, melainkan pada infrastruktur penting dan kontrak keuangan inti yang akhirnya akan dipaksa untuk mengikuti jalan ini.