Запущено Ironwood, тоді як Zcash блокує Orchard і змушує провести міграцію на суму 1,8 млрд доларів

Оновлення NU6.3 було запущено 28 липня на висоті блоку 3 428 143, запровадивши окремий захищений пул Ironwood, новий формат транзакцій та обов’язкову контрольну точку обліку для коштів, що виходять з Orchard. Нові захищені платежі тепер спрямовуються до Ironwood, тоді як функціонал Orchard обмежено лише виведенням коштів.

Ця зміна стала наслідком виявлення критичної криптографічної вразливості, яка залишалася в системі Orchard з моменту запуску пулу в травні 2022 року. Незалежний дослідник у галузі безпеки Тейлор Хорнбі виявив цю вразливість 29 травня під час аудиту за допомогою штучного інтелекту (ШІ), проведеного за контрактом для компанії Shielded Labs з використанням моделі Claude Opus 4.8 від Anthropic.

Вразливість, що створює ризик підробки

Уразливість стосувалася компонента скалярного множення на еліптичній кривій у системі підтвердження Halo 2. Недосконалі обмеження схеми могли б дозволити зловмиснику генерувати підроблені ноти Orchard, які виглядали б дійсними та містили унікальні нуліфікатори, не відрізнимі від легітимних транзакцій.

Розробники заявили, що немає доказів того, що ця вразливість була використана, не виявлено несанкціонованого створення ZEC, а також не відомо про втрату коштів користувачів чи порушення їхньої конфіденційності. Однак архітектура конфіденційності Orchard не дозволяє дослідникам остаточно реконструювати її внутрішню історію, щоб довести, що зловживання ніколи не відбувалося.

Існуюча архітектура «турнікета» Zcash запобігла перевищенню загального обсягу пропозиції, встановленого протоколом на рівні 21 мільйона ZEC. Незважаючи на це, вразливість підірвала впевненість у тому, що кожна монета, яка перебуває в приватному обігу всередині Orchard, була створена законним шляхом.

Розробники Zcash відреагували протягом кількох днів. Екстрений м’який форк тимчасово обмежив діяльність Orchard, а на початку червня відбувся жорсткий форк NU6.2, який виправив схему та відновив функціональність. Ironwood став довгостроковим рішенням, яке дозволило уникнути залежності мережі від виправленої версії того самого пулу.

Ironwood створює нову межу обліку

Ironwood підтримує окреме дерево зобов’язань за нотами, набір нуліфікаторів, історію ланцюга та пул значень. Старий пул Orchard не може створювати нові виходи або обробляти внутрішні перекази, тому його залишки коштів виходять через публічний турнікет протоколу.

Цей контрольний пункт гарантує, що загальна сума, яка виходить з Orchard, не може перевищувати суму, яка законно надійшла до нього. Будь-які гіпотетичні підроблені банкноти, створені через стару вразливість, залишатимуться заблокованими, оскільки вони не зможуть перейти до Ironwood без порушення публічно встановленого облікового ліміту.

Така архітектура дозволяє операторам вузлів перевіряти обіговий запас Zcash, аналізуючи залишки в Ironwood, Sapling, Sprout та решту перевіреної вартості Orchard. У міру міграції законних користувачів залишок Orchard повинен зменшуватися, створюючи дедалі вужчу верхню межу для будь-яких потенційних прихованих порушень.

За повідомленнями, на момент активації Orchard мав у своєму розпорядженні від 3,6 до 3,76 мільйона ZEC, що за тодішніми цінами становило приблизно від 1,7 до 1,9 мільярда доларів. Ironwood розпочав роботу з нульовим балансом, хоча ранні дані моніторингу показували, що незабаром після активації до нового пулу надійшли десятки тисяч ZEC.

Формальна верифікація та квантове відновлення

Проєкт Tachyon та інші учасники застосували формальну верифікацію, незалежні аудити та аналіз із використанням штучного інтелекту до критичних схем Ironwood та допоміжних бібліотек. Мета цієї роботи полягала в тому, щоб математично виключити категорію необмежених криптографічних операцій, які спричинили вразливість Orchard.

Ironwood також реалізує квантово-відновлювані ноти відповідно до стандарту ZIP 2005. Ця функція не робить Zcash стійким до квантових обчислень на сьогодні, але створює шлях відновлення, який може дозволити користувачам повернути кошти, якщо майбутні прориви в науці порушать криптографію, що захищає пул.

Провайдери гаманців, біржі та оператори вузлів повинні оновити своє програмне забезпечення для підтримки NU6.3. Zodl, Cake Wallet та інші сервіси випустили або запланували випуск інструментів для міграції, тоді як операторам інфраструктури було рекомендовано перейти на програмний стек Z3 на базі Zebra, оскільки підтримка застарілого клієнта zcashd була припинена.

Ціна ZEC знижується, хоча річний приріст залишається стабільним

Після активації ZEC торгувався на рівні близько 466 доларів, знизившись на 4,8% за 24 години, на 14,1% за сім днів і на 15,7% за 14 днів. Протягом 30 днів криптовалюта все ще демонструвала зростання на 19,2%, а за рік — понад 1 000%, що підкреслює розбіжність між короткостроковими продажами та її довгостроковим зростанням.

Зниження опустило курс ZEC нижче 500 доларів на тлі ослаблення ринку криптовалют у цілому напередодні рішення Федеральної резервної системи щодо монетарної політики 29 липня. Обсяг торгів залишився на рівні близько 300 мільйонів доларів, що свідчить про активне перерозподілення позицій, а не про обвал ліквідності.

Ironwood не змінює модель конфіденційності Zcash або максимальний обсяг емісії. Найближчим випробуванням для нього стане те, чи зможуть гаманці, біржі та користувачі безперешкодно перенести залишки на Orchard, зберігаючи при цьому конфіденційність. Його більш широке значення залежить від того, чи зможуть формальні методи та публічний облік за принципом «турнікета» зміцнити довіру до приватних цифрових грошей без шкоди для секретності, яку ці системи покликані забезпечувати.