Дослідник безпеки виявив критичну вразливість у транзакційному пулі Orchard у Zcash, яка могла бути використана для створення "необмеженої" кількості підроблених токенів у цьому пулі.

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

Ця заява збіглася з різким падінням ціни Zcash (ZEC). Вона впала на 31% за останні 24 години до $409,64 станом на 23:00 за східним часом у четвер, згідно зі сторінкою ціни ZEC на The Block. Значна частина падіння відбулася протягом п'яти годин після публікації допису.

Горнбі, давній учасник екосистеми Zcash, оцінив протокол, використовуючи як техніки дослідження безпеки за допомогою ШІ, так і традиційні методи, щоб виявити вразливості до того, як їх зможуть використати зловмисники, згідно з дописом.

29 травня Горнбі виявив вразливість у схемі Orchard, використовуючи нещодавно випущену модель Opus 4.8 від Anthropic, і негайно поділився результатами з інженерами Відкритої Лабораторії Розробки Zcash (ZODL).

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

"Вразливість була реальною та придатною для експлуатації", – написали Shielded Labs. "Тейлор, за допомогою Opus 4.8, написав повний експлойт, який, коли він протестував його у локальному середовищі regtest, генерував необмежені, невизначувані підроблені ZEC".

У дописі пояснювалося, що вразливість виникла через "недообмежений" елемент схеми Orchard, що уможливлювало введення довільних неправдивих вхідних даних для множення на еліптичній кривій і при цьому отримання їх схвалення.

Хоча вразливість була виправлена 1 червня, вона існувала з моменту активації Orchard у травні 2022 року, повідомили Shielded Labs.

Реальна експлуатація малоймовірна

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

Незважаючи на невизначеність, Shielded Labs заявили, що команда не "надмірно стурбована" тим, що підробка відбулася до виправлення помилки, оскільки вразливість залишалася непоміченою протягом багатьох років, навіть під пильною увагою найкращих криптографів світу.

"Відкриття не було випадковим — це був результат цілеспрямованих зусиль щодо виявлення вразливостей такого роду до того, як це змогли б зробити зловмисники", — йдеться у дописі. "[Горнбі] використав найновіші інструменти ШІ, доступні лише дослідникам безпеки типу "білий капелюх", разом зі складною, спеціально розробленою системою ШІ та підказками, і доклав чималих зусиль, щоб випередити зловмисників. Ми вважаємо, що йому, ймовірно, це вдалося".

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

"Це була серйозна вразливість, і ми вважаємо, що важливо бути прозорими щодо її наслідків для користувачів Zcash", — йдеться у дописі. "Хоча ніхто не хоче виявляти таку вразливість, ми впевнені, що Zcash має хороші позиції для відновлення".