Обнаружены первые серьезные уязвимости в системах доказательств с нулевым знанием

• Была скомпрометирована сумма в 5 единиц Ethereum из Veil Cash и 1,5 миллиона долларов из Foom.

• Общепринято мнение, что это были ошибки человека, а не присущие доказательствам ZK уязвимости.

В период с 20 по 27 февраля произошли два инцидента, связанных с эксплуатацией слабых мест в системах доказательств с нулевым знанием (ZK Proofs). Первый инцидент привел к утечке 5 единиц Ethereum из Veil Cash, проекта, предлагающего пулы ликвидности в сети Base, в то время как второй инцидент затронул 1,5 миллиона долларов, находящихся в контрактах Foom. Эти инциденты, связанные с эксплуатацией уязвимостей кода, стали неожиданностью для сообщества разработчиков, которые считали, что код, используемый в системах ZK Proofs, является надежным, математически обоснованным и не содержащим известных серьезных уязвимостей.

Согласно отчету от этичного хакера Beacon302, уязвимость в коде позволила злоумышленнику в Veil Cash "подделать действительные доказательства с нулевым знанием для произвольных входных данных и опустошить весь пул конфиденциальности в размере 0,1 ETH, совершив 29 мошеннических операций снятия в одной транзакции, не внесших при этом ни единой монеты".

Veil - это протокол, который использует zk-SNARK для генерации действительных доказательств внесения, не раскрывая при этом данные, что обеспечивает конфиденциальность транзакций. По мнению указанного хакера, выполнение этой эксплуатации "полностью подрывает надежность системы доказательств".

Тот же хакер сообщает, что протокол Foom, децентрализованное приложение для лотерей и игр, использующее доказательства ZK для конфиденциального снятия средств, был скомпрометирован как в сети Base, так и в основной сети Ethereum из-за ошибки в контракте верификатора ZK, хотя эта атака была проведена этичным хакером в качестве меры безопасности и проверки кода. Целью этой эксплуатации было обеспечение безопасности средств Foom до того, как злоумышленник мог получить к ним доступ.

Доказательства с нулевым знанием - это методы криптографии, которые позволяют одной стороне доказать другой, что транзакция является действительной, не раскрывая конфиденциальную информацию о том, кто ее выполняет.

Эти доказательства считаются важными для будущего криптовалютных активов, поскольку, по мнению таких фигур, как Виталик Бутерин или ранее Хэл Финни,, полностью прозрачные публичные реестры подрывают финансовую конфиденциальность.

Два взлома, две мотивации, одна причина.

В последующем обзоре событий уточняется, что обе эксплойты произошли из-за одной и той же первопричины. «Это были не тонкие и ограниченные ошибки, а верификаторы Groth16 (сгенерированные snarkjs) с неправильной конфигурацией (не хватало всего одного шага). Один был использован хакерами с «белой шляпой» для кражи примерно 1,5 миллиона долларов, другой был скомпрометирован на 5 ETH», – отметили Стефанос Халиасос и Хао Фам, исследователи из zksecurity.xyz, подразумевая, что один из «сливов» был кражей.

Вкратце, было выплачено много вознаграждений за ошибки хакерам с «белой шляпой» из-за ошибок в ZK, многие протоколы находятся в эксплуатации и имеют значительный общий объем заблокированных средств (TVL), но на сегодняшний день не было зарегистрировано эксплойтов в протоколах ZK. Это могло заставить нас чувствовать себя немного более комфортно по сравнению с сектором смарт-контрактов, где происходят катастрофические эксплойты каждые несколько месяцев. Может быть, нам просто повезло? Может быть, хакерам просто нет достаточной отдачи от инвестиций?

Стефанос Халиасос и Хао Фам, исследователи из zksecurity.xyz

В ответе на комментарий Шарля Гийеме, технического директора Ledger, несколько пользователей подчеркивают, что недавние эксплойты являются результатом человеческих ошибок при разработке и выполнении кода, а не внутренними недостатками криптографии с нулевым знанием.

Исследователи из zksecurity.xyz придерживаются того же мнения, когда говорят, что всегда будут настаивать на том, чтобы разработчики проверяли код развертывания и инструкции на языке программирования (скрипты). Кроме того, они утверждают, что добавляют обнаружение для этого конкретного типа уязвимости в ZKAO, сканер безопасности, работающий на основе искусственного интеллекта.

Теги: Кибератака Ethereum (ETH) Последние новости Конфиденциальность и анонимность Доказательства с нулевым знанием (ZK-proof) Уязвимости

У вас есть важная информация для наших репортеров? Свяжитесь с нами