Zcash mengatakan bukti Ironwood menyingkirkan bug pemalsuan yang tak terdeteksi
Para peneliti Zcash telah menyelesaikan verifikasi formal Ironwood, mempublikasikan bukti yang dapat diperiksa mesin bahwa kolam terlindungi baru jaringan tersebut tidak mengandung bug pemalsuan yang tidak dapat dideteksi, berdasarkan asumsi kriptografis yang dinyatakan. Bukti ini, ditulis dalam bahasa pemrograman Lean, terdiri dari lebih dari 2.700 teorema dan membutuhkan waktu lebih dari sebulan untuk diselesaikan oleh tiga tim peneliti. Pekerjaan ini menetapkan properti keamanan yang disebut integritas keseimbangan, dirancang untuk memastikan kolam terlindungi tidak dapat mengeluarkan nilai lebih dari yang telah masuk secara publik.
Buktinya mencakup komponen yang diperlukan untuk properti tersebut, termasuk sistem bukti tanpa pengetahuan (zero-knowledge proof) Ironwood, aturan sirkuit, dan akuntansi tingkat ledger. Namun, tidak mencakup jaminan privasi terpisah Ironwood.
Ironwood diperkenalkan melalui peningkatan NU6.3 Zcash sebagai tanggapan atas kerentanan yang ditemukan di kolam terlindungi Orchard, yang secara teoritis dapat memungkinkan pemalsuan ZEC yang tidak dapat dideteksi. Pengembang Zcash menyatakan tidak ada bukti kerentanan itu dieksploitasi. Kolam baru dirancang untuk memulihkan kepercayaan pada integritas pasokan Zcash.
Dana yang bermigrasi dari Orchard harus melewati pos pemeriksaan akuntansi publik yang disebut 'turnstile', yang dirancang untuk mencegah koin berlebih hipotetis memasuki Ironwood. Proses ini juga dapat memberikan bukti yang semakin jelas tentang apakah kolam lama dieksploitasi.
cointelegraph22j yang lalu
