Zcash Luncurkan Verifikasi Formal di Upgrade Ironwood untuk Lindungi Pasokan ZEC

Hariankripto – Tim pengembang Zcash kini mengambil langkah lebih ketat menyusul temuan kerentanan di shielded pool. Mereka menerapkan verifikasi formal untuk mencegah bug pemalsuan yang tidak terdeteksi. Pendekatan ini menandai perubahan penting dalam keamanan protokol Zcash.

Temuan Kerentanan Mendorong Perubahan Besar

Peneliti Shielded Labs Taylor Hornby menemukan celah akuntansi di Orchard shielded pool. Tim langsung memperbaiki masalah tersebut sebelum ada eksploitasi. Developer dan peneliti kripto Sean Bowe kemudian menjelaskan bahwa audit kode konvensional ternyata memiliki batasan. Hanya verifikasi formal yang bisa menjamin tidak ada pemalsuan tak terdeteksi. Tim pengembang pun memutuskan fokus pada spesifikasi matematika protokol daripada sekadar memeriksa kode implementasi.

Ironwood Hadir dengan Mekanisme Turnstile

Ironwood menghadirkan shielded pool baru yang sudah diperbaiki. Upgrade ini akan menutup pool Orchard lama dan memindahkan dana pengguna melalui mekanisme turnstile. Sistem turnstile ini memungkinkan verifikasi transparan sehingga semua pihak bisa memastikan tidak ada ZEC palsu yang beredar.

Zcash's new Ironwood pool is being formally verified to rule out all undetectable counterfeiting bugs, up to the underlying cryptographic assumptions.https://t.co/EmGPBqVyFF

— Project Tachyon (@TachyonZcash) July 7, 2026

Selain itu, mekanisme ini juga membatasi jumlah nilai yang tersisa di pool lama. Tim bekerja sama dengan zkSecurity dan Zcash Open Development Lab menggunakan Lean theorem prover, audit tradisional, serta analisis berbantuan AI.

Aktivasi Ironwood dan Harapan ke Depan

Ironwood dijadwalkan aktif pada kisaran akhir Juli 2026. Para kontributor terus menyelesaikan verifikasi matematika untuk membuktikan kebenaran spesifikasi kriptografi. Pendekatan ini memastikan bug pemalsuan hanya mungkin muncul dari asumsi kriptografi yang rusak, bukan dari implementasi. Dengan demikian, Zcash berharap dapat mengembalikan kepercayaan komunitas terhadap integritas pasokan cryptocurrency mereka.