Фонд Ethereum (EF) объявил о существенных финансовых обязательствах, инвестируя «десятки миллионов» долларов в развитие виртуальных машин с нулевым разглашением (zkVM), передовой технологии, призванной повысить масштабируемость и безопасность в экосистеме Ethereum.
Джастин Эрейк, исследователь из Ethereum Foundation, рассказал об инвестициях в сообщении на X: «EF инвестирует десятки миллионов в zkVM: Verified-zkevm.org — формальная проверка zkRISC-Vposeidon-initiative.info — Poseidon криптоанализ ethproofs .org — L2beat для zkVM, скоро напишите мне в личку о вкладе в общественные блага zkVM :)»
Фонд Ethereum инвестирует миллионы в исследования zkEVM
Краеугольным камнем этих инвестиций является проект формальной проверки zkEVM, подробно описанный на сайте Verified-zkevm.org. Эта инициатива направлена ​​на применение формальных методов проверки к zkEVM, обеспечивая их надежность и безопасность. Согласно обзору проекта, EF стремится добиться «безошибочного zkEVM» путем распределения грантов и вознаграждений в течение 18-24 месяцев на нескольких этапах.
«Проект повысит осведомленность о формальных методах проверки, применяемых к zkEVM, документирует их применение и увеличит их использование», — говорится в обзоре проекта. Кроме того, он направлен на улучшение координации между различными командами внутри экосистемы, разработку инструментов и стандартов для обслуживания и расширяемости, а также исследование лучшей интеграции формальных методов проверки в процессы разработки и обслуживания программного обеспечения.
Объем проекта ограничен zkVM RISC-V, способными запускать EVM, скомпилированную в RISC-V, тем самым создавая zkEVM. Он состоит из трех основных направлений:
RISC-V zkVM Track: фокусируется на проверке правильности реализации ЦП RISC-V, арифметизации и схем. При этом особое внимание уделяется тому, чтобы схемы не были ни недостаточно ограничены, ни чрезмерно ограничены, а вычисления были точными. Также включена формальная проверка прекомпиляций.
EVM Track: призван продемонстрировать, что EVM, работающий на RISC-V, соответствует спецификации EVM. Кандидаты на проверку должны представить производительные и компилируемые реализации EVM на zkVM RISC-V, такие как revm/Reth.
Криптографический трек: стремится проверить спецификации, доказательства безопасности и реализации криптографических примитивов и протоколов, используемых zkVM, с упором на интеграцию FRI и Circle STARK.
В проекте подчеркивается гибкость подходов к использованию опыта сообщества и облегчению сравнения различных методологий. «Мы будем поддерживать различные подходы, где это возможно, чтобы извлечь выгоду из разнообразного опыта внутри сообщества», — говорится в проекте, добавляя, что успешные методологии могут быть расставлены по приоритетам на последующих этапах.
В настоящее время открыты заявки на этап 1, который направлен на создание поддерживаемых и расширяемых инфраструктур. Предложения должны включать подробные обзоры, технические подходы, планы управления проектом и информацию о команде.
Еще одним важным компонентом инвестиций EF является инициатива «Посейдон», описанная на сайтеposeidon-initiative.info. Poseidon и Poseidon2 — это хеш-функции, оптимизированные для проверяемых протоколов вычислений, специально разработанные для минимизации размера схемы для простых полей. Эти хеш-функции являются неотъемлемой частью различных приложений Ethereum, которые используют доказательства с нулевым разглашением.
Инициатива направлена ​​на улучшение анализа безопасности экземпляров Poseidon, определяя их пригодность для ценных приложений в Ethereum. Фаза 1 проекта продлится до декабря 2025 года, а фаза 2 запланирована на середину 2025 года и завершится в декабре 2026 года. Проект управляется Ethereum Foundation Poseidon Group (EFPG), в состав которой входят такие эксперты, как Джордж Кадианакис, Дмитрий Ховратович и Антонио. Сансо, и его деятельность контролируется консультативным советом, в который входят такие известные личности, как Эли Бен-Сассон из StarkNet и Дайра-Эмма Хопвуд из ZCash.
Ключевой особенностью Poseidon Initiative является ее комплексная программа вознаграждений, предлагающая в общей сложности 130 000 долларов США в качестве вознаграждения за прорыв в криптоанализе. Награды доступны для различных уровней безопасности в разных экземплярах Poseidon, что стимулирует исследователей обнаруживать уязвимости или проверять предположения о безопасности. Например, решение проблемы атаки 32-битного прообраза на Посейдон-256 может принести исследователю 10 000 долларов, а более высокие уровни безопасности могут принести до 15 000 долларов.
Кроме того, инициатива поддерживает семинары, семинары и школы, посвященные криптоанализу Poseidon, способствуя сотрудничеству и обмену знаниями внутри криптографического сообщества. Краткосрочные гранты в размере от 20 000 до 40 000 долларов США также доступны для исследований, решающих критические вопросы безопасности, связанные с вариантами Poseidon, базовыми атаками Грёбнера и неалгебраическими векторами атак.
Хотя сайт ethproofs.org все еще находится в стадии разработки, ожидается, что он послужит платформой для интеграции L2beat с zkVM, что еще больше повысит прозрачность и подотчетность в показателях производительности и безопасности zkVM.
На момент публикации ETH торговался на уровне $3590.

Read More