Сооснователь Ethereum Виталик Бутерин выступил с предложением по изменению одного из ключевых компонентов виртуальной машины Ethereum (EVM) — предкомпиляции modexp (модульного возведения в степень). По словам Бутерина, эта функция стала наиболее ресурсоёмким и неэффективным элементом для систем типа ZK-EVM (zero-knowledge EVM), используемых для масштабирования Ethereum.
Предложение Бутерина опубликовано в X (Twitter): ссылка.
Почему modexp создаёт проблему для ZK-EVM
В EVM предкомпиляции — это заранее реализованные функции, предназначенные для выполнения сложных вычислений, которые нецелесообразно реализовывать на уровне байт-кода.
modexp используется для операций модульного возведения в степень, необходимых в основном при RSA-шифровании и проверке цифровых подписей.
Однако, как отметил Бутерин, в контексте zero-knowledge-виртуальных машин (ZK-EVM), где вычисления должны быть доказуемы и воспроизводимы с использованием SNARK-или STARK-доказательств, modexp становится узким местом.
По его оценке, вычисления modexp в 50 раз сложнее по ресурсоёмкости, чем средние блоки, что делает их крайне неэффективными в рамках доказательных систем.
Предложение: новый EIP и отказ от предкомпиляции
Бутерин предложил ввести новое улучшение Ethereum (EIP), которое заменит существующую предкомпиляцию на эквивалентный код, исполняемый напрямую в EVM.
Такое изменение может привести к увеличению затрат на газ, но обеспечит гораздо более прозрачную и предсказуемую модель вычислений для zero-knowledge-доказательств.
Бутерин также подчеркнул, что RSA-подписи и операции, где используется modexp, могут выполняться через SNARK-базированные решения, которые уже обладают встроенной совместимостью с доказательствами корректности, не нарушая принципы детерминированности ZK-систем.
Почему это важно для экосистемы Ethereum
ZK-EVM считается одной из самых перспективных технологий для масштабирования Ethereum. Она позволяет обрабатывать транзакции вне основной сети (off-chain) с последующей криптографической проверкой корректности на уровне основного блокчейна.
Однако для эффективной работы таких систем требуется, чтобы все вычисления в EVM могли быть быстро и однозначно проверяемы в виде доказательств. Текущая реализация modexp не соответствует этому принципу, создавая избыточную нагрузку и замедляя обработку блоков.
Введение нового EIP решит несколько задач:
-
упростит архитектуру ZK-EVM;
-
обеспечит совместимость EVM-вычислений с доказательствами SNARK/STARK;
-
создаст основу для более быстрой и лёгкой верификации транзакций.
Переход к постквантовым и ZK-совместимым решениям
Предложение Бутерина также вписывается в более широкий контекст перехода Ethereum к постквантовой криптографии и повышению устойчивости сети к новым видам вычислительных атак.
Замена modexp и отказ от RSA-подписей в пользу SNARK-решений позволят снизить зависимость от классических криптографических алгоритмов и укрепить безопасность сети на горизонте 10–20 лет.
Что дальше
Если сообщество Ethereum поддержит инициативу, предложение будет оформлено как EIP (Ethereum Improvement Proposal). После обсуждения и тестирования на уровне разработчиков оно может быть включено в один из следующих хардфорков Ethereum.
Виталик отметил, что подобные изменения «не ускорят сеть мгновенно, но улучшат долгосрочную устойчивость архитектуры и сделают ZK-доказательства более универсальными и прозрачными».
Итог:
Инициатива Виталика Бутерина по замене предкомпиляции modexp — это шаг к оптимизации вычислительной модели Ethereum и повышению эффективности ZK-EVM. Такой переход усилит совместимость блокчейна с системами доказательств и обеспечит готовность сети к эпохе постквантовых вычислений.
