Zcash Foundation merilis Zebra 4.5.3 dan Zebra 5.0.0 setelah para insinyur menemukan dan memperbaiki bug kelengkapan (soundness bug) kritis di sirkuit Orchard Action.
Yayasan tersebut mengatakan Zebra 4.5.3 mengaktifkan soft fork darurat pada ketinggian blok mainnet 3.363.426. Rilisan ini untuk sementara menolak transaksi dan blok yang berisi tindakan Orchard sementara para insinyur menyiapkan sirkuit yang telah diperbaiki.
Soft fork tersebut aktif sekitar pukul 02:00 UTC pada 2 Juni setelah upaya koordinasi sebelumnya menghadapi masalah penerapan patch. Yayasan tersebut mengatakan koordinasi pribadi dengan penambang dan bursa dimulai pada 31 Mei untuk mengurangi kemungkinan eksploitasi sebelum pengungkapan publik.
Zebra 5.0.0 mengaktifkan hard fork NU6.2 pada ketinggian blok mainnet 3.364.600. Peningkatan ini mengaktifkan kembali tindakan Orchard dengan sirkuit yang telah diperbaiki dan mengarahkan bukti Orchard ke kunci verifikasi baru per-sirkuit. Rilisan ini juga menandai peningkatan protokol kedua yang didorong oleh keamanan dalam sejarah Zcash sejak tahun 2016.
Hard fork diperlukan karena perbaikan sirkuit bukti zero-knowledge (zero-knowledge proof) membutuhkan kunci verifikasi yang dipatok baru.
"Kami sangat mendesak semua operator node untuk memutakhirkan ke Zebra 5.0.0 sesegera mungkin," kata Zcash Foundation.
Bug tersebut ditemukan pada 29 Mei oleh peneliti keamanan independen Taylor Hornby selama audit protokol untuk Shielded Labs. Insinyur ZODL Daira-Emma Hopwood, Kris Nuttycombe, dan Jack Grigg mengkonfirmasi masalah tersebut dalam beberapa jam dan mulai mengerjakan perbaikan.
Yayasan tersebut mengatakan bahwa kelemahan itu bisa saja memungkinkan perubahan status yang tidak valid di dalam Orchard dan kemungkinan double spending di dalam pool tersebut. Dikatakan juga bahwa mekanisme turnstile Zcash melindungi total pasokan ZEC, dan "Tidak ada bukti penciptaan nilai yang tidak sah." Kode yang terpengaruh mencakup rilis halo2_gadgets, orchard, dan zcash_primitives yang lebih lama, ditambah versi zcashd 5.0.0 hingga 6.12.3.
Orchard adalah shielded pool terbaru Zcash dan bagian inti dari sistem privasinya. Ini diluncurkan dengan NU5 pada tahun 2022 dan menggunakan Halo 2, yang menghilangkan kebutuhan akan trusted setup. Desain tersebut menjadikan Orchard bagian penting dari peta jalan privasi Zcash saat ini.
Cakupan pasar terkait baru-baru ini berfokus pada peningkatan penggunaan shielded Zcash. Sebuah laporan baru-baru ini mengatakan sekitar 30% dari pasokan ZEC telah pindah ke shielded pools, dengan Orchard menampung 4,2 juta ZEC dan sebagian besar pertumbuhan baru-baru ini.
Yayasan tersebut mengatakan privasi pengguna tidak dirugikan selama insiden tersebut. Transaksi Sapling dan transparan juga terus beroperasi normal sementara tindakan Orchard tetap dihentikan sementara.
Operator node sekarang menghadapi tugas utama untuk memutakhirkan ke Zebra 5.0.0, daripada mengandalkan rilis yang lebih lama. Operator yang tetap berada di fork yang salah setelah NU6.2 mungkin perlu melakukan resync dari awal atau memulihkan dari cadangan yang dibuat sebelum aktivasi.
