Розробники Zcash активували оновлення Ironwood на висоті блоку 3,428,143 у межах мережевого апгрейду NU6.3, замінивши захищений пул Orchard на формально верифіковану альтернативу. Заміна була виконана після того, як дослідниця Тейлор Хорнбі наприкінці травня повідомила про проблему “infinity bug” в Orchard, що створювала теоретичний ризик неконтрольованого невиявного створення ZEC. Таке створення неможливо було б виявити. Вразливість в одному з ключових механізмів конфіденційності Zcash спричинила, як описували розробники, спринт у режимі “воєнного часу”, щоб розгорнути повну заміну замість патча.
Hornby Дослідниця виявила Orchard infinity bug наприкінці травня
Тейлор Хорнбі, дослідниця в Shielded Labs, виявила Orchard infinity bug наприкінці травня. Недолік існував глибоко всередині zero-knowledge-схеми Orchard і створював теоретичний ризик карбування фальшивих ZEC без залишення будь-якого публічно виявного сліду. Ознак того, що вразливість колись використовували, не з’явилося. Після того як інформація стала публічною, ZEC втратила понад половину своєї вартості.
Аварійні патчі, розгорнуті на початку червня, тимчасово вимкнули Orchard. Виправлена схема надійшла через хардфорк NU6.2 протягом п’яти днів. Розробники заявили, що математично неможливо довести з упевненістю, що прихована інфляція ніколи не відбувалася в старому пулі, тож повна заміна була єдиним шляхом відновити перевірювану цілісність пропозиції.
Співзасновниця Shielded Labs Зуко Вілкокс спершу запропонував замінити Orchard повністю. Далі відбулися приблизно 60 днів скоординованої розробки між Shielded Labs, Zcash Open Development Lab (ZODL), Project Tachyon, Valar Group і Zcash Foundation. Виконавчий директор ZODL Джош Свіхарт заявив, що інженери з його організації внесли 82% об’єднаних змін у репозиторії протоколу та гаманця Zcash під час зусиль із заміни.
Ironwood Запровадила окрему систему обліку та нотатки, які можна відновити квантово
Ironwood запровадила цілком окрему систему обліку з власним деревом комітментів нотаток, набором nullifier та пулом значення ланцюга. Така структура дає змогу будь-якій ноді відстежувати новий захищений пул незалежно від усього, що було раніше.
Оновлення встановило публічну точку обліку, яку проєкт описав як турнікет. Гроші можуть виходити з Orchard через цей турнікет, але механізм математично запобігає тому, щоб більше вартості виходило, ніж законно було введено в старіший пул. Будь-які гіпотетичні фальшиві монети, карбовані в Orchard до або під час вікна вразливості, були б там назавжди “зафіксовані”, не здатні забруднити облік пропозиції Ironwood.
Новий пул включив нотатки ZIP 2005, які можна відновити квантово. Функція не робить транзакції Zcash квантово захищеними сьогодні — окремий протокол відновлення все ще потрібно буде спроєктувати та активувати в майбутньому. Оновлення NU6.3 зробило Zebra необхідною реалізацією ноди, завершивши підтримку старого ПЗ zcashd у всій мережі.
Project Tachyon завершив формальну верифікацію з 2 700 теорем
Project Tachyon завершив комп’ютерно перевірений математичний доказ разом із розробниками Zcash. Доказ, записаний мовою програмування Lean, складається з понад 2 700 теорем, розроблених понад місяць трьома командами дослідників і криптографів. Доказ формально верифікує, що Ironwood не може створити невиявні фальшиві ZEC за заявленими припущеннями про проєкт.
Доказ охоплює компоненти, необхідні для цілісності балансу: систему zero-knowledge-доказів Ironwood, правила для схем і облік на рівні ledger. Співзасновник Zcash Шон Боу заявив: “Співпраця між командами щойно назавжди змінила історію Zcash, усунувши всі джерела невиявних помилок фальшивомонетництва в новому протоколі Ironwood”.
Формальна верифікація охоплює лише цілісність балансу, але не поширюється на окремі гарантії конфіденційності Ironwood. Здатність пропозиції бути “звучною” (supply soundness) та конфіденційність транзакцій — це різні властивості, і доказ адресує лише першу.
Міграційний трекер показує, що 40 207 ZEC переміщено до Ironwood
Orchard увійшов у фазу “тільки вихід”. Пул більше не приймає нову захищену активність, але користувачі все ще можуть знімати кошти на власний розсуд. Згідно з міграційним трекером Zcash, приблизно 40 207 ZEC перейшли в Ironwood від моменту активації. Приблизно 3,6 мільйона ZEC залишаються всередині Orchard у очікуванні міграції.
У піковий момент Orchard обліковував майже 88% пропозиції захищених токенів Zcash, за даними The Block, тоді як решту становили старі пули Sapling і Sprout.
FAQ
Що таке оновлення Zcash Ironwood?
Ironwood — це мережеве оновлення Zcash, яке замінило вразливий захищений пул Orchard на формально верифікований захищений пул. Воно активувалося на висоті блоку 3,428,143 як частина хардфорка NU6.3.
Навіщо було потрібне оновлення Ironwood?
Оновлення було необхідне, бо “infinity bug”, виявлена в пулі Orchard наприкінці травня, створювала теоретичний ризик невиявного створення фальшивих ZEC. Розробники заявили, що математично неможливо довести, що цю вразливість ніколи не експлуатували, тож потрібна була повна заміна, а не покладання лише на патч.
Що відбувається з коштами, які все ще є в пулі Orchard?
Orchard увійшов у фазу “тільки вихід”. Користувачі все ще можуть знімати кошти з нього, але пул більше не приймає нові захищені транзакції. Приблизно 3,6 мільйона ZEC залишаються в Orchard у очікуванні міграції до Ironwood, тоді як близько 40 207 ZEC уже перемістилися через це.
