От минутного доказательства до безопасности уровня слота: что означает реализация zkEVM верификации в реальном времени?

Автор: Тиа, Techub News

Когда «реализация zkEVM обеспечивает верификацию в реальном времени, и задержка доказательства снижается с 16 минут до 16 секунд» упоминается многократно, это часто воспринимается как простое улучшение производительности. Но в системе zk время не является нейтральным показателем.

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

16 секунд — это не просто «быстрее», а впервые переносит zk-доказательства в масштаб времени, близкий к времени слота блока. Этот шаг имеет принципиально различное влияние на L2 zkEVM и L1 zkEVM.

Для L2 zkEVM: от «после окончательности» до надежного состояния на уровне слотов

В L2 zkEVM функция zk-доказательства заключается в том, чтобы подтвердить на Ethereum L1 действительность перехода состояния L2.

Прошедшие примерно 16 минут задержки подтверждения означают реальное ограничение:

Хотя L2 теоретически обладает мгновенной окончательностью, на практике его безопасность всегда отстает на несколько блоков.

Это привело к тому, что L2 блоки долгое время находились в состоянии «мягкого подтверждения»:

Для пользователей опыт является мгновенным.

По-прежнему необходимо ждать для L1 и внешних систем

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

Во-первых, zk-доказательства могут генерироваться по слотам, а не массово компенсироваться через большие объемы исторических блоков.

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

Во-вторых, это напрямую влияет на модель доверия в междоменных системах.

Кросс-цепочный мост, CEX пополнение и система клиринга могут полагаться на результаты zk-валидации на L1 за секунды, а не устанавливать дополнительные окна ожидания или ручной риск-менеджмент.

Более важно, что zkEVM впервые на уровне пользовательского опыта достиг уровня Optimistic Rollup. Маршрут zk больше не является просто «безопасным, но медленным уровнем расчетов», а начинает становиться исполняющей средой, способной поддерживать приложения в реальном времени.

К L1 zkEVM: zk впервые приближается к масштабам времени консенсуса

L1 zkEVM не является Rollup, а представляет собой потенциальную реконструкцию способа валидации выполнения L1.

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

Концепция L1 zkEVM заключается в том, чтобы изменить это: больше не требуется, чтобы валидаторы выполняли EVM, им нужно только проверять zk-доказательство.

Эффективность блока изменилась с «Я посчитал» на «Я подтвердил криптографический факт».

Но для этого дизайна есть одно предварительное условие: zk-доказательства должны быть достаточно быстрыми, чтобы войти в ключевой путь консенсуса.

Если генерация доказательства занимает несколько минут, оно может использоваться только как ретроспективная проверка; только когда задержка доказательства близка к времени слота, zk может участвовать в реальном суждении о том, «является ли блок действительным».

Таким образом, значение 16 секунд заключается не в том, что «это уже достаточно быстро», а в том, что zkEVM впервые больше не исключается из дизайна консенсуса по временным масштабам.

Вот почему обсуждение L1 zkEVM сосредоточено на безопасности 128 бит, теории доказательства и долгосрочных криптографических предположениях. Как только zk входит в путь консенсуса, его уровень безопасности эквивалентен хэш-функции и алгоритму подписи.

С более宏观ной точки зрения, это является узлом на одной логической линии с направлениями, которые развивает Эфириум, такими как snarkification и Beam Chain.

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

Резюме

Таким образом, «снижение времени подтверждения с 16 минут до 16 секунд» не является обычным прорывом в производительности, это сигнализирует о том, что zkEVM эволюционирует из «инструмента безопасности с постфактум подтверждением» в «инфраструктуру, которая может участвовать в определении окончательности в реальном времени».

И как только временная шкала zk приближается к слоту, какие компоненты в системе являются основными, а какие только вспомогательными, часто также будут переписаны.