Всем привет, в текущей экосистеме Эфириума, независимо от того, Optimistic Rollup или ZK Rollup, поддерживается крайне громоздкая и высокорискованная система верификации на пользовательских цепях. Каждый раз, когда нужно исправить ошибку в базовом виртуальном машине, требуется длительное и опасное обновление децентрализованного управления.
Недавно на форуме исследований Эфириума (ethresear.ch) появился крайне революционный предложение: предлагается обобщить EIP-8025 и ввести новый EIP, добавив в базу Эфириума универсальную "Нативную Проверку Доказательств (Native Proof Verification)".
Если это предложение будет реализовано, будущие Rollup не будут нуждаться в развертывании сложных верификационных смарт-контрактов на цепи, а просто "бесплатно воспользуются" инфраструктурой верификации уровня консенсуса Ethereum (CL). Это не только значительно сократит избыточный код на основной сети Ethereum, но и поднимет безопасность и логику обновления Ethereum L2 на небывалую высоту.
В этой статье мы разберем ключевую логику, механизмы реализации и их глубокие последствия для будущего сектора масштабирования.
Первое. Анализ болевых точек: "Ахиллесова пята" текущей системы верификации Rollup.
В текущей парадигме масштабирования каждый Ethereum L2 как независимое "королевство", они ведут свою войну, создав на L1 крайне сложную верификационную инфраструктуру.
Сложные контракты на цепи: ZK Rollup должен развернуть верификационные контракты, адаптеры и планировщики для конкретного zkVM; Optimistic Rollup требует развертывания огромной системы виртуальных машин для мошенничества и логики разрешения споров.
Высокие затраты на обслуживание и риски безопасности: эти контракты поддерживаются независимыми командами. Если в базовой системе доказательств или виртуальной машине будет обнаружен баг, команда разработчиков должна выполнить обновление контракта через собственные мультиподписи (Multi-sig) или голосование DAO.
Неэффективные дублирования в экосистеме: в экосистеме Ethereum существует множество случаев повторного создания колес, разные проекты поддерживают функционально схожие библиотеки верификации, что не только требует огромных затрат на газ, но и многократно увеличивает безопасность всей сети.
Например, для Rollup с архитектурой "мульти-доказательств (Multi-proof)" для достижения предельной безопасности может потребоваться развернуть до шести контрактов на L1 (включая несколько оригинальных верификаторов zkVM от разных поставщиков, настраиваемые адаптеры, планировщики мульти-доказательств и т.д.). Обновление любого из этапов — это кошмар, который затрагивает все.
Второе. Ключевое решение: обобщение EIP-8025, введение универсальных верификационных примитивов.
EIP-8025 изначально был разработан для статeless (без состояний) Ethereum L1, он вводит инфраструктуру верификации доказательств zkVM на уровне консенсуса (CL). Но первоначальный дизайн был слишком "эгоистичным", обслуживая только верификацию конкретной нагрузки выполнения на основной сети Ethereum.
Умная идея нового предложения в том, что, поскольку уровень консенсуса уже имеет движок доказательств, протоколы трансляции и верификационную логику, почему бы не открыть его для использования всеми смарт-контрактами?
Это предложение достигает этой цели двумя ключевыми изменениями:
Полное обобщение верификационного движка уровня консенсуса (CL).
Предложение выделить часть, связанную с конкретной логикой Ethereum из EIP-8025, чтобы основная инфраструктура верификации доказательств стала "независимой от программ (Program-agnostic)".
Новый контейнер доказательств разделен на два ключевых измерения:
Идентификатор бэкенда (Backend Type): используется для указания, какую базовую систему доказательств следует использовать (например, конкретный zkVM).
Хэш программы (Program Hash): используется для уникальной идентификации конкретной клиентской программы, которая выполняется.
Таким образом, верификационный движок уровня консенсуса становится универсальным "разъемом", любой Rollup или даже протоколы конфиденциальности, ZK координированные процессоры, могут подключиться к этой верификационной сети, предоставив правильную вилку (идентификатор бэкенда и хэш программы).
2. Совершенно новые "транзакции с переносом доказательств (Proof-carrying Transaction)".
Чтобы смарт-контракты на уровне приложений могли воспринимать и использовать результаты верификации уровня консенсуса, предложение вводит новый тип транзакции и три сопутствующих новых операционного кода (Opcode):
Изменения на уровне транзакций: новая структура транзакции включает дополнительный список доказательств (записывающий хэш программы и тип бэкенда) и общий хэш вывода.
Снижение нагрузки на уровень смарт-контрактов: предложение добавило три операционных кода (которые не требуют сложных криптографических расчетов) для чтения хэша программы, хэша публичного вывода и количества доказательств.
Перестройка рабочего процесса: когда такие транзакции с переносом доказательств распространяются в мемпуле, сетевые узлы и строители блоков будут отвечать за выполнение тяжелой математической верификации на нижнем уровне. Как только транзакция будет упакована в блок, смарт-контракту нужно будет лишь вызвать вышеупомянутые новые операционные коды, чтобы "легко" подтвердить, эффективны ли доказательства.
Третье. Парадигмальный скачок: "выпуск клиентского программного обеспечения" заменяет "управление на цепи".
Введение этого механизма приведет к фундаментальному изменению архитектуры.
Ранее, если в базовой библиотеке zkVM, используемой Rollup, возникала уязвимость, команда Rollup должна была срочно инициировать предложение и пройти процесс управления в цепочке, чтобы обновить верификационный контракт на L1.
В парадигме "нативной верификации доказательств" вся тяжелая работа по верификации выгружена на клиентское программное обеспечение Ethereum L1 (например, Geth, Nethermind и т.д.). Когда базовому zkVM необходимо исправление, команде разработчиков клиентов Ethereum достаточно выпустить новую версию программного обеспечения. После обновления программного обеспечения узлы Ethereum баг автоматически исправляется.
Это похоже на обновление операционной системы, которая обновляет базовые патчи безопасности, и все программы, работающие на ней, автоматически получают выгоду, без необходимости каждому разработчику переписывать свой код. Rollup действительно реализовал механизм обновления безопасности Ethereum L1.
Четыре. Далеко идущие последствия для сектора L2.
Согласно грубым оценкам в предложении, если будет принят этот нативный механизм, текущие основные Rollup (включая оптимистическое масштабирование на основе WASM или MIPS, а также масштабирование на основе разных zkVM) смогут устранить от 20% до 50% ключевого кода на цепи.
Ранее многотысячные строки сложного стека верификаторов можно будет сократить до простого контракта "входного ящика (Inbox)". Этот контракт просто должен с помощью новых операционных кодов проверить, соответствуют ли количество доказательств требованиям и находится ли хэш программы в его белом списке, чтобы завершить подтверждение.
В то же время этот механизм элегантно решает проблему оркестрации "мульти-доказательств (Multi-proof)". Доказательства с разных бэкендов могут упаковываться на уровне транзакций и параллельно проверяться на нижнем уровне, смарт-контракты больше не нуждаются в написании "пасты по-итальянски" для координации нескольких систем доказательств.
Заключение: от войны "кастомизированных контрактов на цепи" к единому "нативному примитиву уровня консенсуса" — это неизбежный путь к зрелости и модульности экосистемы Ethereum.
Хотя это предложение требует дальнейшего обсуждения по деталям, таким как "гарантия стабильности хэша программы (то есть как проводить регулярное обслуживание базового кода без изменения идентификаторов на цепи)", направление, указанное в нем — сделать Rollup более легким, безопасным и тесно связанным с базовым консенсусом Ethereum L1 — безусловно, предоставляет весьма воображаемое будущее решение для сектора масштабирования, застрявшего в тупике управления и раздувания кода.
⚠️ 【Отказ от ответственности】 Содержимое статьи предназначено только для разъяснения базовых технологий и экономических моделей, не является инвестиционным советом, все данные получены из сети. Торговля крипто деривативами представляет собой крайне высокий риск, всегда оценивайте свою способность к риску и принимайте взвешенные решения.
🌹 Если вам понравился этот глубокий анализ, ставьте лайки, подписывайтесь, оставляйте комментарии и делитесь! Ваша поддержка — наш главный стимул для дальнейших публикаций.\u003ct-99/\u003e\u003ct-100/\u003e\u003cc-101/\u003e\u003cc-102/\u003e\u003cc-103/\u003e
