29 травня 2026 року дослідник у сфері безпеки Тейлор Горнбі виявив критичну вразливість підробки в захищеному пулі Orchard проєкту Zcash. Ця вразливість стосувалася компонента доказів з нульовим розголошенням у схемі Orchard. Через недостатньо суворе обмеження в схемі зловмисник міг вводити довільні помилкові дані у множення на еліптичній кривій, що дозволяло створювати необмежену кількість підроблених ZEC без можливості виявлення.
Прихованість цієї вразливості випливає з основної архітектури пулу приватності Zcash — докази з нульовим розголошенням приховують суми транзакцій, інформацію про відправника та отримувача. Якщо вразливість поєднується з механізмами приватності, система стикається з фундаментальною дилемою: навіть після виправлення багу криптографічно неможливо ретроспективно перевірити, чи була ця вразливість колись використана.
Розробники терміново випустили виправлення через хардфорк NU6.2 3 червня 2026 року. Однак це рішення не усунуло глибшу проблему — як надати перевірюваний доказ того, що подібні вразливості відсутні у всій системі пулу приватності. Саме це завдання зараз вирішує формальна верифікація в межах проєкту Tachyon.
Чому традиційні виправлення вразливостей не можуть повністю подолати дефіцит довіри у протоколах приватності
У прозорих блокчейнах вразливості та їх використання зазвичай можна відстежити за допомогою даних у ланцюжку. Класичний приклад — інфляційний баг у Bitcoin у 2010 році: зловмисник створив 184 мільярди фальшивих біткоїнів, але завдяки прозорості Bitcoin проблему негайно виявили й ланцюжок було відкочено.
Пул приватності Zcash працює зовсім інакше. Захищений пул Orchard використовує докази з нульовим розголошенням для приховування деталей транзакцій, тому у разі експлуатації вразливості підроблені ZEC не залишили б жодних слідів у ланцюжку. Після виправлення Фундація Zcash заявила, що немає доказів використання багу, але також визнала: криптографічно це довести неможливо.
Ця властивість — «можна виправити, але неможливо перевірити» — створює унікальну дилему довіри для протоколів приватності. Ринок відреагував швидко й різко: після оприлюднення інформації курс ZEC впав більш ніж на 40% лише за два дні. Така динаміка відображає не лише технічний ризик, а й занепокоєння інвесторів щодо структурної проблеми — неможливості перевірити, чи була вразливість використана.
Як формальна верифікація усуває ризики невиявленої підробки на математичному рівні
Формальна верифікація проєкту Tachyon — це насамперед математичний метод доведення. На відміну від традиційних аудитів коду, що ґрунтуються на ручному перегляді та тестуванні, формальна верифікація використовує математичні докази для підтвердження відсутності певних класів дефектів у програмі або криптографічному алгоритмі за визначених умов.
Для Zcash проєкт Tachyon має на меті створити математичний доказ того, що майбутній захищений пул Ironwood не містить такого ж типу невиявленої вразливості підробки, як у пулі Orchard. Засновник Zcash Зуко Вілкокс зазначив, що проєкт «наближається до створення математичного доказу».
Ключовий прорив цього підходу — використання допомоги штучного інтелекту. За даними проєкту Tachyon, генерація доказів із залученням ШІ скоротила обсяг роботи, який раніше займав роки, до кількох тижнів. Це перетворює формальну верифікацію з теоретичного посилення безпеки на практичний інженерний інструмент.
Які глибинні структурні проблеми протоколів доказів з нульовим розголошенням виявила вразливість Orchard?
Тривалість існування вразливості Orchard підкреслює її серйозність. Проблема існувала з моменту активації пулу Orchard у травні 2022 року до її виявлення 29 травня 2026 року — майже чотири роки залишалася непоміченою.
Вразливість не була знайдена під час традиційного аудиту коду, а виявлена за допомогою аудиту з використанням ШІ. Тейлор Горнбі застосував модель Claude Opus 4.8 від Anthropic для цільового аналізу схеми Orchard. Це важливий сигнал для галузі: складність схем доказів з нульовим розголошенням перевищила межі традиційного ручного аудиту, і ШІ стає необхідним інструментом для виявлення таких глибоких недоліків.
Ще глибша проблема полягає в тому, що Orchard базується на системі доказів Halo 2 — сучасній технології доказів з нульовим розголошенням, яка усуває потребу у довіреному налаштуванні. Halo 2 впроваджено для підвищення безпеки та децентралізації. Однак навіть із більш просунутою системою доказів відсутність необхідних обмежень на рівні реалізації схеми може створити системний ризик. Це доводить, що безпека протоколів доказів з нульовим розголошенням залежить не лише від вибору криптографічних примітивів, а й від цілісності та коректності реалізації схеми.
Як оновлення Ironwood змінює механізм перевірки обігу Zcash
Оновлення Ironwood розроблено як системну відповідь на вразливість Orchard. Активація в основній мережі запланована на кінець липня 2026 року.
Основні механізми Ironwood працюють на двох рівнях. По-перше, впроваджується новий пул приватності, що замінить пул Orchard. По-друге, реалізується обліковий механізм Turnstile, який дозволяє будь-кому перевірити обіг Zcash.
Механізм Turnstile покликаний вирішити головний парадокс протоколів приватності: як захистити приватність транзакцій і водночас забезпечити перевірку загального обігу. Відстежуючи рух вартості між різними пулами приватності, Turnstile може підтвердити, що жоден підроблений ZEC не потрапив в обіг — без розкриття окремих транзакцій.
Формальна верифікація Ironwood має на меті математично підтвердити ефективність цього механізму. Якщо доказ проєкту Tachyon буде завершено, це означатиме, що Zcash не лише усунув конкретну вразливість Orchard, а й створив повторювану, математично перевірювану систему гарантій безпеки.
Який потенційний вплив математичних доказів на логіку оцінки приватних монет
Після оголошення про проєкт Tachyon курс ZEC зріс більш ніж на 12%, ненадовго перевищивши $500. Згодом ціна скоригувалася, і станом на 8 липня 2026 року, за даними Gate, ZEC торгується по $464,00 USD. За останні 24 години він зріс на 0,5%; за 7 днів — на 11,8%; за 30 днів — на 4,35%; за 90 днів — приблизно на 42,3%; за 180 днів — на 7,8%; а за рік — на вражаючі 1 030%.
Така багатофазна динаміка курсу відображає постійну увагу ринку до прогресу формальної верифікації та поступове осмислення наслідків попередньої вразливості. Ще важливіше — завершення математичного доказу може змінити саму логіку оцінки приватних монет. До інциденту з Orchard довіра ринку до Zcash ґрунтувалася опосередковано — на криптографічних основах і репутації команди розробників. Формальна верифікація вводить нову точку опори для довіри — сам математичний доказ.
Ця зміна може поширитися й на інші проєкти. Для всього сектору приватних монет можливість математично довести, що «невиявленої вразливості підробки не існує», може стати ключовою ознакою безпеки протоколу. Формальна верифікація перетворюється з «бажаної опції» на «необхідний стандарт» для інфраструктури протоколів.
Які технічні та ринкові бар’єри потрібно подолати для відновлення довіри до протоколів приватності?
Хоча формальна верифікація пропонує технічне рішення, для відновлення довіри потрібно подолати низку перешкод.
Перша — невизначеність у часі. Через механізми приватності Orchard криптографічно неможливо довести, що баг не був використаний до виправлення. Shielded Labs оцінили ймовірність експлуатації як низьку, посилаючись на такі чинники: баг залишався невиявленим протягом чотирьох років, його виявив один із провідних світових дослідників безпеки, а вікно вразливості швидко закрили. Проте це лише непрямі висновки, а не математичний доказ.
Друга — інерція поведінки користувачів. Після інциденту частина користувачів та інвесторів може перейти до інших рішень для приватності. Чи зможе оновлення Ironwood ефективно перевести користувачів зі старого пулу в новий — це безпосередньо вплине на реальне використання та безпеку мережі.
Третя — еволюція галузевих стандартів. Інцидент з Orchard показав, що складність протоколів приватності вже перевищує можливості традиційних аудитів безпеки. У майбутньому ринок може вимагати від проєктів приватності завершення формальної верифікації ще до запуску, а не як реакцію на інциденти. Це підвищить поріг входу для нових проєктів і може прискорити консолідацію галузі.
Висновок
Вразливість Orchard у Zcash оголила глибоку дилему безпеки для протоколів приватності: вразливості можна виправити, але не можна перевірити. Формальна верифікація проєкту Tachyon покликана подолати цю прогалину довіри за допомогою математичного доказу.
З технічної точки зору, генерація доказів із залученням штучного інтелекту перевела формальну верифікацію з теорії у практику, скоротивши роки роботи до кількох тижнів. Оновлення Ironwood, впроваджуючи новий пул приватності та механізм обліку Turnstile, має на меті забезпечити перевірку обігу поряд із захистом приватності.
З погляду галузі, ця подія може зробити формальну верифікацію стандартною практикою безпеки для протоколів приватності. Можливість математично довести відсутність невиявлених вразливостей може стати ключовим критерієм оцінки безпеки проєктів у сфері приватності.
Проте відновлення довіри не відбувається миттєво. Той факт, що баг Orchard залишався невиявленим чотири роки, а також структурна неможливість ретроспективної перевірки експлуатації, залишатимуться орієнтирами для ринкової оцінки безпеки протоколів приватності. Якщо формальний доказ Ironwood буде остаточно завершено, це стане важливою віхою в еволюції стандартів безпеки для блокчейн-проєктів із фокусом на приватність.
FAQ
Що оголосили розробники Zcash?
Розробники Zcash повідомили про майже завершене створення математичного доказу, який підтверджує відсутність невиявлених вразливостей підробки у майбутньому пулі приватності Ironwood. Цей доказ, що створюється в межах проєкту Tachyon, має математично усунути ризик появи вразливостей, подібних до знайдених у пулі Orchard.
Коли була виявлена вразливість Orchard?
29 травня 2026 року дослідник безпеки Тейлор Горнбі виявив критичну вразливість підробки у захищеному пулі Orchard Zcash. Вразливість існувала з моменту активації пулу Orchard у травні 2022 року.
Які могли бути наслідки цієї вразливості?
Вразливість могла дозволити зловмисникам створювати необмежену кількість підроблених ZEC у пулі приватності Orchard без можливості виявлення. Через особливості приватності Orchard криптографічно неможливо довести, чи був баг коли-небудь використаний.
Чи була вразливість виправлена?
Так. Розробники випустили термінове виправлення через хардфорк NU6.2 3 червня 2026 року. Фундація Zcash заявила, що немає доказів експлуатації багу.
Що таке формальна верифікація?
Формальна верифікація — це метод, що використовує математичні докази для підтвердження відсутності певних класів дефектів у програмі або криптографічному алгоритмі за визначених умов. На відміну від традиційних аудитів коду, формальна верифікація забезпечує математичну впевненість, а не вибіркові висновки.
Коли очікується запуск оновлення Ironwood?
Оновлення Ironwood заплановано до активації в основній мережі наприкінці липня 2026 року. Воно впровадить новий пул приватності й обліковий механізм Turnstile для перевірки обігу Zcash.
Яка поточна ціна ZEC?
Станом на 8 липня 2026 року, за даними ринку Gate, ZEC коштує $464,00 USD. Нещодавно він зріс на 0,5% за останні 24 години, на 11,8% за 7 днів, на 4,35% за 30 днів, приблизно на 42,3% за 90 днів, на 7,8% за 180 днів і на вражаючі 1 030% за останній рік.
