Zcash Menyelesaikan Verifikasi Formal untuk Ironwood, Aturan Pembuktian 2.700 Teorema Menghilangkan Pemalsuan yang Tidak Dapat Dilacak

Menurut Project Tachyon, pada hari Selasa, peneliti Zcash menyelesaikan verifikasi formal Ironwood, memublikasikan bukti yang diperiksa mesin bahwa kumpulan shielded (terlindungi) baru jaringan tidak mengandung bug pemalsuan yang tidak terdeteksi berdasarkan asumsi kriptografis yang dinyatakan.

Bukti tersebut, yang ditulis dalam bahasa pemrograman Lean, terdiri dari lebih dari 2.700 teorema dan diselesaikan oleh tiga tim peneliti dan kriptografer selama lebih dari sebulan. Pekerjaan ini menetapkan integritas keseimbangan, memastikan kumpulan shielded tidak dapat membayar lebih banyak nilai daripada yang secara publik telah dimasukkan ke dalamnya. Bukti mencakup sistem bukti tanpa pengetahuan (zero-knowledge) Ironwood, aturan sirkuit, dan pencatatan tingkat buku besar, meskipun tidak membahas jaminan privasi.