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 menetapk
ZEC+1,16%
GateNews·07-29 01:19
