Фонд Zcash випустив Zebra 4.5.3 та Zebra 5.0.0 після того, як інженери виявили та виправили критичну помилку цілісності (soundness bug) у схемі Orchard Action.

Фонд повідомив, що Zebra 4.5.3 активувала аварійний софтфорк на висоті блоку мейннету 3 363 426. Цей випуск тимчасово відхиляв транзакції та блоки, що містять дії Orchard, поки інженери готували виправлену схему.

Софтфорк запрацював приблизно о 02:00 UTC 2 червня після того, як попередня спроба координації зіткнулася з проблемами розгортання патча. Фонд заявив, що приватна координація з майнерами та біржами розпочалася 31 травня, щоб зменшити ймовірність експлуатації до публічного розкриття.

NU6.2 відновлює екрановані транзакції

Zebra 5.0.0 активувала хардфорк NU6.2 на висоті блоку мейннету 3 364 600. Оновлення повторно ввімкнуло дії Orchard з виправленою схемою та спрямувало докази Orchard на новий ключ перевірки для кожної схеми. Цей випуск також ознаменував друге оновлення протоколу, зумовлене безпекою, в історії Zcash з 2016 року.

Хардфорк був необхідний, оскільки виправлення схеми доказу з нульовим розголошенням вимагає нового закріпленого ключа перевірки. 

«Ми наполегливо закликаємо всіх операторів нод якнайшвидше оновитися до Zebra 5.0.0», — заявив Фонд Zcash.

Експлойтів не виявлено

Помилку виявив 29 травня незалежний дослідник безпеки Тейлор Хорнбі під час аудиту протоколу для Shielded Labs. Інженери ZODL Дайра-Емма Хопвуд, Кріс Наттікомб та Джек Грігг підтвердили проблему протягом кількох годин і розпочали роботу над виправленням.

Фонд заявив, що недолік міг дозволити недійсні зміни стану всередині Orchard та можливе подвійне витрачання в межах цього пулу. Він також зазначив, що механізм турнікета Zcash захистив загальну пропозицію ZEC, і «немає доказів створення несанкціонованої цінності». Уражений код включав старіші версії halo2_gadgets, orchard та zcash_primitives, а також версії zcashd від 5.0.0 до 6.12.3.

Чому Orchard залишається важливим

Orchard — це найновіший екранований пул Zcash та основна частина його системи конфіденційності. Він був запущений з NU5 у 2022 році та використовує Halo 2, що усунуло потребу в довіреній установці. Такий дизайн зробив Orchard ключовою частиною поточної дорожньої карти конфіденційності Zcash.

Відповідне ринкове висвітлення останнім часом зосереджувалося на зростанні використання екранованих транзакцій Zcash. Нещодавній звіт показав, що близько 30% пропозиції ZEC перемістилося в екрановані пули, причому Orchard утримує 4,2 мільйона ZEC та більшу частину нещодавнього зростання.

Фонд заявив, що конфіденційність користувачів не постраждала під час інциденту. Транзакції Sapling та прозорі транзакції також продовжували працювати нормально, поки дії Orchard залишалися призупиненими.

Оператори нод тепер стикаються з головним завданням оновлення до Zebra 5.0.0, а не покладаючись на старіші версії. Оператори, які залишилися на неправильному форку після NU6.2, можливо, доведеться повторно синхронізуватися з нуля або відновити дані з резервної копії, зробленої до активації.