吴说获悉,Zcash 开发团队表示,计划通过即将推出的新隐私池 Ironwood 引入形式化验证(Formal Verification),以数学证明方式消除“无法检测的增发漏洞(Undetectable Counterfeiting)”风险。团队称,此前 Orchard 屏蔽池存在的漏洞虽已完成修复且暂无证据显示遭利用,但由于理论上无法通过链上历史确认是否曾发生隐蔽增发,因此社区决定推出全新的 Ironwood 屏蔽池,并对其协议进行全面形式化验证。

ZEC12,81%
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
  • Награда
  • 4
  • 1
  • Поделиться
комментарий
Добавить комментарий
Добавить комментарий
NekoValidator
· 1ч назад
Наконец-то кто-то осмелился прямо взглянуть на скрытые угрозы Orchard, Ironwood можно считать перезапуском с нуля, с нетерпением жду аудиторского отчета после открытия исходного кода.
Посмотреть ОригиналОтветить0
GateUser-a9315d81
· 4ч назад
Математическое доказательство в качестве подстраховки звучит красиво, но стоимость и сложность формальной верификации тоже немаленькие, выдержит ли команда финансово?
Посмотреть ОригиналОтветить0
MildlyRugged
· 4ч назад
От «необнаружимо» до «доказуемо» — этот путь сам по себе требует восстановления доверия сообщества, будем наблюдать.
Посмотреть ОригиналОтветить0
VolatilityOfToastingBread
· 4ч назад
Формальная верификация на цепочке, Zcash на этот раз намерен намертво соединить конфиденциальность и детерминированность, довольно хардкорно.
Посмотреть ОригиналОтветить0
  • Закреплено