Zcash продовжив своє недавнє падіння більш ніж на 50% у п'ятницю до приблизно 310 доларів, оскільки критична вразливість, пов'язана з підробкою, виявлена на початку цього тижня, продовжувала впливати на настрої.

ZEC в один момент впав на 60%, з приблизно 630 доларів у четвер до приблизно 250 доларів у п'ятницю, перш ніж відновити частину втрат, тоді як ліквідації перевищили 116 мільйонів доларів — третій за величиною показник серед криптовалют за останні 24 години після біткоїна та ефіру — згідно з даними CoinGlass.

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

Дані про ліквідації Zcash показують майже 72 мільйони доларів у ліквідаціях лонгів і понад 45 мільйонів доларів у шортах за 24-годинний період, з піковим обсягом між 8:00 і 9:00 UTC 5 червня. CoinGlass оцінив інтенсивність ліквідацій сесії в 3,72 рази вище середнього семиденного показника.

Розкриття інформації надійшло від Зуко Вілкокса, співзасновника Zcash та керівника Shielded Labs, разом з дослідниками Джейсоном МакГі та Тейлором Горнбі, які підтвердили, що вразливість існувала в схемі доказу з нульовим розголошенням Zcash Orchard з моменту її активації у травні 2022 року. The Block раніше повідомляв про початкове виявлення та падіння ціни.

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

Горнбі виявив помилку 29 травня, через кілька годин після того, як Anthropic випустила свою модель Claude Opus 4.8.

Використовуючи власну структуру аудиту за допомогою ШІ, яку він назвав zcash-full-stack-auditor, Горнбі провів цілеспрямований огляд схеми Orchard.

Агент аудиту виявив критичну вразливість близько 18:00 за MDT. До 23:53 Горнбі надав підтвердження концепції та повний звіт до Zcash Open Development Lab через Signal. До наступного понеділка ввечері пом'якшення за допомогою софтфорка було запущено в основній мережі. Повне оновлення мережі, NU6.2, повторно активувало Orchard на блоці 3 364 600 2 червня з виправленою схемою.

Вікно вразливості тривало від активації Orchard 31 травня 2022 року до софтфорка 1 червня 2026 року — чотири роки, один день і десять годин. З моменту публічного випуску Opus 4.8 до активації патча вікно становило чотири дні і приблизно десять годин.

Що неможливо довести

Що робить розкриття особливо гострим, так це те, що патч не може вирішити.

Архітектура конфіденційності Zcash робить криптографічно неможливим перевірити, чи був експлойт використаний до усунення. Вілкокс та його співавтори були прямими щодо цього.

"Немає способу криптографічно довести, чи була вразливість використана до її усунення", — йдеться в розкритті. "Ми вважаємо важливим бути прозорими щодо цієї невизначеності".

Ця невизначеність могла призвести до закриття позиції Артура Хейса. Співзасновник BitMEX і CIO Maelstrom цього тижня повідомив, що продав весь свій запас ZEC та запас Maelstrom.

"Свята Трійця мертва", — написав Хейс. "Хоча я вважаю, що будь-яке карбування вкрай малоймовірне, його неможливо формально криптографічно довести як неможливе. Наратив конфіденційності від ШІ, уряду, великих технологій вимагає досконалості, а не малоймовірності". Хейс сказав, що він залишається відкритим для повторного входу, якщо його припущення зміняться.

Прихильники відкидають критику

Shielded Labs та кілька видатних прихильників відкинули найбільш песимістичне тлумачення розкритої інформації.

Головний юридичний директор Grayscale Крейг Салм стверджував, що для того, щоб повірити, що експлойт справді був активований, хтось мав би ретельніше перевірити кодову базу Zcash, ніж усі розробники ECC, ZODL, Shielded Labs та Zcash Foundation разом узяті — а потім вирішити не виводити кошти з турнікету пулу Orchard під час бичачого ринку, що зростав у 20+ разів. "Мені здається малоймовірним", — сказав Салм на X.

Камерон Вінклвосс, співзасновник криптобіржі Gemini, навів аналогічний аргумент. "Що стосується будь-якого L1, завжди будуть помилки", — заявив Вінклвосс. "Важливо те, що існують дослідники світового класу, які зосереджені на посиленні мережі та випередженні зловмисників". Він назвав швидке виявлення та усунення "вотумом довіри, а не приводом для тривоги".

Дослідниця безпеки MetaMask Тейлор Монахан помістила розкриття інформації в ширший контекст. "Висновок повинен полягати в тому, що ці моделі МОЖУТЬ І БУДУТЬ виявляти найгірші з найгірших вразливостей, які існували у виробництві невиявленими роками", — сказала Монахан, стверджуючи, що відносини Zcash з дослідниками безпеки довгий час були відмінною рисою.

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

Попередні аудити за допомогою Claude Opus 4.7, з великими зусиллями, не змогли виявити помилку при наданні загального запиту. Тим часом, Opus 4.8 знайшов її лише в одному з чотирьох тестових запусків при широкому запиті, тоді як її надійно виявляли, коли запит був вузько спрямований на конкретний гаджет.

Запропоновані подальші кроки

Shielded Labs заявила, що вивчає можливість оновлення мережі, яке розгорне новий екранований пул і запровадить облік через турнікет для всіх монет, що мігрують з Orchard — механізм, який дозволяє будь-кому перевіряти цілісність пропозиції Zcash і доводити відсутність підроблених ZEC.

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

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

"Неточне правило може бути важко помітити", — написав Свіхарт у детальному дописі на X. "У цьому недавньому випадку неточне правило залишалося невиявленим, незважаючи на численні аудити та перевірки безпеки на експертному рівні". Формальна верифікація, за його словами, замінює людський огляд математичним доказом, який перевіряє всю схему на відповідність стислій, читабельній специфікації — тій, яку комп'ютер не може обдурити.

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