NU6.2
NU6.2 mulai beroperasi pada mainnet Zcash di blok 3.364.600 (3 Juni 2026 UTC).
Apa yang akan Anda pelajari: apa yang diperbaiki oleh NU6.2, mengapa Zcash menghentikan transaksi terlindungi selama sekitar satu hari, dan bagaimana jaringan menutup celah tersebut tanpa kehilangan dana apa pun.
NU6.2 adalah Zcash peningkatan jaringan, yang secara formal didefinisikan dalam ZIP 257, yang mengaktifkan kembali protokol Orchard terlindungi setelah penghentian darurat. Ini memperbaiki bug soundness pada sirkuit zero-knowledge milik Orchard dan memulihkan transaksi terlindungi. Anggaplah ini sebagai bab perbaikan darurat dari kisah bug Orchard. Peningkatan berikutnya, Ironwood (NU6.3), kemudian menambahkan sebuah pool baru dan audit publik terhadap pool yang lama.
Mengapa ini penting. Orchard adalah tempat di mana sebagian besar pembayaran Zcash yang privat terjadi. Ketika sebuah celah ditemukan dalam matematika yang menjaga kejujuran pool tersebut, jaringan menghadapi pilihan sulit: tetap menjalankan transaksi terlindungi dengan risiko yang diketahui, atau menghentikannya hingga perbaikan siap. NU6.2 adalah cara Zcash memilih keselamatan terlebih dahulu dan tetap memulihkan privasi dalam waktu satu hari.
Apa yang terjadi
Pemicunya adalah bug soundness dalam sirkuit Action milik Orchard, yaitu matematika yang seharusnya membuktikan bahwa setiap transaksi terlindungi mematuhi aturan. Peneliti independen Taylor Hornby menemukannya selama audit Shielded Labs dan mengungkapkannya secara bertanggung jawab pada akhir Mei 2026. Bug ini tidak terdeteksi sejak Orchard diluncurkan pada tahun 2022, dan secara teori dapat membiarkan transaksi yang tidak valid lolos sebagai transaksi valid, yang dapat memungkinkan dana dicuri atau digunakan dua kali di dalam pool Orchard. Akuntansi turnstile milik Zcash masih membatasi seberapa banyak nilai yang dapat keluar dari Orchard, sehingga total pasokan ZEC itu sendiri tidak dapat digelembungkan, namun cacat pada matematika yang menjaga kejujuran dana terlindungi adalah hal yang serius, sehingga jaringan bertindak dalam hitungan hari. Halaman Ironwood menjelaskan bug tersebut dan bagaimana hal itu dapat menciptakan nilai secara penuh.
Jeda darurat
Pada 2 Juni 2026, sebuah soft fork darurat menonaktifkan sementara semua transaksi Orchard. Ini dirilis sebagai hotfix dalam zcashd v6.12.5 dan zebra v4.5.3.
- Pengiriman dan penerimaan Orchard terlindungi dihentikan sementara, sehingga tidak ada Orchard proof baru yang dapat dibuat atau diterima.
- Transaksi transparan dan Sapling tetap berjalan normal.
- Tidak ada dana yang dipindahkan, dibekukan, atau hilang. Penghentian ini hanya menghentikan aktivitas Orchard baru selama perbaikan sebenarnya diselesaikan.
Apa yang diubah oleh NU6.2
Keesokan harinya, 3 Juni 2026, hard fork NU6.2 diaktifkan pada blok 3.364.600 dan mengaktifkan kembali Orchard pada sirkuit yang telah diperbaiki.
- Ini memperbaiki gadget perkalian skalar basis-variabel pada sirkuit Action dengan menambahkan batasan yang hilang.
- Hal tersebut menghasilkan verifying key baru, sehingga proof yang dibuat menggunakan sirkuit lama yang cacat tidak lagi valid, dan setiap proof baru harus menggunakan sirkuit yang telah diperbaiki.
- Ini menjadikan panjang proof yang tepat sebagai aturan konsensus, menutup celah yang sebelumnya tidak ditegakkan.
Kode yang telah diperbaiki dikirimkan dalam zcashd v6.20.0 dan zebra v5.0.0, yang dibangun di atas halo2_gadgets v0.5.0 dan orchard crate v0.14.0.
Apa yang tidak dilakukan oleh NU6.2
NU6.2 mengamankan sirkuit untuk setiap transaksi baru, tetapi nilai yang dibuat di bawah aturan lama masih berada di pool Orchard. Mengaudit nilai tersebut dan memindahkannya ke pool yang bersih adalah pekerjaan terpisah, dan itulah yang ditangani oleh Ironwood (NU6.3) dengan pool baru dan turnstile miliknya.
Apakah ada yang hilang
Tidak. Tidak ada bukti bahwa bug tersebut pernah dieksploitasi, tidak ada pembuatan nilai tanpa izin, dan tidak ada dampak terhadap dana pengguna. Akuntansi turnstile dari Zcash mengonfirmasi bahwa total supply tetap utuh selama seluruh kejadian tersebut.
Glosarium
| Istilah | Makna dalam Bahasa Inggris Sederhana |
|---|
| Shielded pool | Kumpulan dana yang jumlah dan pemiliknya disembunyikan oleh kriptografi zero-knowledge |
| Orchard | Protokol terlindungi yang diperkenalkan oleh NU5. Ini adalah pool terlindungi utama Zcash pada saat NU6.2; Ironwood menggantikannya pada NU6.3 dan Orchard sekarang hanya dapat digunakan untuk pengeluaran (spend-only) |
| Soundness bug | Cacat yang memungkinkan transaksi tidak valid lolos dari pemeriksaan proof seolah-olah transaksi tersebut valid |
| Verifying key | Nilai publik yang digunakan jaringan untuk memeriksa bahwa sebuah proof adalah valid. Perbaikan pada sirkuit mengubahnya |
| Soft fork | Perubahan aturan yang kompatibel ke belakang, yang menghentikan sementara Orchard tanpa memecah jaringan |
| Hard fork | Perubahan aturan terkoordinasi yang mengharuskan semua node untuk melakukan upgrade, diaktifkan pada blok yang telah ditentukan |
FAQ
Apakah saya kehilangan akses ke ZEC saya? Tidak. Selama sekitar satu hari, transaksi Orchard terlindungi dihentikan sementara, tetapi tidak ada dana yang hilang atau berisiko, dan transaksi transparan serta Sapling tetap berfungsi.
Mengapa berhenti sejenak alih-alih melakukan perbaikan secara diam-diam? Bug soundness dapat menyebabkan dana dicuri atau digunakan dua kali di dalam pool Orchard, sehingga langkah yang aman adalah menghentikan Orchard transaksi baru hingga sirkuit yang telah diperbaiki aktif.
Apakah proof terlindungi lama masih berfungsi? Proof yang dibuat di bawah sirkuit lama tidak lagi valid setelah NU6.2. Dompet pada rilis yang didukung secara otomatis menggunakan sirkuit yang telah diperbaiki.
Apakah bug tersebut pernah digunakan? Tidak ada bukti bahwa hal itu terjadi. Bug tersebut ditemukan oleh riset keamanan dan diperbaiki sebelum terjadi kerugian yang diketahui.
Apa perbedaan antara NU6.2 dan Ironwood? NU6.2 memperbaiki sirkuit dan mengaktifkan kembali Orchard. Ironwood (NU6.3) kemudian menambahkan pool baru dan turnstile publik untuk mengaudit dan memindahkan nilai dari pool lama.
Uji pemahaman Anda
Mengapa Zcash menghentikan transaksi Orchard selama satu hari alih-alih membiarkannya tetap berjalan saat perbaikan sedang ditulis?
Jawaban
Karena celah tersebut merupakan bug soundness, yang berarti transaksi tidak valid dapat lolos sebagai transaksi valid. Membiarkan Orchard tetap terbuka akan membiarkan pintu pencurian dan double-spending di dalam pool tetap terbuka. Menghentikan sementara Orchard transaksi baru menutup pintu tersebut hingga sirkuit yang telah diperbaiki diaktifkan pada NU6.2.
Sumber Daya
ZIP 257: Penerapan Orchard Mitigasi Kerentanan Sementara dan NU6.2 Peningkatan Jaringan
Zcash Foundation: Zebra soft fork darurat dan aktivasi NU6.2
Lihat juga
Ironwood (NU6.3)
Zcash Peningkatan Jaringan
Pool terlindungi
Halo
Shielded Labs
Apa itu ZEC dan Zcash
Seri: Indeks Peningkatan Jaringan · Sebelumnya: NU6.1 · Berikutnya: Ironwood
