Project Tachyon mempublikasikan bukti machine-checked yang ditulis dalam bahasa pemrograman Lean, menandai selesainya verifikasi formal untuk Ironwood, pool shielded baru di jaringan Zcash. Tiga tim peneliti dan kriptografer menghabiskan waktu lebih dari sebulan penuh untuk menyusun alat uji yang memuat lebih dari 2.700 teorema matematika. Bukti ini menetapkan satu properti keamanan utama yang disebut integritas saldo atau balance integrity.
Properti ini memberi jaminan pasti bahwa pool shielded tidak bisa mencairkan koin melebihi nilai tercatat yang sudah masuk ke ruang publik. Pembuktian berlapis ini menjangkau tiga komponen esensial sekaligus: sistem zero-knowledge proof bawaan Ironwood, aturan sirkuit, dan kerangka akuntansi pada tingkat buku besar atau ledger.
Dampak Panjang Celah Orchard
Verifikasi berbekal ribuan teorema ini lahir dari insiden sistem masa lalu yang sempat mengguncang kepercayaan pasar. Pengembang meluncurkan Ironwood lewat pembaruan jaringan Zcash NU6.3 sebagai respons atas kerentanan di pool shielded generasi sebelumnya, yakni Orchard. Kerentanan pada struktur Orchard membawa risiko karena di atas kertas memungkinkan peretas memalsukan koin ZEC tanpa pernah terdeteksi oleh jaringan.
Meski tidak ada bukti bahwa pencetakan koin palsu itu pernah benar-benar terjadi, sentimen negatif investor telanjur merusak valuasi. Ketakutan akan risiko penggelembungan pasokan ZEC tak kasatmata membuat harga koin ini jatuh 40% pasca-ditemukannya kerentanan Orchard.
Untuk mensterilkan jaringan dari imbas masalah lama, Zcash memberlakukan aturan ketat pada proses migrasi aset. Semua dana yang berpindah dari kolam Orchard menuju Ironwood wajib melewati pos pemeriksaan akuntansi publik bernama turnstile. Pos penjagaan ini dirancang khusus untuk menghadang koin hipotetis berlebih akibat kerentanan lama agar tidak mencemari ekosistem Ironwood.
📌 Baca JugaAI Claude Mythos Bobol Calon Standar Enkripsi AS 67 Juta Kali Lebih Mudah - dan Kenapa Ongkos Kripto Ikut Terancam
Cakupan Bukti dan Langkah ke Depan
Kendati melibatkan 2.700 teorema, bukti formal ini memiliki batas jangkauan kerja. Dokumen verifikasi ini murni berfokus pada jumlah koin dan tidak mencakup jaminan privasi terpisah milik Ironwood. Prioritas Zcash saat ini adalah mengunci rapat gerbang integritas pasokan demi menepis keraguan soal inflasi siluman.
Bagi komunitas Zcash, pergerakan dana melewati turnstile menandai hidupnya sistem perlindungan baru. Keputusan membentuk tiga tim khusus untuk menyusun pembuktian masinal ini memperlihatkan ongkos tebal yang harus dibayar proyek kripto demi memulihkan harga dan kepercayaan pasca-krisis celah keamanan.
Dilansir dari Cointelegraph.
Disclaimer: Artikel ini bersifat informatif dan edukatif, bukan nasihat keuangan. Aset kripto sangat fluktuatif dan berisiko tinggi. Selalu lakukan riset mandiri (DYOR) dan jangan berinvestasi melebihi kemampuanmu menanggung kerugian.
