Zcash Новый приватный пул Ironwood будет использовать формальную верификацию для устранения необнаруживаемых уязвимостей эмиссии.

火星财经消息,Zcash 开发团队宣布计划通过即将推出的新隐私池 Ironwood 引入形式化验证,以数学证明方式消除“无法检测的增发漏洞”风险。此前消息,Orchard 屏蔽池存在的漏洞虽已完成修复且暂无证据显示遭利用,但由于理论上无法通过链上历史确认是否曾发生隐蔽增发,因此社区决定推出全新的 Ironwood 屏蔽池,并对其协议进行全面形式化验证。
ZEC3,23%
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
  • Награда
  • комментарий
  • Репост
  • Поделиться
комментарий
Добавить комментарий
Добавить комментарий
Нет комментариев
  • Закреплено