Zcash Menyelesaikan Bukti Verifikasi Ironwood untuk Melawan Bug Pemalsuan

Peneliti Zcash menyelesaikan verifikasi formal Ironwood pada Selasa, memublikasikan bukti yang diperiksa mesin bahwa kumpulan shielded pool baru jaringan tidak mengandung bug pemalsuan yang tidak dapat dideteksi berdasarkan asumsi kriptografis yang dinyatakan. Project Tachyon mengatakan bahwa bukti ini memastikan shielded pool tidak dapat membayar lebih banyak nilai daripada yang secara publik telah masuk ke dalamnya. Ironwood diperkenalkan melalui upgrade NU6.3 Zcash sebagai respons terhadap kerentanan yang ditemukan di shielded pool Orchard yang secara teoretis dapat memungkinkan pemalsuan ZEC yang tidak dapat dideteksi.

Project Tachyon Mempublikasikan Bukti Berbasis Lean dengan 2.700+ Teorema

Project Tachyon mengatakan pada Selasa bahwa bukti tersebut, yang ditulis dalam bahasa pemrograman Lean, terdiri dari lebih dari 2.700 teorema dan membutuhkan waktu lebih dari sebulan untuk diselesaikan oleh tiga tim peneliti dan kriptografer. Pekerjaan ini menetapkan properti keamanan yang dikenal sebagai balance integrity, yang dirancang untuk memastikan shielded pool tidak dapat membayar lebih banyak nilai daripada yang secara publik telah masuk ke dalamnya.

Verifikasi Mencakup Sistem Bukti Zero-Knowledge dan Aturan Sirkuit

Para peneliti mengatakan bahwa bukti ini mencakup komponen yang diperlukan untuk properti tersebut, termasuk sistem bukti zero-knowledge Ironwood, aturan sirkuit, dan akuntansi tingkat ledger. Bukti ini tidak mencakup jaminan privasi terpisah Ironwood.

Ironwood Menanggapi Kerentanan di Orchard Shielded Pool

Ironwood diperkenalkan melalui upgrade NU6.3 Zcash sebagai respons terhadap kerentanan yang ditemukan di shielded pool Orchard yang secara teoretis dapat memungkinkan pemalsuan ZEC yang tidak dapat dideteksi. Pengembang Zcash mengatakan mereka tidak menemukan bukti bahwa kelemahan tersebut telah dieksploitasi. Pool baru ini dirancang untuk memulihkan kepercayaan pada integritas persediaan Zcash.

Mekanisme Turnstile Menghalangi Koin Berlebih Hipotetis dari Ironwood

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 keluar dari Orchard, proses ini juga dapat memberikan bukti yang terus bertambah mengenai apakah pool lama telah dieksploitasi.

FAQ

Apa yang diselesaikan peneliti Zcash pada Selasa?
Peneliti Zcash menyelesaikan verifikasi formal Ironwood pada Selasa, memublikasikan bukti yang diperiksa mesin bahwa kumpulan shielded pool baru jaringan tidak mengandung bug pemalsuan yang tidak dapat dideteksi berdasarkan asumsi kriptografis yang dinyatakan.

Mengapa Ironwood diperkenalkan melalui upgrade NU6.3 Zcash?
Ironwood diperkenalkan melalui upgrade NU6.3 Zcash sebagai respons terhadap kerentanan yang ditemukan di shielded pool Orchard yang secara teoretis dapat memungkinkan pemalsuan ZEC yang tidak dapat dideteksi. Pool baru ini dirancang untuk memulihkan kepercayaan pada integritas persediaan Zcash.

Apa itu mekanisme turnstile di Ironwood?
Turnstile adalah pos pemeriksaan akuntansi publik yang harus dilewati oleh dana yang bermigrasi dari Orchard. Turnstile ini dirancang untuk mencegah koin berlebih hipotetis masuk ke Ironwood.