Zcash telah menyelesaikan peningkatan jaringan Ironwood, menggantikan *shielded pool* Orchard-nya yang rentan dengan alternatif yang terverifikasi secara formal yang dirancang untuk mencegah pemalsuan yang tidak terdeteksi, sambil memulai migrasi dana terlindungi ke *pool* baru.
Menurut Project Tachyon dan tim pengembangan Zcash, Ironwood diaktifkan sesuai jadwal pada tinggi blok 3.428.143 melalui peningkatan jaringan NU6.3 pada hari Selasa, memperkenalkan *shielded pool* baru yang menurut pengembang memulihkan kepercayaan pada integritas pasokan Zcash setelah kekhawatiran seputar Orchard.
Pengaktifan ini mengikuti kerja keras selama berbulan-bulan di berbagai organisasi Zcash setelah para peneliti mengungkapkan celah yang secara teoritis dapat memungkinkan ZEC palsu dibuat tanpa terdeteksi publik.
Meskipun Ironwood kini aktif, Orchard telah memasuki fase khusus penarikan. Pengguna masih dapat menarik dana dari *shielded pool* lama sesuai kebijakan mereka, tetapi tidak lagi menerima aktivitas terlindungi baru. Data dari pelacak migrasi Zcash menunjukkan sekitar 40.207 ZEC telah berpindah ke Ironwood, sementara hampir 3,6 juta ZEC tetap berada di Orchard menunggu migrasi.
ZEC (ZEC) sempat turun sekitar 9% menjadi sekitar $460 setelah peningkatan sebelum pulih menjadi sekitar $475, menurut halaman harga crypto.news. Token tersebut telah mengalami volatilitas signifikan setelah kerentanan Orchard menjadi publik, kehilangan lebih dari separuh nilainya sebelum kemudian *rebound* dari sekitar $45 pada September tahun lalu menjadi hampir $700 pada akhir tahun.
*Shielded pool* baru ini menggantikan Orchard setelah para peneliti mengidentifikasi apa yang kemudian dikenal sebagai *bug* "infinity" Orchard. Menurut Shielded Labs, peneliti Taylor Hornby menemukan celah tersebut pada akhir Mei di dalam sirkuit tanpa pengetahuan (*zero-knowledge circuit*) Orchard. Pengembang mengatakan masalah tersebut secara teoritis dapat memungkinkan penyerang untuk mencetak ZEC palsu tanpa deteksi langsung, meskipun mereka juga menyatakan tidak menemukan bukti bahwa kerentanan tersebut pernah dieksploitasi.
Peningkatan darurat pada awal Juni sementara menonaktifkan Orchard sebelum pengembang menerapkan kode sirkuit yang telah diperbaiki melalui *hard fork* NU6.2. Bahkan setelah menambal celah tersebut, pengembang mengatakan model privasi Zcash mencegah siapa pun membuktikan dengan pasti bahwa inflasi tersembunyi tidak pernah terjadi, mendorong pekerjaan pada *shielded pool* pengganti alih-alih hanya mengandalkan implementasi Orchard yang telah ditambal.
Ironwood memperkenalkan sistem akuntansi terpisah dengan *note commitment tree*, *nullifier set*, dan *chain value pool*-nya sendiri, memungkinkan node untuk melacak *shielded pool* baru secara independen. Menurut dokumentasi teknis proyek, peningkatan ini juga menginstal pos pemeriksaan akuntansi publik yang dikenal sebagai *turnstile*, memungkinkan dana untuk meninggalkan Orchard sambil mencegah lebih banyak nilai keluar daripada yang sah masuk ke *pool* lama.
Pengembang mengatakan mekanisme ini dimaksudkan untuk menjebak koin palsu hipotetis di dalam Orchard sambil memungkinkan verifikasi independen bahwa pasokan Zcash yang beredar terus menghormati batas penerbitan 21 juta ZEC jaringan.
Bersamaan dengan aktivasi jaringan, Project Tachyon mengumumkan bahwa para peneliti menyelesaikan bukti matematika yang diverifikasi mesin yang mencakup integritas saldo Ironwood, memberikan jaminan tambahan bahwa *shielded pool* baru tidak dapat menciptakan nilai melebihi apa yang telah masuk secara publik di bawah asumsi kriptografi yang dinyatakan.
Menurut Project Tachyon, bukti tersebut ditulis dalam bahasa pemrograman Lean dan terdiri dari lebih dari 2.700 teorema yang dikembangkan selama lebih dari sebulan oleh tiga tim peneliti dan kriptografer.
Para peneliti mengatakan pekerjaan mereka secara formal memverifikasi komponen yang diperlukan untuk integritas saldo, termasuk sistem bukti tanpa pengetahuan (*zero-knowledge proof system*) Ironwood, aturan sirkuit, dan akuntansi tingkat buku besar. Mereka juga mengklarifikasi bahwa verifikasi tersebut tidak meluas ke jaminan privasi terpisah Ironwood.
Mengomentari pekerjaan tersebut, salah satu pendiri Zcash Sean Bowe mengatakan upaya lintas tim tersebut menghilangkan sumber-sumber *bug* pemalsuan yang tidak terdeteksi dari protokol Ironwood baru.
*Shielded pool* baru ini juga menggabungkan catatan yang dapat dipulihkan secara kuantum ZIP 2005, memungkinkan mekanisme pemulihan di masa depan jika kemajuan dalam komputasi kuantum pada akhirnya melemahkan perlindungan kriptografi saat ini. Menurut spesifikasi ZIP, fitur ini tidak membuat transaksi Zcash saat ini aman secara kuantum karena protokol pemulihan terpisah masih perlu dirancang dan diaktifkan di masa mendatang.
Ironwood dikembangkan melalui kolaborasi antara Shielded Labs, Zcash Open Development Lab (ZODL), Project Tachyon, Valar Group, dan Zcash Foundation.
Shielded Labs, yang didirikan bersama oleh pendiri Zcash Zooko Wilcox, awalnya mengusulkan penggantian Orchard untuk memulihkan akuntansi pasokan yang dapat diverifikasi setelah kerentanan menjadi publik.
Sementara itu, Direktur Eksekutif ZODL Josh Swihart mengatakan di X bahwa insinyur dari organisasinya menyumbangkan 82% perubahan yang digabungkan di seluruh repositori protokol dan dompet Zcash selama upaya penggantian Orchard. Swihart menambahkan bahwa Orchard telah ditambal dalam lima hari sebelum pengembang menyelesaikan proses penggantian dalam waktu sekitar 60 hari.
Peningkatan NU6.3 juga menyelesaikan transisi lain yang telah lama direncanakan di seluruh jaringan. Menurut Zcash Foundation, perangkat lunak node zcashd yang lebih lama tidak lagi mendukung aturan konsensus baru, menjadikan Zebra implementasi node yang diperlukan setelah aktivasi.
Sebelum Ironwood mencapai jaringan, Direktur Eksekutif Shielded Labs Jason McGee telah memperingatkan bahwa bursa, penyedia dompet, dan *mining pool* secara bersamaan bersiap untuk bermigrasi dari zcashd ke tumpukan perangkat lunak Z3 baru sambil juga meningkatkan untuk Ironwood. McGee mengatakan beberapa operator infrastruktur membutuhkan waktu tambahan, meskipun tidak ada keputusan yang akhirnya dibuat untuk menunda peningkatan jaringan.
Dengan Ironwood kini aktif dan migrasi Orchard sedang berlangsung, fokus telah bergeser untuk memindahkan sisa dana terlindungi melalui *turnstile* sementara jaringan secara bertahap menghentikan *pool* lama di bawah model akuntansi baru.
