Сооснователь Ethereum Виталик Бутерин опубликовал обновлённую версию своей дорожной карты 2023 года, повысив приоритет квантовой безопасности и приватности, одновременно снизив приоритет verifiable delay functions (VDFs) и ряда более ранних улучшений Ethereum Virtual Machine (EVM).

Пересмотренная дорожная карта включает native rollups, blob and gas futures, новые типы состояний и механизмы постквантового масштабирования. Бутерин также исследует архитектуры исполнения за пределами EVM, при этом RISC-V, LeanISA, recursive STARKs и AI-assisted formal verification становятся ключевыми направлениями. Эта дорожная карта является личным техническим видением Бутерина относительно эволюции протокола Ethereum, а не обязательным графиком разработки, хотя она регулярно задаёт направления, влияющие на команды клиентов и более широкое исследовательское сообщество.

Перестановка приоритетов дорожной карты

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

Примечательно, что Verkle trees были заменены unified binary trees и PBT (Post-Quantum Binary Trees), а state expiry было вытеснено новыми типами состояний. Приватность теперь получила статус первоочередной задачи в обновлённых планах Ethereum: среди соответствующих функций Бутерин перечислил keyed nonces, recent roots, компоненты FOCIL, lean privacy pools и wormholes.

Дорожная карта также включает постквантовое масштабирование через leanSPHINCS signatures и zkzk frames. Кроме того, blob and gas futures теперь входят в запланированную инфраструктуру Ethereum.

Native rollups появились в дорожной карте после прогресса в технологии SNARK (succinct non-interactive arguments of knowledge). Бутерин отметил, что в 2023 году эта технология ещё не была достаточно зрелой для такого подхода.

Изучение исполнения за пределами EVM

Бутерин также обозначил более широкое видение для уровня исполнения Ethereum. По его словам, zkzk frames могут направить протокол к использованию набора инструкций за пределами EVM. В настоящее время среди ведущих кандидатов находятся LeanISA и RISC-V. RISC-V — это архитектура набора инструкций с открытым стандартом, широко применяемая в академических и промышленных аппаратных проектах, и её рассмотрение для Ethereum указывает на интерес к модели исполнения с широкой существующей инструментальной базой и работой над формальной спецификацией.

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

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

STARKs и ИИ получают более заметную роль

Бутерин назвал recursive STARKs и AI-assisted formal verification повторяющимися темами в обновлённой дорожной карте. Recursive STARKs присутствуют на нескольких уровнях протокола Ethereum, и одна верификационная примитивная схема потенциально может обслуживать уровни исполнения, консенсуса и данных одновременно.

Он подчеркнул, что formal verification становится необходимой для безопасного развёртывания таких общих компонентов. Более широкие усилия в области formal verification всё чаще связываются с современными ИИ-инструментами, что приводит к большему акценту на математической проверке кода во всей дорожной карте. Это отражает более широкую тенденцию в разработке программного обеспечения, где инструменты на базе ИИ применяются для доказательства свойств корректности в сложных системах, которые трудно полностью проверить тестированием.

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

The post Vitalik Buterin Elevates Quantum Safety and Privacy in Ethereum Roadmap appears on Crypto Front News . Visit our website to read more interesting articles about cryptocurrency, blockchain technology, and digital assets.