По данным Project Tachyon, во вторник исследователи Zcash завершили формальную верификацию Ironwood, опубликовав машинно-проверяемое доказательство того, что новая защищённая пульса сети не содержит не обнаруживаемых багов с подделками при заявленных криптографических допущениях.

Доказательство, написанное на языке программирования Lean, включает более 2 700 теорем и было подготовлено тремя командами исследователей и криптографов в течение более чем месяца. Работа подтверждает целостность баланса: защищённая пульса не может выплатить больше величины, чем публично в неё поступило. Доказательство охватывает систему доказательств с нулевым разглашением Ironwood, правила схем (circuit rules) и учёт на уровне реестра, хотя оно не рассматривает гарантии конфиденциальности.

Посмотреть источник

Дисклеймер: Информация на этой странице может быть получена из источников третьих сторон и предоставляется только для ознакомления. Она не отражает взгляды или мнения Gate и не является финансовой, инвестиционной или юридической рекомендацией. Торговля виртуальными активами связана с высоким риском. Пожалуйста, не основывайте свои решения исключительно на данных этой страницы. Подробнее смотрите в Дисклеймере.

Связанные новости

5ч назад

Zcash активирует обновление Ironwood, закрывает пул Orchard и вынуждает миграцию активов на $1,8 млрд 28 июля

8ч назад

Обновление Zcash Ironwood активировало новый защищённый пул после уязвимости Orchard

11ч назад

Zcash активирует обновление Ironwood NU6.3 на блоке 3 428 143 и запускает новый защищённый пул 28 июля

16ч назад

Мобильный кошелёк Zcash Zodl запускает iOS-версию 3.8.0 с поддержкой Ironwood NU6.3

18ч назад

Zcash активирует обновление Ironwood 28 июля, усиливая инфраструктуру конфиденциальности

Детальный анализ