Pengembang Zcash mengaktifkan peningkatan Ironwood pada ketinggian blok 3.428.143 sebagai bagian dari peningkatan jaringan NU6.3, menggantikan kumpulan shielded Orchard dengan alternatif yang terverifikasi secara formal. Penggantian itu mengikuti penemuan peneliti Taylor Hornby pada akhir Mei tentang bug infinity di Orchard yang menimbulkan risiko teoretis pembuatan ZEC palsu yang tak terdeteksi. Kerentanan pada salah satu mekanisme privasi inti Zcash memicu apa yang dijelaskan pengembang sebagai sprint pengembangan mode masa perang untuk menerapkan penggantian penuh ketimbang tambalan.
Hornby Menemukan Bug Infinity Orchard pada Akhir Mei
Taylor Hornby, peneliti di Shielded Labs, menemukan bug infinity Orchard pada akhir Mei. Cacat tersebut ada jauh di dalam sirkuit zero-knowledge Orchard dan menimbulkan risiko teoretis minting ZEC palsu tanpa meninggalkan jejak yang dapat dideteksi secara publik. Tidak ada bukti yang muncul bahwa kerentanan tersebut pernah dieksploitasi. ZEC kehilangan lebih dari setengah nilainya setelah pengungkapan menjadi publik.
Patch darurat yang diterapkan pada awal Juni menonaktifkan Orchard untuk sementara. Sirkuit yang diperbaiki tiba melalui hard fork NU6.2 dalam waktu lima hari. Pengembang menyatakan itu secara matematis tidak mungkin untuk membuktikan dengan kepastian bahwa inflasi tersembunyi tidak pernah terjadi di dalam kumpulan lama, sehingga penggantian penuh menjadi satu-satunya cara untuk memulihkan integritas pasokan yang dapat diverifikasi.
Ko-fundador Shielded Labs, Zooko Wilcox, awalnya mengusulkan mengganti Orchard secara langsung. Setelah itu, kurang lebih 60 hari pengembangan terkoordinasi dilakukan di Shielded Labs, Zcash Open Development Lab (ZODL), Project Tachyon, Valar Group, dan Zcash Foundation. Direktur Eksekutif ZODL, Josh Swihart, menyatakan bahwa para insinyur dari organisasinya berkontribusi 82% dari perubahan gabungan di repositori protokol dan dompet Zcash selama upaya penggantian.
Ironwood Memperkenalkan Sistem Akuntansi Terpisah dan Catatan yang Bisa Dipulihkan Secara Kuantum
Ironwood memperkenalkan sistem akuntansi yang sepenuhnya terpisah dengan note commitment tree, nullifier set, dan chain value pool sendiri. Struktur ini memungkinkan node mana pun melacak kumpulan shielded baru secara independen dari apa pun yang terjadi sebelumnya.
Peningkatan itu memasang public accounting checkpoint yang dijelaskan proyek sebagai turnstile. Dana bisa keluar dari Orchard melalui turnstile tersebut, tetapi mekanisme ini secara matematis mencegah lebih banyak nilai keluar daripada yang secara sah masuk ke kumpulan lama. Setiap koin palsu hipotetis yang dicetak di dalam Orchard sebelum atau selama jendela kerentanan akan terjebak di sana secara permanen, tidak bisa mencemari akuntansi pasokan Ironwood.
Kumpulan baru menggabungkan ZIP 2005 quantum-recoverable notes. Fitur ini tidak membuat transaksi Zcash aman secara kuantum saat ini — protokol pemulihan terpisah tetap perlu dirancang dan diaktifkan di masa depan. Peningkatan NU6.3 membuat Zebra menjadi implementasi node yang diwajibkan, mengakhiri dukungan untuk perangkat lunak zcashd lama di seluruh jaringan.
Project Tachyon Menyelesaikan Verifikasi Formal 2.700 Teorema
Project Tachyon menyelesaikan pembuktian matematis yang diverifikasi mesin bersama pengembang Zcash. Ditulis dalam bahasa pemrograman Lean, pembuktian ini terdiri dari lebih dari 2.700 teorema yang dikembangkan selama lebih dari sebulan oleh tiga tim peneliti dan kriptografer. Pembuktian itu secara formal memverifikasi bahwa Ironwood tidak dapat membuat ZEC palsu yang tak terdeteksi dengan asumsi desain yang dinyatakan.
Pembuktian mencakup komponen yang diperlukan untuk integritas saldo: sistem pembuktian zero-knowledge Ironwood, aturan sirkuitnya, dan akuntansi tingkat ledger. Ko-fundador Zcash, Sean Bowe, menyatakan: "Kolaborasi lintas-tim baru saja mengubah sejarah Zcash selamanya, menghilangkan semua sumber bug pemalsuan tak terdeteksi dari protokol Ironwood yang baru."
Verifikasi formal ini mencakup integritas saldo, tetapi tidak meluas ke jaminan privasi terpisah Ironwood. Ketersediaan pasokan dan privasi transaksi adalah properti yang berbeda, dan pembuktian hanya membahas yang pertama.
Migration Tracker Menunjukkan 40.207 ZEC Dipindahkan ke Ironwood
Orchard memasuki fase exit-only. Kumpulan ini tidak lagi menerima aktivitas shielded baru, tetapi pengguna masih bisa menarik dana atas kebijakan mereka sendiri. Menurut migration tracker Zcash, sekitar 40.207 ZEC telah dipindahkan ke Ironwood sejak aktivasi. Sekitar 3,6 juta ZEC masih berada di Orchard menunggu migrasi.
Pada puncaknya, Orchard mencatat hampir 88% dari pasokan token shielded Zcash, menurut data dari The Block, dengan kumpulan Sapling dan Sprout yang lebih lama menyusun sisanya.
FAQ
Apa itu peningkatan Zcash Ironwood?
Ironwood adalah peningkatan jaringan Zcash yang menggantikan kumpulan shielded Orchard yang rentan dengan kumpulan shielded yang terverifikasi secara formal. Peningkatan ini diaktifkan pada ketinggian blok 3.428.143 sebagai bagian dari hard fork NU6.3.
Mengapa peningkatan Ironwood diperlukan?
Peningkatan ini diperlukan karena sebuah bug infinity yang ditemukan di kumpulan Orchard pada akhir Mei menimbulkan risiko teoretis penciptaan ZEC palsu yang tak terdeteksi. Pengembang menyatakan secara matematis tidak mungkin untuk membuktikan bug itu tidak pernah dieksploitasi, sehingga penggantian penuh perlu dilakukan, bukan hanya mengandalkan patch.
Apa yang terjadi pada dana yang masih ada di kumpulan Orchard?
Orchard memasuki fase exit-only. Pengguna masih bisa menarik dana darinya, tetapi kumpulan ini tidak lagi menerima transaksi shielded baru. Sekitar 3,6 juta ZEC tetap berada di Orchard menunggu migrasi ke Ironwood, sementara sekitar 40.207 ZEC sudah berpindah.
