Разработчики Zcash приближаются к математическому доказательству защиты от ошибок подделки

Разработчики Zcash во вторник объявили, что они приближаются к математическому доказательству того, что предстоящий shielded-пул Ironwood протокола не содержит необнаруживаемую ошибку подделки. Project Tachyon представил новые детали своих усилий по верификации для Zcash Ironwood shielded-пула, а основатель Zooko Wilcox заявил, что проект находится на пороге создания математического доказательства отсутствия необнаруживаемых ошибок подделки в последних shielded-пулах Zcash. Объявление касается опасений, возникших из-за критической уязвимости, раскрытой в прошлом месяце в Orchard shielded-пуле Zcash, которая поставила под вопрос целостность системы приватности сети и сложность криптографического доказательства отсутствия скрытых уязвимостей в архитектурах, основанных на доказательствах с нулевым разглашением.

Нативный токен Zcash ZEC вырос более чем на 12% во вторник после объявления, подняв криптовалюту выше 500 долларов. Это самый высокий уровень ZEC с начала июня, когда раскрытие критической уязвимости в Orchard shielded-пуле Zcash привело к падению ориентированной на приватность криптовалюты более чем на 40% всего за два дня.

Project Tachyon Outlines Ironwood Verification Approach

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

June Orchard Vulnerability Caused 40% Price Drop

Уязвимость, раскрытая в начале июня, могла позволить злоумышленнику создавать поддельные ZEC внутри Orchard shielded-пула без обнаружения. Разработчики быстро исправили ошибку и заявили, что считают, что она никогда не была использована. Однако дизайн приватности Zcash сделал невозможным криптографическое доказательство отсутствия эксплуатации. Shielded-пулы Zcash полагаются на доказательства с нулевым разглашением, которые скрывают суммы транзакций, а это означает, что ошибки в этих доказательствах могут позволить создавать поддельные монеты, не оставляя публично обнаруживаемых следов.

Former NEAR Contributor Compares Zcash to Bitcoin's 2010 Inflation Bug

Бывший участник NEAR Protocol Вадим Закодил сравнил ситуацию с Zcash с инфляционной ошибкой Bitcoin's 2010 inflation bug, когда было создано 184 миллиарда поддельных биткоинов до отката блокчейна. Поскольку транзакции Bitcoin являются публичными, эксплойт был немедленно обнаружен. Однако shielded-пулы Zcash скрывают суммы транзакций с помощью доказательств с нулевым разглашением, что делает обнаружение аналогичных эксплойтов более сложным без методов математической верификации.

FAQ

What did Zcash developers announce on Tuesday? Разработчики Zcash объявили, что они приближаются к математическому доказательству того, что предстоящий shielded-пул Ironwood протокола не содержит необнаруживаемую ошибку подделки. Project Tachyon представил новые детали своих усилий по верификации, а основатель Zooko Wilcox заявил, что проект находится на пороге создания математического доказательства для последних shielded-пулов Zcash.

Why did ZEC drop 40% in early June? ZEC упал более чем на 40% всего за два дня в начале июня после раскрытия критической уязвимости в Orchard shielded-пуле Zcash. Уязвимость могла позволить злоумышленнику создавать поддельные ZEC внутри Orchard shielded-пула без обнаружения, хотя разработчики быстро исправили ошибку и заявили, что считают, что она никогда не была использована.

How does Zcash's privacy design differ from Bitcoin's transparency? Shielded-пулы Zcash полагаются на доказательства с нулевым разглашением, которые скрывают суммы транзакций, а это означает, что ошибки в этих доказательствах могут позволить создавать поддельные монеты, не оставляя публично обнаруживаемых следов. Транзакции Bitcoin являются публичными, поэтому эксплойты, такие как инфляционная ошибка Bitcoin's 2010 inflation bug, создавшая 184 миллиарда поддельных биткоинов, были немедленно обнаружены, и блокчейн был откатан.