Zcash завершує формальну верифікацію Ironwood: правила доказу для 2 700 теорем усувають можливість недетектованого підроблення
Згідно з Project Tachyon, у вівторок дослідники Zcash завершили формальну верифікацію Ironwood, опублікувавши машинно перевірений доказ того, що новий захищений пул мережі не містить невиявлених фальшивок-багів за наведеними криптографічними припущеннями. Доказ, написаний мовою програмування Lean, містить понад 2 700 теорем і був підготовлений трьома командами дослідників і криптографів упродовж більш ніж місяця. Робота встановлює цілісність балансу, гарантуючи, що захищений пул не може виплатит
ZEC+1,16%
GateNews·07-29 01:19
