Para peneliti Zcash telah menyelesaikan verifikasi formal Ironwood, mempublikasikan bukti yang terverifikasi mesin bahwa kumpulan terlindungi baru jaringan tersebut tidak mengandung bug pemalsuan yang tak terdeteksi di bawah asumsi kriptografis yang dinyatakannya.
Pada hari Selasa, Project Tachyon mengatakan bahwa bukti tersebut, yang ditulis dalam bahasa pemrograman Lean, terdiri dari lebih dari 2.700 teorema dan membutuhkan tiga tim peneliti dan kriptografer lebih dari sebulan untuk menyelesaikannya. Pekerjaan ini menetapkan properti keamanan yang dikenal sebagai integritas keseimbangan, yang dirancang untuk memastikan kumpulan terlindungi tidak dapat membayar nilai lebih dari yang telah masuk secara publik ke dalamnya.
Para peneliti mengatakan bukti tersebut mencakup komponen-komponen yang diperlukan untuk properti itu, termasuk sistem bukti pengetahuan nol Ironwood, aturan sirkuit, dan akuntansi tingkat buku besar. Bukti ini tidak mencakup jaminan privasi terpisah Ironwood.
Ironwood diperkenalkan melalui peningkatan NU6.3 Zcash sebagai tanggapan atas kerentanan yang ditemukan di kumpulan terlindungi Orchardnya yang secara teoretis dapat memungkinkan pemalsuan ZEC yang tak terdeteksi. Para pengembang Zcash mengatakan mereka tidak menemukan bukti bahwa kelemahan itu telah dieksploitasi. Kumpulan baru ini dirancang untuk mengembalikan kepercayaan pada integritas pasokan Zcash.
Dana yang bermigrasi dari Orchard harus melewati pos pemeriksaan akuntansi publik yang dikenal sebagai turnstile, yang dirancang untuk mencegah koin berlebih hipotetis apa pun masuk ke Ironwood. Saat dana meninggalkan Orchard, proses tersebut juga dapat memberikan bukti yang berkembang tentang apakah kumpulan lama dieksploitasi.
Terkait: Mengapa ZEC turun 40% bahkan setelah Zcash memperbaiki bug kumpulan terlindungi
