EIP-2537: Пятилетний тернистый путь предварительных сборок BLS12-381 Эфира

robot
Генерация тезисов в процессе

EIP-2537: Долгий путь предварительной компиляции Ethereum

EIP-2537 — это предопределенная EVM-препроцессорная инструкция, которая была добавлена в последнее обновление Pectra. Эта инструкция добавляет в EVM различные вычислительные функции для кривой BLS12-381, такие как вычисления пар на поле кривой и т.д.

EIP-2537 был впервые предложен в 2020 году и был подтвержден для включения в обновление Ethereum только в 2025 году. В этой статье будет представлена история управления EIP-2537 и рассмотрены причины, по которым прошло 5 лет, прежде чем это предложение было включено в обновление.

Предыстория предложения

В январе 2017 года Виталик Бутерин впервые представил алгоритм паринга и кривую alt_bn128. Затем Виталик и Кристиан Рейтвейснер предложили EIP-196 и EIP-197, чтобы добавить поддержку вычислений по кривой alt_bn128 в EVM.

В октябре 2017 года обновление Byzantium официально включило кривую alt_bn128, что позволило выполнять вычисления пар по кривым внутри EVM, обеспечивая возможность верификации доказательств ZK-Snarks внутри EVM.

В ноябре 2017 года команда Zcash предложила кривую BLS12-381, которая обладает более высокой безопасностью и производительностью по сравнению с alt_bn128. Многие блокчейн-протоколы впоследствии приняли кривую BLS12-381.

В мае 2018 года Джастин Дрейк указал, что будущие обновления PoS и шардирования Ethereum могут использовать алгоритм BLS-мультиподписей на основе BLS12-381. Как оказалось, позже обновление ETH2 действительно использовало кривую BLS12-381.

С развитием ETH2 все больше растет призыв к внедрению BLS12-381 в слой выполнения ETH. В феврале 2020 года исследователи предложили EIP-2537, надеясь протестировать его вместе с тестовой сетью ETH2. Автор EIP-2537 Алекс Стокс призвал включить это предложение в хардфорк Berlin.

! Ethereum Governance Watch: EIP-2537 перед сборкой

Берлинская смятение

Перед тем как представить последующий контент, необходимо сначала понять EIP-1962. Это предложение было выдвинуто Matter Labs в апреле 2019 года, поддерживает три кривые: BLS12, BN и MNT4/6 и планирует единовременно добавить 10 предсобранных инструкций. Однако предложение оказалось слишком сложным и вызвало сомнения у многих разработчиков.

Для решения проблемы EIP-1962 Matter Labs в феврале 2020 года предложила несколько вариантов разделения EIP, включая:

  • EIP-2537: предоставляет поддержку BLS12-381
  • EIP-2539: предоставляет поддержку BLS12-377
  • PR#2541: Предоставление поддержки кривой BLS12-377 (Zexe ) без получения номера EIP (

Среди них EIP-2537 является самым важным, так как уровень консенсуса также использует кривую BLS12-381. Основная цель этих предложений заключается в реализации проверки BLS-подписей на уровне консенсуса в основной сети. В то время ETH2 разрабатывал контракт на депозит, вводя предсборку BLS12-381, чтобы реализовать проверку подписей в контракте на депозит, избегая риска потери средств пользователей.

Когда EIP-2537 только что был предложен, Виталик указал на ряд проблем, в основном сосредоточенных на содержании документа EIP. Затем автор ответил и обсудил.

6 марта 2020 года на встрече ключевых разработчиков Ethereum обсуждалось EIP-2537. Виталик считает, что это предложение очень эффективно для рекурсивных SNARK-доказательств и в долгосрочной перспективе не повредит Ethereum. На встрече была подтверждена приоритетность EIP-2537, все клиенты согласны реализовать его как можно скорее и планируют завершить разработку до обновления Berlin.

С тех пор EIP-2537 стал задачей высокого приоритета. На заседании 20 марта было подтверждено, что EIP-2537 заменяет EIP-1962 в качестве основного предложения BLS и включается в предварительный список обновления Berlin.

В апреле на заседании официально было принято включение EIP-2537 в обновление жесткого хардфорка Berlin, установлены сроки реализации в апреле и тестирования в мае-июне, и это было отмечено как вопрос высшего приоритета.

Затем EIP-2537 вошел в активную фазу разработки и тестирования, обсуждение которого проходило на почти 20 встречах основных разработчиков. Основное содержание включает в себя:

  • Обсуждение проблем кодирования ABI
  • Синхронизация прогресса реализации различных клиентов
  • Проблемы, связанные с реализацией PR в Geth
  • Ситуация с тестированием тестовой сети YOLO
  • Связь с контрактом на депозит
  • Проблема разнообразия клиентов
  • проблема ценообразования на газовые расходы

Тем не менее, из-за высокой сложности реализации EIP-2537 в конечном итоге был исключен из тестовой сети YOLO v3 и обновления Berlin на встрече Ethereum Core Devs Meeting #99. Основная причина заключается в том, что он потреблял слишком много ресурсов разработки, что влияло на разработку других EIP.

В апреле 2021 года Ethereum завершил обновление Berlin, но не включал EIP-2537. Это сделало обновление Berlin довольно скромным.

! [Ethereum Governance Watch: EIP-2537 перед компиляцией])https://img-cdn.gateio.im/webp-social/moments-3198079b11f21298df05682606409838.webp(

Последующее развитие

В последующие несколько обновлений Ethereum не удалось включить EIP-2537:

  • Лондон обновление: убрано из-за сложности и проблемы с ценообразованием газа
  • Обновление Shanghai: разработчики сосредоточены на функции вывода PoS, откладывают EIP-2537
  • Обновление Cancun: основное внимание уделяется EIP-4844, EIP-2537 не обсуждается

До февраля 2024 года разработчики вновь рассмотрят EIP-2537 в обсуждении обновления Pectra. В этот момент реализация уже не является проблемой, осталась лишь проблема ценообразования на газ.

С декабря 2024 года по январь 2025 года разработчики окончательно утвердили модель ценообразования EIP-2537, решив проблему с затратами.

![Наблюдение за управлением Эфиром: Процесс предварительной компиляции EIP-2537])https://img-cdn.gateio.im/webp-social/moments-75338d7a495f20ef25a70cca21a48381.webp(

Резюме

EIP-2537 был предложен в феврале 2020 года и окончательно утвержден в январе 2025 года, пройдя почти 5 лет. За это время прошло множество обсуждений и отказов от обновлений, в основном из-за сложности реализации и переноса акцентов в обновлениях Ethereum. Этот процесс демонстрирует сложность управления Ethereum и долгий путь, который может пройти техническое предложение от момента его выдвижения до окончательного принятия.

! [Ethereum Governance Watch: путешествие перед компиляцией EIP-2537])https://img-cdn.gateio.im/webp-social/moments-55d3bb1142078f459d3a41ead42cd599.webp(

ETH-3.91%
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
  • Награда
  • 3
  • Поделиться
комментарий
0/400
RumbleValidatorvip
· 21ч назад
Стабильность узла является ключевым моментом, эффективность недостаточна.
Посмотреть ОригиналОтветить0
GasFeeTearsvip
· 21ч назад
Кто сможет выдержать такое долгое противостояние?
Посмотреть ОригиналОтветить0
BanklessAtHeartvip
· 21ч назад
Пять лет точили меч, наконец дождались!
Посмотреть ОригиналОтветить0
  • Закрепить