Від підтвердження за хвилину до безпеки на рівні слотів: що означає реалізація zkEVM для реальної верифікації?

Автор: Тіа, Новини Techub

Коли «реалізація zkEVM забезпечує верифікацію в реальному часі, що зменшує затримку доказу з 16 хвилин до 16 секунд» повторно згадується, це часто сприймається як просте підвищення продуктивності. Але в системі zk час не є нейтральним показником.

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

16 секунд - це не просто «швидше», а вперше впровадження zk-доказів у часові масштаби, близькі до слотів блокчейну. Цей крок має суттєво різний вплив на L2 zkEVM та L1 zkEVM.

Про L2 zkEVM: від «постфактумної фінальності» до рівня slot надійного стану

У L2 zkEVM функція zk-доказів полягає в тому, щоб підтвердити дійсність переходу стану L2 до Ethereum L1.

Минулі приблизно 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 та інші напрямки, які просуває Ethereum.

Шар консенсусу прагне до простоти, стабільності та формалізованої верифікації; шар виконання може бути складним, паралельним, аутсорсинговим; а правильність підтверджується і стиснута за допомогою zk.

Резюме

Отже, «зниження часу доказу з 16 хвилин до 16 секунд» не є звичайним проривом у продуктивності, це свідчить про те, що zkEVM еволюціонує з «інструмента безпеки для доказів після факту» у «інфраструктуру, яка може брати участь у визначенні реального фіналізму».

А як тільки часовий масштаб zk наближається до слоту, які компоненти в системі є основними, а які лише супутніми, часто також будуть переписані.