28 липня мережа Zcash увімкнула оновлення Ironwood і замінила приватний пул Orchard, де у травні знайшли вразливість для підробки монет. Розробники стверджують, що тепер вивести з мережі більше ZEC, ніж туди реально занесли, математично неможливо. Для монети, головна цінність якої полягає в конфіденційності транзакцій, сама можливість непомітно надрукувати зайві монети стала екзистенційною загрозою.
Що активувала мережа 28 липня
NU6.3, кодова назва Ironwood, замінила Orchard, приватний пул, що ховає суми й адреси у транзакціях ZEC. У ньому лежало приблизно 3,7 мільйона монет, це близько $1,7 млрд за поточним курсом. Стара версія лишається у мережі, але тільки для виведення. Закрити позицію в Orchard ще можна, а завести нову вже ні.
Приватні пули в Zcash змінювалися й раніше. Мережа стартувала 2016 року зі схемою Sprout, у 2018-му перейшла на Sapling, а у 2022-му запровадила Orchard разом з новою системою доведень Halo 2. Кожен перехід вимагав міграції коштів між пулами, і Ironwood продовжує цю традицію вже вчетверте.
За розробку відповідають одразу дві структури: некомерційний Zcash Foundation і компанія Electric Coin Company, яка створила протокол ще у 2016 році. Project Tachyon, команда, що безпосередньо писала код Ironwood, працює під їхньою егідою. Спільнота обговорювала перехід ще на початку місяця, коли постало питання, чи встигнуть біржі й гаманці підготуватися до дедлайну, і зрештою оновлення активували день у день з планом.
У чому була загроза для приватних ZEC?
У травні дослідник безпеки Тейлор Горнбі знайшов у коді Orchard баг, якому було чотири роки. Теоретично він дозволяв карбувати ZEC з повітря. Через закриту природу приватних транзакцій перевірити, чи хтось цим скористався, було неможливо.
Горнбі повідомив про вразливість приватно, за стандартною процедурою відповідального розкриття, і дав командам розробників час підготувати виправлення до публікації деталей. Це пояснює, чому між виявленням багу в травні та повним технічним рішенням минуло майже три місяці.
Ціна монети впала на 38% за кілька днів після новини, хоча ще навесні ZEC демонстрував один з найкращих результатів серед провідних криптовалют за рік. Розробники Zcash і команда Project Tachyon одразу почали працювати над Ironwood, і вже в червні курс відновив половину втрат, додавши близько $2,5 млрд капіталізації на самих очікуваннях виправлення.
Як turnstile не дає з'явитися фальшивим монетам?
У серці Ironwood працює механізм, який розробники назвали turnstile, буквально турнікет. Він рахує баланс на рівні всієї мережі й не дозволяє вивести з пулу жодної монети понад ту суму, яку туди перевірено занесли.
У попередніх версіях Zcash баланс перевірявся лише всередині кожного окремого доказу з нульовим розголошенням, і саме там міг ховатися пропущений випадок. Turnstile додає ще один рівень, а саме облік на рівні всієї мережі, який не залежить від коректності кожного окремого доказу. Це схоже на систему подвійного контролю в банках, де одна перевірка ловить помилки алгоритму, а інша стежить за самими грошима, що заходять і виходять.
Навіть якщо десь у коді сховався ще один баг, підробити ZEC через нього вже не вийде. Загальний облік просто не пропустить фальшиву монету повз турнікет.
- Облік балансу: мережа перевіряє суму на вході й виході з пулу на кожному блоці.
- Нові монети не можуть з'явитися без відповідного депозиту в старому чи новому пулі.
- Перехід гаманців з Orchard в Ironwood відбувається поступово, без примусового дедлайну для користувачів.
- Публічна частина транзакції лишається відкритою для аудиту, а приватна частина захищена доказом з нульовим розголошенням.
- Блокчейн-експлорери тепер показують баланси старого й нового пулу окремо, щоб полегшити аудит переходу.
Чому 2700 математичних доведень мають значення?
Команда Project Tachyon залучила три групи дослідників. За місяць роботи вони склали понад 2700 машинно перевірених теорем мовою Lean, яку раніше застосовували здебільшого математики для доведення теорем, а не розробники криптовалют.
Це формальний доказ того, що код Ironwood робить рівно те, що описано у специфікації, ні більше і ні менше. Такий рівень перевірки прийнято в авіації чи ядерній енергетиці, але перевірка цілого пулу на 2700 теорем стала новим рівнем для всієї криптоіндустрії. Подібні незалежні докази вже почали використовувати й інші проєкти з доказами з нульовим розголошенням, хоча жоден поки не публікував настільки об'ємний пакет теорем.
Автори проєкту наголошують, що докази стосуються цілісності балансу, а не приватності самих транзакцій. Це різні речі, і другий пункт формальній верифікації поки не піддається.
Що робити власникам ZEC зараз?
Перехід у новий пул несе побічний ефект. Поки гаманець переводить кошти з Orchard в Ironwood, частина метаданих, як-от IP-адреса чи приблизний баланс, може стати видимою стороннім спостерігачам. Розробники радять на час міграції користуватися Tor або VPN, якщо приватність критична.
Біржі на кшталт Binance також оновлюють підтримку Ironwood зі свого боку, тому переказ ZEC на гарячий гаманець біржі під час міграції варто відкласти на кілька днів, поки мережа не стабілізується. Повний перехід усіх коштів з Orchard в Ironwood, за оцінками команди, займе кілька місяців, адже частина гаманців ще не оновила підтримку нового пулу.
Для великих сум варто зберігати ключі в апаратному гаманці на кшталт Ledger, а сам переказ у новий пул проводити частинами. Bitcoin працює на прозорому реєстрі, де всі транзакції видно одразу. Zcash за задумом ховає ці дані, і будь-яка зміна протоколу зачіпає саме той механізм, заради якого монету купують. У перші години після активації курс ZEC суттєво не змінився, і трейдери сприйняли це як ознаку довіри до нового коду.
Коментарі
Ваша e-mail адреса не оприлюднюватиметься. Обов'язкові поля позначені *