Zcash завершил проверку доказательства Ironwood на наличие фальшивых багов

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

Проект Tachyon публикует lean-доказательство с 2 700+ теоремами

Проект Tachyon во вторник сообщил, что доказательство, написанное на языке программирования Lean, включает более 2 700 теорем и заняло у трёх команд исследователей и криптографов более месяца, чтобы завершить работу. Это исследование устанавливает свойство безопасности, известное как целостность баланса (balance integrity), предназначенное для того, чтобы защищённый пул не мог выплатить больше стоимости, чем публично в него поступило.

Верификация охватывает систему доказательств с нулевым разглашением и правила схемы

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

Ironwood реагирует на уязвимость в Orchard защищённом пуле

Ironwood был представлен в рамках апгрейда Zcash NU6.3 в ответ на уязвимость, обнаруженную в его Orchard защищённом пуле, которая теоретически могла позволить необнаруживаемую подделку ZEC. Разработчики Zcash заявили, что не нашли доказательств того, что уязвимость была использована. Новый пул был разработан, чтобы восстановить доверие к целостности выпуска Zcash.

Механизм turnstile блокирует гипотетические «лишние» монеты в Ironwood

Средства, мигрирующие из Orchard, должны проходить через публичный контрольный пункт учёта, известный как turnstile, который предназначен для предотвращения попадания любых гипотетических «лишних» монет в Ironwood. По мере того как средства покидают Orchard, этот процесс также может давать нарастающие свидетельства о том, был ли использован старый пул.

FAQ

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

Почему Ironwood был представлен через апгрейд Zcash NU6.3?
Ironwood был представлен в рамках апгрейда Zcash NU6.3 в ответ на уязвимость, обнаруженную в его Orchard защищённом пуле, которая теоретически могла позволить необнаруживаемую подделку ZEC. Новый пул был разработан, чтобы восстановить доверие к целостности выпуска Zcash.

Что такое механизм turnstile в Ironwood?
Turnstile — это публичный контрольный пункт учёта, через который должны проходить средства, мигрирующие из Orchard. Он предназначен для предотвращения попадания любых гипотетических «лишних» монет в Ironwood.