Дорожная карта обновления протокола Ethereum: улучшение EVM, абстрагирование счета и повышение безопасности

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

Будущее протокола Ethereum(六): процветание

Этап процветания содержит множество "деталей", которые имеют решающее значение для успеха Ethereum. Примерно половина содержания касается различных улучшений EVM, а остальная часть состоит из ряда нишевых тем.

Улучшение EVM

Решенная проблема

Текущая EVM трудно поддается статическому анализу, что затрудняет создание эффективных реализаций, формальную верификацию кода и дальнейшее расширение. Кроме того, эффективность EVM низка, и трудно реализовать многие формы высокоуровневой криптографии, если не обеспечена явная поддержка через предкомпиляцию.

Принцип работы

Формат объекта EVM(EOF) является первым шагом в текущей дорожной карте улучшений EVM, который планируется включить в следующий хард-форк. EOF определяет новую версию кода EVM с несколькими характеристиками:

  • Разделение кода и данных
  • Запрещен динамический переход
  • Код EVM не может наблюдать информацию, связанную с топливом
  • Добавить механизм явных подпрограмм

Старые контракты будут продолжать существовать, но в конечном итоге могут быть постепенно выведены из употребления. Новые контракты получат выгоду от повышения эффективности, которое принесет EOF.

Последующие обновления включают арифметическое расширение модуля EVM ( EVM-MAX ) и особенности одноинструкционного многоданных ( SIMD ). Эти функции могут быть использованы для ускорения различных форм криптографических вычислений.

! Виталик о возможном будущем Ethereum (6): Трата

Существующие исследования

  • EOF:
  • ЭВМ-МАКС:
  • SIMD:

Остаточная работа

EOF планируется включить в следующий хардфорк. Необходимо реализовать функции, аналогичные EVM-MAX с SIMD, и провести бенчмаркинг потребления газа для различных криптографических операций.

и взаимодействие с другими частями дорожной карты

L1 настраивает EVM, чтобы L2 также мог легче делать соответствующие настройки. EVM-MAX и SIMD могут снизить газовые затраты многих систем доказательств, сделав L2 более эффективным.

Виталик о возможном будущем Ethereum (шестая часть): The Splurge

Абстракция счета

Решаемая проблема

В настоящее время транзакции могут быть проверены только с помощью подписи ECDSA. Абстракция аккаунтов предназначена для того, чтобы позволить логике проверки аккаунта быть произвольным EVM-кодом, что позволяет использовать множество приложений:

  • Переключиться на квантово-устойчивое шифрование
  • Смена ключей
  • Многофакторная подпись и социальное восстановление кошелька
  • Уровневая секретность
  • Поддержка протокола конфиденциальности без ретрансляции

Принцип работы

ERC-4337 является решением для реализации "идеального абстрактного аккаунта". Он разделяет обработку действий пользователя на два этапа: верификацию и выполнение, чтобы предотвратить атаки множественного сбоя.

EIP-7701 реализует абстракцию аккаунтов поверх EOF, позволяя аккаунтам иметь отдельную часть кода валидации.

Виталик о возможном будущем Ethereum (шестая часть): The Splurge

Существующие исследования

  • История абстракции счетов:
  • ERC-4337:
  • EIP-7701:

Остаточная работа

Необходимо решить, как полностью внедрить абстракцию аккаунтов в протокол. Основное соотношение — "быстро разработать решение, которое удовлетворит меньшее количество людей" и "подождать дольше, возможно, получив более идеальное решение".

и взаимодействие с другими частями дорожной карты

Список должен поддерживать абстрактные транзакции счетов. Реализация абстракции счетов должна координироваться между L1 и L2 как можно лучше.

Виталик о возможном будущем Эфира (шесть): The Splurge

Улучшение EIP-1559

Решенная проблема

EIP-1559 улучшил среднее время включения блока, но все еще существуют проблемы:

  1. Формула имеет некоторые недостатки
  2. В крайних случаях корректировка недостаточно быстрая

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

Принцип работы

EIP-7706 вводит новое измерение газа, специально предназначенное для calldata, и упрощает многомерный механизм газа. EIP-7623 предлагает более точное решение, строго ограничивая максимальный размер calldata.

Виталик о возможном будущем Эфира (Шестая часть): The Splurge

Существующие исследования

  • EIP-1559 FAQ:
  • Многомерный Gas:

Остаточная работа

Основные компромиссы многомерного газа заключаются в увеличении сложности протокола и сложности оптимального алгоритма заполнения блока. Необходимо провести дополнительные исследования для нахождения идеальной точки баланса.

и взаимодействие с другими частями дорожной карты

Многомерный Gas может снизить использование ресурсов в некоторых "наихудших ситуациях", уменьшая давление на оптимизацию производительности. Наличие EOF упрощает реализацию более экстремальных версий многомерного Gas.

Виталик о возможном будущем Ethereum (шестая часть): The Splurge

Проверяемая задержка функции ( VDFs )

Решенная проблема

Текущая случайность RANDAO дает каждому предложителю "1 голос управления". VDF может обеспечить более надежный источник случайности.

Принцип работы

VDF — это функция, которая может быть вычислена только последовательно, и не может быть ускорена параллельно. Входные данные основаны на информации, доступной в момент времени T, а выходные данные становятся доступными в какой-то момент времени после T. Основной риск заключается в неожиданной оптимизации.

! Виталик о возможном будущем Ethereum (6): Трата

Существующие исследования

  • VDF исследовательский сайт:

Остальная работа

Необходимо найти VDF конструкцию, полностью удовлетворяющую требованиям Ethereum. Основные соотношения - функциональность и сложность протокола, а также риски безопасности.

и взаимодействие с другими частями дорожной карты

VDF относительно независим в протоколе Ethereum, кроме повышения безопасности выбора предложителя, он также может быть использован для цепочных приложений и криптопамяти, зависящих от случайности.

Виталик о возможном будущем Эфира (шестая часть): The Splurge

Смешивание и одноразовая подпись

Решенная проблема

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

Принцип работы

Неразличимая запутанность позволяет создавать "криптопрограммы", выполнять произвольные вычисления, одновременно скрывая внутренние детали. Квантовая одноразовая подпись может предотвратить копирование программы.

Виталик о возможном будущем Эфира (шесть): The Splurge

Существующие исследования

  • Непрерывный смешанный Протокол (2021):
  • Как обфускация помогает Ethereum:

Остальная работа

Неразличимые смешения все еще очень незрелые, требуется более эффективная реализация. Квантовые компьютеры еще не реализованы. Основные компромиссы заключаются в предположениях безопасности.

и взаимодействие с другими частями дорожной карты

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

! Виталик о возможном будущем Ethereum (6): Трата

Виталик о возможном будущем Эфира (шестая часть): The Splurge

Виталик о возможном будущем Ethereum (шестая часть): The Splurge

ETH2.36%
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
  • Награда
  • 4
  • Поделиться
комментарий
0/400
gas_guzzlervip
· 08-03 07:05
Статический анализ очень важен
Посмотреть ОригиналОтветить0
PonziDetectorvip
· 08-03 07:04
Системное обновление не за горами
Посмотреть ОригиналОтветить0
TaxEvadervip
· 08-03 06:45
Повышение эффективности — залог процветания.
Посмотреть ОригиналОтветить0
rugpull_ptsdvip
· 08-03 06:44
Ожидаем успешного обновления EVM
Посмотреть ОригиналОтветить0
  • Закрепить