Zcash завершив оновлення мережі Ironwood, замінивши вразливий shielded-пул Orchard на формально перевірену альтернативу, призначену для запобігання непомітному підробленню, а також розпочавши міграцію shielded-коштів у новий пул.
Підсумок
- Zcash активував оновлення Ironwood і замінив Orchard новим формально перевіреним shielded-пулом.
- Ironwood додає нові гарантії емісії, тоді як Orchard тепер підтримує лише виведення коштів.
- Дослідники завершили машинну перевірку, підтвердивши, що Ironwood не може створювати непомітні підроблені ZEC за припущеннями його дизайну.
- Понад 40 000 ZEC вже переміщено до Ironwood, тоді як близько 3,6 мільйона ZEC залишаються в Orchard.
Згідно з Project Tachyon та командою розробників Zcash, Ironwood активувався за розкладом на висоті блоку 3 428 143 через оновлення мережі NU6.3 у вівторок, представивши новий shielded-пул, який, за словами розробників, відновлює довіру до цілісності емісії Zcash після занепокоєнь щодо Orchard.
Активація відбулася після місяців роботи в кількох організаціях Zcash після того, як дослідники розкрили ваду, яка теоретично могла дозволити створення підроблених ZEC без публічного виявлення.
Хоча Ironwood тепер активний, Orchard перейшов у фазу лише виведення. Користувачі все ще можуть виводити кошти зі старішого shielded-пулу на власний розсуд, але він більше не приймає нову shielded-активність. Дані трекера міграції Zcash показують, що приблизно 40 207 ZEC вже переміщено до Ironwood, тоді як майже 3,6 мільйона ZEC залишаються в Orchard, очікуючи міграції.
ZEC (ZEC) короткочасно впав приблизно на 9% до близько $460 після оновлення, перш ніж відновитися до приблизно $475, згідно зі сторінкою цін crypto.news. Токен уже зазнав значної волатильності після того, як вразливість Orchard стала публічною, втративши понад половину своєї вартості, перш ніж пізніше відскочити від приблизно $45 у вересні минулого року до майже $700 до кінця року.
Ironwood додає новий обліковий кордон
Новий shielded-пул замінює Orchard після того, як дослідники виявили те, що стало відомо як "нескінченна" помилка Orchard. Згідно з Shielded Labs, дослідник Тейлор Горнбі виявив ваду наприкінці травня в zero-knowledge-схемі Orchard. Розробники заявили, що проблема теоретично могла дозволити зловмиснику створювати підроблені ZEC без негайного виявлення, хоча вони також зазначили, що не знайшли доказів того, що вразливість коли-небудь використовувалася.
Екстрені оновлення на початку червня тимчасово відключили Orchard, перш ніж розробники розгорнули виправлений код схеми через хардфорк NU6.2. Навіть після виправлення вади розробники заявили, що модель конфіденційності Zcash не дозволяє нікому з упевненістю довести, що прихована інфляція ніколи не відбувалася, що спонукало до роботи над заміною shielded-пулу замість того, щоб покладатися лише на виправлену реалізацію Orchard.
Ironwood впроваджує окрему систему обліку з власним деревом зобов'язань, набором нуліфікаторів та ланцюговим пулом вартості, що дозволяє вузлам відстежувати новий shielded-пул незалежно. Згідно з технічною документацією проєкту, оновлення також встановлює публічну контрольну точку обліку, відому як турнікет, що дозволяє коштам виходити з Orchard, запобігаючи виведенню більшої вартості, ніж було легітимно внесено в старіший пул.
Розробники заявили, що механізм призначений для утримання будь-яких гіпотетичних підроблених монет усередині Orchard, дозволяючи незалежну перевірку того, що обігова емісія Zcash продовжує дотримуватися ліміту мережі в 21 мільйон ZEC.
Формальна верифікація посилила модель безпеки Ironwood
Поруч із активацією мережі Project Tachyon оголосив, що дослідники завершили перевірену машиною математичну доведення, що охоплює цілісність балансу Ironwood, що забезпечує додаткову впевненість у тому, що новий захищений пул не може створювати вартість понад те, що публічно надійшло в нього за заявлених криптографічних припущень.
За словами Project Tachyon, доведення було написане мовою програмування Lean і складається з понад 2700 теорем, розроблених протягом більш ніж місяця трьома командами дослідників і криптографів.
Дослідники заявили, що їхня робота формально перевіряє компоненти, необхідні для цілісності балансу, включаючи систему доведення з нульовим розголошенням Ironwood, правила схем і бухгалтерський облік на рівні реєстру. Вони також уточнили, що верифікація не поширюється на окремі гарантії конфіденційності Ironwood.
Коментуючи роботу, співзасновник Zcash Шон Боуї заявив, що спільні зусилля команд усунули джерела невиявних помилок підробки з нового протоколу Ironwood.
Новий захищений пул також включає квантово-відновлювані нотатки ZIP 2005, що дозволяє майбутній механізм відновлення, якщо досягнення в квантових обчисленнях зрештою послаблять поточні криптографічні захисти. Згідно зі специфікацією ZIP, ця функція не робить поточні транзакції Zcash квантово-безпечними, оскільки окремий протокол відновлення все одно потрібно буде розробити та активувати в майбутньому.
Екосистемні команди координували розгортання
Ironwood був розроблений у співпраці між Shielded Labs, Zcash Open Development Lab (ZODL), Project Tachyon, Valar Group та Zcash Foundation.
Shielded Labs, співзасновником якої є засновник Zcash Зуко Вілкокс, спочатку запропонувала замінити Orchard, щоб відновити перевірений облік пропозиції після того, як вразливість стала публічною.
Тим часом виконавчий директор ZODL Джош Свіхарт сказав на X, що інженери його організації внесли 82% об'єднаних змін у репозиторії протоколу та гаманців Zcash під час заміни Orchard. Свіхарт додав, що Orchard було виправлено протягом п'яти днів, перш ніж розробники завершили процес заміни приблизно за 60 днів.
Оновлення NU6.3 також завершує ще один давно запланований перехід у мережі. Згідно з Zcash Foundation, старіше програмне забезпечення вузла zcashd більше не підтримує нові правила консенсусу, що робить Zebra обов'язковою реалізацією вузла після активації.
Перш ніж Ironwood досяг мережі, виконавчий директор Shielded Labs Джейсон Макгі попередив, що біржі, постачальники гаманців і майнінгові пули одночасно готувалися мігрувати з zcashd на новий програмний стек Z3, а також оновлюватися для Ironwood. Макгі сказав, що деяким операторам інфраструктури потрібен додатковий час, хоча в кінцевому підсумку не було прийнято рішення відкласти оновлення мережі.
Тепер, коли Ironwood запущено, а міграція Orchard триває, увага зосереджена на переміщенні решти захищених коштів через турнікет, поки мережа поступово виводить з експлуатації старіший пул за новою моделлю обліку.
