EIP-2537: Відображення процесу управління Ethereum
EIP-2537 є останнім EVM-програмним командним інструкціям, що були визначені для додавання в новому оновленні Pectra Ethereum. Ця інструкція додає до EVM різні обчислювальні функції кривої BLS12-381, включаючи парні обчислення на полі кривої.
EIP-2537 було вперше запропоновано у 2020 році, і лише у 2025 році воно було підтверджено для включення в оновлення Ethereum. У цій статті буде представлено історію управління EIP-2537 та обговорено, чому цей запит було включено в оновлення лише через 5 років.
Передумови пропозиції
У січні 2017 року Віталік Бутерін вперше в статті представив алгоритм парування та криву alt_bn128. Після цього Віталік та Крістіан Рейтвісснер запропонували EIP-196 та EIP-197, які рекомендували додати підтримку обчислень кривої alt_bn128 до EVM. Оновлення Byzantium у жовтні 2017 року офіційно включило криву alt_bn128, що реалізувало обчислення парування в полі кривих всередині EVM, що дозволило верифікацію доказів ZK-Snarks виконувати в EVM.
У листопаді 2017 року команда zcash представила криву BLS12-381, яка має вищу безпеку та продуктивність у порівнянні з alt_bn128. Багато блокчейн-протоколів згодом прийняли криву BLS12-381. У травні 2018 року Джастін Дрейк опублікував статтю, в якій зазначив, що майбутні оновлення PoS та шардінгу Ethereum можуть використовувати алгоритм BLS мультипідписів на основі BLS12-381.
З розвитком ETH2 зростає заклик до впровадження BLS12-381 у виконувальний шар ETH. У лютому 2020 року дослідники запропонували EIP-2537, сподіваючись протестувати його в синхронізації з тестовою мережею ETH2. Автор EIP-2537 Алекс Стокс закликав включити його в жорсткий форк Berlin.
Зазначимо, що автор EIP-2537 одночасно є співзасновником команди розробників ZKSync Matter Labs.
Перед обговоренням EIP-2537 потрібно спочатку зрозуміти EIP-1962. Це перша пропозиція з попередньо скомпільованим кодом для парування в еліптичних кривих, запропонована Matter Labs у квітні 2019 року, яка підтримує три криві: BLS12, BN та MNT4/6, планується одноразово додати 10 попередньо скомпільованих інструкцій. Але ця пропозиція вважається занадто складною для реалізації.
Щоб вирішити проблему EIP-1962, Matter Labs у лютому 2020 року запропонували кілька варіантів розділення EIP, найважливішим з яких є EIP-2537, що забезпечує підтримку BLS12-381. Тоді ETH2 розробляв контракт на депозит, введення попередньо скомпільованого BLS12-381 дозволяє перевіряти підписи в контракті на депозит, що запобігає ризику втрати коштів користувачів.
Коли EIP-2537 тільки був запропонований, Віталік вказав на деякі проблеми. Потім, на зустрічі основних розробників 6 березня, Віталік вважав, що EIP-2537 дуже ефективний для рекурсивних SNARK-доказів, у довгостроковій перспективі це не зашкодить Ethereum. На зустрічі була підтверджена пріоритетність EIP-2537, всі клієнти погодилися якнайшвидше реалізувати його та планують завершити розробку до оновлення Berlin.
На наступних засіданнях EIP-2537 замінив EIP-1962 як основну пропозицію BLS і був включений до попереднього списку оновлення Berlin. На засіданні в квітні EIP-2537 офіційно був включений до жорсткого форку Berlin, і було визначено графік реалізації.
Після цього EIP-2537 перейшов у фазу великої розробки та тестування, під час майже 20 засідань основних розробників було обговорено відповідні питання. Основна увага приділялася ABI кодуванню, прогресу реалізації, безпеці тощо.
Однак, із просуванням розробки проблеми EIP-2537 поступово стають очевидними. Команда Geth заявила, що важко завершити розробку в запланований термін, а контракт на депозит вже завершено без використання версії EIP-2537. Важливість EIP-2537 таким чином зменшується.
У подальших нарадах питання реалізації та тестування EIP-2537 залишалися актуальними. Врешті-решт, на 99-й нараді основних розробників було вирішено виключити EIP-2537 з оновлення Berlin, головною причиною чого стало те, що витрачено занадто багато ресурсів розробки, що вплинуло на прогрес інших EIP.
Під час оновлення London, яке відбулося після оновлення Berlin, розробники розглядали можливість включення EIP-2537, але через складність відмовилися від нього ще раз. Оновлення Shanghai також не включило EIP-2537, оскільки акцент було зроблено на реалізації функції виведення PoS.
Cancun оновлення також не обговорювало EIP-2537, оскільки акцент було зроблено на підтримці EIP-4844.
До лютого 2024 року розробники знову обговорювали включення EIP-2537 в оновлення Pectra. На той час реалізація EIP-2537 вже не була основною проблемою, залишалися лише деякі питання ціноутворення газу.
З грудня 2024 року по січень 2025 року розробницька конференція остаточно визначила модель ціноутворення EIP-2537, вирішивши питання витрат. Як первинний ініціатор, Matter Labs на цей час вже практично вийшла з обговорення.
Історія EIP-2537 відображає складність процесу управління Ethereum. Від початкового сприйняття як核心 оновлення, до неодноразового відкладення через складність його реалізації, і нарешті, до включення в оновлення, EIP-2537 пройшов довгий шлях. Цей процес відображає роздуми та компроміси Ethereum у питаннях технічного розвитку, досягнення консенсусу та вибору пріоритетів.
Кожне оновлення Ethereum має свою специфічну тему та акцент. Чи може EIP бути включеним, залежить не лише від його власної цінності, а й тісно пов'язане з поточною стадією розвитку Ethereum та основними напрямками. Процес EIP-2537 демонструє гнучкість управління Ethereum та обережне ставлення спільноти до технічних викликів.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
5 лайків
Нагородити
5
3
Репост
Поділіться
Прокоментувати
0/400
FortuneTeller42
· 10год тому
Ой, п'ять років, а ще не швидше росте.
Переглянути оригіналвідповісти на0
InscriptionGriller
· 10год тому
Таке внутрішнє змагання, п'ять років готують одну й ту ж страву з холодного рису.
EIP-2537 п’ятирічний шлях управління: відображення рішень щодо оновлення Ethereum
EIP-2537: Відображення процесу управління Ethereum
EIP-2537 є останнім EVM-програмним командним інструкціям, що були визначені для додавання в новому оновленні Pectra Ethereum. Ця інструкція додає до EVM різні обчислювальні функції кривої BLS12-381, включаючи парні обчислення на полі кривої.
EIP-2537 було вперше запропоновано у 2020 році, і лише у 2025 році воно було підтверджено для включення в оновлення Ethereum. У цій статті буде представлено історію управління EIP-2537 та обговорено, чому цей запит було включено в оновлення лише через 5 років.
Передумови пропозиції
У січні 2017 року Віталік Бутерін вперше в статті представив алгоритм парування та криву alt_bn128. Після цього Віталік та Крістіан Рейтвісснер запропонували EIP-196 та EIP-197, які рекомендували додати підтримку обчислень кривої alt_bn128 до EVM. Оновлення Byzantium у жовтні 2017 року офіційно включило криву alt_bn128, що реалізувало обчислення парування в полі кривих всередині EVM, що дозволило верифікацію доказів ZK-Snarks виконувати в EVM.
У листопаді 2017 року команда zcash представила криву BLS12-381, яка має вищу безпеку та продуктивність у порівнянні з alt_bn128. Багато блокчейн-протоколів згодом прийняли криву BLS12-381. У травні 2018 року Джастін Дрейк опублікував статтю, в якій зазначив, що майбутні оновлення PoS та шардінгу Ethereum можуть використовувати алгоритм BLS мультипідписів на основі BLS12-381.
З розвитком ETH2 зростає заклик до впровадження BLS12-381 у виконувальний шар ETH. У лютому 2020 року дослідники запропонували EIP-2537, сподіваючись протестувати його в синхронізації з тестовою мережею ETH2. Автор EIP-2537 Алекс Стокс закликав включити його в жорсткий форк Berlin.
Зазначимо, що автор EIP-2537 одночасно є співзасновником команди розробників ZKSync Matter Labs.
! Годинник управління Ethereum: подорож EIP-2537 перед складанням
Підвищення Берліна
Перед обговоренням EIP-2537 потрібно спочатку зрозуміти EIP-1962. Це перша пропозиція з попередньо скомпільованим кодом для парування в еліптичних кривих, запропонована Matter Labs у квітні 2019 року, яка підтримує три криві: BLS12, BN та MNT4/6, планується одноразово додати 10 попередньо скомпільованих інструкцій. Але ця пропозиція вважається занадто складною для реалізації.
Щоб вирішити проблему EIP-1962, Matter Labs у лютому 2020 року запропонували кілька варіантів розділення EIP, найважливішим з яких є EIP-2537, що забезпечує підтримку BLS12-381. Тоді ETH2 розробляв контракт на депозит, введення попередньо скомпільованого BLS12-381 дозволяє перевіряти підписи в контракті на депозит, що запобігає ризику втрати коштів користувачів.
Коли EIP-2537 тільки був запропонований, Віталік вказав на деякі проблеми. Потім, на зустрічі основних розробників 6 березня, Віталік вважав, що EIP-2537 дуже ефективний для рекурсивних SNARK-доказів, у довгостроковій перспективі це не зашкодить Ethereum. На зустрічі була підтверджена пріоритетність EIP-2537, всі клієнти погодилися якнайшвидше реалізувати його та планують завершити розробку до оновлення Berlin.
На наступних засіданнях EIP-2537 замінив EIP-1962 як основну пропозицію BLS і був включений до попереднього списку оновлення Berlin. На засіданні в квітні EIP-2537 офіційно був включений до жорсткого форку Berlin, і було визначено графік реалізації.
Після цього EIP-2537 перейшов у фазу великої розробки та тестування, під час майже 20 засідань основних розробників було обговорено відповідні питання. Основна увага приділялася ABI кодуванню, прогресу реалізації, безпеці тощо.
Однак, із просуванням розробки проблеми EIP-2537 поступово стають очевидними. Команда Geth заявила, що важко завершити розробку в запланований термін, а контракт на депозит вже завершено без використання версії EIP-2537. Важливість EIP-2537 таким чином зменшується.
У подальших нарадах питання реалізації та тестування EIP-2537 залишалися актуальними. Врешті-решт, на 99-й нараді основних розробників було вирішено виключити EIP-2537 з оновлення Berlin, головною причиною чого стало те, що витрачено занадто багато ресурсів розробки, що вплинуло на прогрес інших EIP.
! Годинник управління Ethereum: подорож до компіляції EIP-2537
Подальший розвиток
Під час оновлення London, яке відбулося після оновлення Berlin, розробники розглядали можливість включення EIP-2537, але через складність відмовилися від нього ще раз. Оновлення Shanghai також не включило EIP-2537, оскільки акцент було зроблено на реалізації функції виведення PoS.
Cancun оновлення також не обговорювало EIP-2537, оскільки акцент було зроблено на підтримці EIP-4844.
До лютого 2024 року розробники знову обговорювали включення EIP-2537 в оновлення Pectra. На той час реалізація EIP-2537 вже не була основною проблемою, залишалися лише деякі питання ціноутворення газу.
З грудня 2024 року по січень 2025 року розробницька конференція остаточно визначила модель ціноутворення EIP-2537, вирішивши питання витрат. Як первинний ініціатор, Matter Labs на цей час вже практично вийшла з обговорення.
! Годинник управління Ethereum: подорож EIP-2537 перед складанням
Підсумок
Історія EIP-2537 відображає складність процесу управління Ethereum. Від початкового сприйняття як核心 оновлення, до неодноразового відкладення через складність його реалізації, і нарешті, до включення в оновлення, EIP-2537 пройшов довгий шлях. Цей процес відображає роздуми та компроміси Ethereum у питаннях технічного розвитку, досягнення консенсусу та вибору пріоритетів.
Кожне оновлення Ethereum має свою специфічну тему та акцент. Чи може EIP бути включеним, залежить не лише від його власної цінності, а й тісно пов'язане з поточною стадією розвитку Ethereum та основними напрямками. Процес EIP-2537 демонструє гнучкість управління Ethereum та обережне ставлення спільноти до технічних викликів.
! Годинник управління Ethereum: подорож до компіляції EIP-2537