Виталик Бутерин призывает удалить модуль modexp, замедляющий масштабирование ZK Ethereum

Бутерин говорит, что modexp делает вычисления ZK-EVM в 50 раз тяжелее, чем средние блоки Ethereum.

Он предлагает новый EIP, чтобы заменить modexp эквивалентным кодом EVM, несмотря на более высокие затраты на газ.

Неэффективность Modexp замедляет прогресс ZK-rollup, при этом немногие приложения все еще требуют устаревшую функцию.

Сооснователь Ethereum Виталик Бутерин призвал разработчиков удалить предкомпиляцию модульного возведения в степень сети, известную как modexp, описывая её как одно из крупнейших препятствий для эффективного масштабирования с нулевыми знаниями (ZK).

В недавнем посте в X Бутерин заявил, что предварительная компиляция является “самым худшим нарушителем” эффективности ZK-EVM prover, отметив, что она может сделать вычисления в 50 раз тяжелее, чем в среднем по блокам. Он предложил подготовить новое предложение по улучшению Ethereum (EIP), чтобы заменить функцию эквивалентным EVM-кодом, даже если это потребует более высоких газовых сборов.

Унаследованная функция создает значительное узкое место

Препроцессор modexp, ранний компонент Ethereum, обрабатывает модульное возведение в степень — основная операция в шифровании RSA и цифровых подписях. Хотя это было критически важно в ранних криптографических системах, эта функция теперь мешает эволюции Ethereum к технологии нулевого раскрытия.

Бутерин признал, что код, который он изначально разработал, стал “бременем” для современных инструментов масштабирования. Согласно его посту, неэффективность modexp увеличивает затраты на генерацию ZK-доказательств и замедляет развитие таких технологий, как ZK-rollups и ZK-EVM.

Эти инструменты зависят от быстрой проверки для обработки транзакций вне цепи и их безопасного подтверждения в Ethereum. Бутерин также подчеркнул, что сложные кодовые пути modexp создают потенциальные риски консенсуса, усложняя долгосрочное обслуживание Ethereum.

Низкое использование вызывает вопросы о необходимости

Несмотря на свою сложность, лишь несколько приложений по-прежнему полагаются на modexp. Бутерин отметил, что большинство функций, использующих его, такие как верификация RSA или проверки безопасности мостов, могут перейти на более продвинутые системы на основе SNARK — криптографических доказательств, которые эффективно обрабатывают ZK вычисления. Он добавил, что поддержка оптимизации modexp требует «героических усилий», которые не оправдывают его дальнейшее использование, учитывая его минимальное принятие.

Вместо этого замена modexp на стандартный байт-код EVM могла бы упростить экосистему. Хотя это изменение увеличит газовые расходы для немногих пользователей, которые все еще зависят от него, оно существенно снизит вычислительную нагрузку и оптимизирует генерацию ZK-доказательств для всех остальных.

Широкое движение к эффективной криптографии

Критика Бутерина входит в его более широкую кампанию по модернизации криптографической основы Ethereum. В прошлом месяце он подробно описал протокол GKR, метод верификации, способный обрабатывать два миллиона вычислений в секунду на стандартном оборудовании.

Эта техника может валидировать сложные вычисления Ethereum с использованием меньшего количества ресурсов, чем традиционные подходы. Его недавние предложения также подчеркивают создание четких эталонов для измерения производительности нулевых знаний и полностью гомоморфного шифрования.

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

Пост «Виталик Бутерин призывает к удалению модификации Precompile, замедляющей масштабирование ZK в Ethereum» появился на Crypto Front News. Посетите наш сайт, чтобы прочитать больше интересных статей о криптовалюте, технологии блокчейн и цифровых активах.