Закінчення ZK Ethereum: переформатування L1, реконструкція L2
Для тих, хто стежить за розвитком технологій Ethereum, нещодавно опублікована стаття інженера Ethereum Софії Голд "Доставка L1 zkEVM #1: Реальний доказ" має велике значення. Хоча це лише представляє технічну концепцію основної команди розробників Ethereum і ще не пройшло офіційний процес EIP, до визначеного рішення для оновлення основної мережі ще далеко, але сигнали, які вона випускає, не можна недооцінювати.
Ця стаття чітко демонструє основну дорожню карту майбутнього розвитку Ethereum: всебічна та глибока інтеграція технології нульових знань у всі аспекти протоколу Layer 1, від рівня консенсусу до рівня виконання, забезпечуючи всебічне покриття. Згідно з цією технологічною дорожньою картою, першим ключовим кроком буде модернізація EVM різних вузлів до zkEVM. Таким чином, вузли під час виконання транзакцій та запуску смарт-контрактів зможуть синхронно генерувати відповідні докази нульових знань, надаючи верифікаторам підтвердження правильності виконання.
Це не просто чергова звичайна технічна ітерація, а архітектурна революція, яка може зрівнятися з "The Merge". Вона має на меті радикально вирішити численні проблеми, з якими стикається Ethereum в аспектах масштабованості, безпеки та економічної моделі. Чому ж Ethereum вирішив "повністю зробити ставку" на ZK саме в цей момент? Яка глибока логіка стоїть за цим стратегічним зміщенням? Як це змінить те, що ми знаємо про L1 і навіть всю екосистему L2?
Ця стаття на основі існуючих досліджень розповість вам про грандіозний наратив "ZK кінець" Ethereum та проаналізує його мотиви, дії та далекі наслідки.
Один. Перехід від "повторного виконання" до "перевірки доказів"
Концепція ZK-оформлення Ethereum полягає в радикальній перебудові механізму верифікації консенсусу. Нещодавно опублікована дорожня карта L1 zkEVM надала чіткий технологічний шлях для цієї трансформації.
Поточна модель: повторне виконання (Re-execution)
Наразі, коли новий блок пропонується, усі вузли-верифікатори в мережі повинні незалежно та повністю повторно виконати кожну транзакцію в цьому блоці, щоб обчислити та перевірити, чи остаточний корінь стану відповідає тому, що заявив пропонент. Цей процес є ресурсомістким і є основним вузьким місцем, що обмежує пропускну спроможність Ethereum L1.
Майбутня модель: перевірка доказів (Proof Verification)
У новій архітектурі L1 zkEVM будівельник блоків (Builder) під час генерації блоку також створює компактне ZK-докази дійсності. Інші валідатори, отримавши блок і доказ, більше не потребують повторного виконання транзакцій, а лише повинні перевірити це криптографічне підтвердження. Оскільки "перевірка ZK Proof" є значно дешевшою з точки зору обчислювальних витрат, ніж "повторне виконання транзакцій", і що важливо, час, необхідний для перевірки доказу, майже не залежить від кількості транзакцій, які охоплює цей доказ, це дозволяє Ethereum значно підвищити ліміт Gas блоку для вміщення більшої кількості транзакцій, не підвищуючи суттєво вимоги до апаратного забезпечення валідаторів. Віталік Бутерін згадував, що ліміт Gas L1 може бути підвищено в 10 разів, а в більш віддаленій перспективі досягти 100 разів, що дозволить здійснити масштабування L1, зберігаючи при цьому децентралізацію.
Отже, майбутній Ethereum L1 архітектурно дуже схожий на величезний, рідний ZK-Rollup, що робить Ethereum L1 самим "найбільшим ZK-застосунком у світі".
Суворі технічні стандарти
Команда Ethereum встановила надзвичайно суворі технічні стандарти для реалізації L1 zkEVM, знижуючи затримки та підвищуючи пропускну здатність, водночас забезпечуючи безпеку та обіцянку децентралізації.
| Метрики | Цільове значення | Принцип/вплив |
|------------------|-------------------|--------------------------------------------------------------------|
| Доказ затримки (99% квартиль ) | Менше ніж 10 секунд | Це "реальний конкурс" у центрі. Затримка має бути достатньо низькою, щоб безшовно вписатися в 12-секундна цикл створення блоків, не ставши новим вузьким місцем. |
| Криптографічна безпека | 128 біт ( на початковому етапі мінімум 100 біт ) | Забезпечте, щоб криптографічна міцність доказу була достатньою для протистояння сучасним та передбачуваним майбутнім комп'ютерним атакам, гарантуйте безпеку L1.
| Розмір доказу | Менше 300 KiB | Доказ повинен бути достатньо малим, щоб ефективно поширюватися в P2P мережі, уникаючи виникнення нових вузьких місць у мережі.
| Вартість обладнання для валідаторів | Не більше 100,000 доларів США | Призначено для реалізації "домашнього валідатора", щоб забезпечити незалежним стейкерам можливість брати участь у генерації доказів, як останній рубіж проти цензури. |
| Споживання енергії валідатора | Нижче 10 кВт | Споживання енергії, порівнянне з зарядною станцією для електромобілів, подальше зниження бар'єрів для домашнього валідації, що забезпечує децентралізацію. |
Багато моделей безпеки доказів
Щоб запобігти можливим невідомим вразливостям в єдиній реалізації zkEVM, ця дорожня карта вводить механізм безпеки "Багато доказів" (Multi-Proof). Він вимагає, щоб для підтвердження дійсності одного й того ж блоку, кілька zkEVM з різних команд повинні створити кілька доказів. Клієнт перевіряючого завантажить і перевірить ці різні за джерелом докази. Лише коли кілька незалежних доказів будуть успішно перевірені, цей блок буде прийнятий рівнем консенсусу. Це по суті є розширенням і піднесенням ідеї "різноманітності клієнтів" Ethereum на рівні доказів, примусово вводячи надмірність і різноманітність через протокол, що забезпечує глибокий захист для L1 та підвищує міцність протоколу.
Два, чому Ethereum повинен "повністю ZK-уватися"?
Ethereum повністю приймає технологію нульових знань, що є важливою стратегічною трансформацією, заснованою на глибокій роздумі про його економічну модель, конкурентне середовище та майбутні потреби ринку.
По-перше, це важливе уточнення економічної моделі, орієнтованої на "L2". Після введення механізму blob в EIP-4844, хоча вдалося успішно знизити витрати на транзакції Layer 2, це також принесло несподівані побічні ефекти — серйозно послабило здатність Layer 1 до захоплення вартості. Різке падіння доходів від комісій за транзакції L1 та обсягу знищення ETH безпосередньо вплинуло на очікування дефляції ETH, що призвело до слабкої поведінки ціни монети та зростання невдоволення в спільноті. Завдяки оновленню EVM до zkEVM, верифікаційні вузли можуть перейти з трудомісткого режиму "перевиконання" на ефективний режим "перевірки", що значно знизить затримки L1 і підвищить пропускну спроможність. Таким чином, Ethereum зможе знову залучити ті транзакції високої вартості, які мають надзвичайно високі вимоги до безпеки та миттєвої остаточності, збільшити доходи від комісій L1, знову активізувати механізм знищення EIP-1559 і досягти повторного балансування економічних відносин між L1 і L2.
По-друге, це асиметрична стратегія, спрямована на протидію конкуренції високопродуктивних публічних ланцюгів. Зіткнувшись з потужними показниками TPS новітніх високопродуктивних L1, таких як Solana та Sui, Ethereum обрав унікальний шлях конкуренції. Він не наслідував конкурентів, жертвуючи рівнем децентралізації заради підвищення продуктивності, а натомість використав технологію ZK, щоб досягти стрибка продуктивності, перетворивши верифікаційні роботи з "дорогого повторення" на "дешеву верифікацію", зберігаючи при цьому свою основну перевагу — мережу з мільйона валідацій. Ця стратегія має на меті зміцнити захисні бар'єри Ethereum в аспектах децентралізації та безпеки, одночасно підвищуючи продуктивність, прагнучи досягти балансу між безпекою та високою продуктивністю.
Насамкінець, це є передовою стратегією для зустрічі з хвилею RWA та інституційних фінансів. Токенізація RWA загалом вважається наступною трильйонною можливістю на ринку блокчейнів. З приходом фінансових гігантів, таких як BlackRock і Franklin Templeton, були висунуті безпрецедентно суворі вимоги до основних блокчейнів щодо продуктивності, безпеки, конфіденційності та відповідності. Хоча Solana, Sui та інші L1 мають відмінну продуктивність, кількість верифікаційних вузлів відносно невелика, а рівень централізації досить високий, до того ж вони мають історію збоїв, що ускладнює задоволення вимог безпеки та стабільності для високовартісних фінансових операцій. Хоча різні OP Rollup в екосистемі Ethereum мають хорошу продуктивність і, завдяки запису стану в L1, забезпечують добру безпеку, їх семиденний період виклику є неприйнятним ризиковим фактором для фінансових розрахунків високої вартості. У порівнянні з цим, криптографічний рівень остаточності, що надається технологією ZK, а також можливість доводити відповідність без розкриття чутливих даних, ідеально відповідають основним вимогам інституційних фінансів. Якщо оновлення zkEVM зможе підвищити пропускну здатність, тоді екосистема Ethereum з рідною інтеграцією технології ZK досягне "продуктивності, безпеки, стабільності" одночасно, ставши ідеальним глобальним розрахунковим рівнем для хвилі RWA.
Три, ZK-кінець у дії
Етер ZK-кінця давно виявився, окрім блогу, опублікованого Софією Голд:
Ще в квітні 2025 року Віталік Бутерін висунув надзвичайно перспективну ідею: замінити існуючий EVM на більш дружню до ZK архітектуру команд RISC-V. Прихильники вважають, що, в порівнянні з низькою ефективністю EVM при генерації ZK-кола, більш простора архітектура RISC-V може забезпечити підвищення ефективності доказів на порядок. Хоча ця пропозиція викликала суперечки через порушення існуючої екосистеми, вона встановила чітку "північну зірку" для ZK-імплементації Ethereum – визначила стандарти ідеального zkEVM, вказавши напрямок для оптимізації.
На воркшопі в Берліні в червні 2025 року дослідник Фонду Ethereum Джастін Дрейк чітко оголосив, що Ethereum "повністю робить ставку на ZK" у розширенні L1. Це висловлювання підтвердило твердий намір основної команди розробників.
Фінал ZK в Ethereum також зовсім не є "паперовими розмовами". Хоча наразі Optimistic Rollup все ще випереджає ZK Rollup за ключовими показниками, труднощі, що заважають практичному застосуванню ZK-технології, поступово долаються. Історично склалися три основні причини, чому ZK Rollup серйозно відстає:
По-перше, це технічна складність та продуктивність: раніше генерувати ZK-докази для загального EVM-обчислення вважалося надзвичайно складним, повільним і дорогим, навіть не здійсненним з точки зору обчислень.
По-друге, різниця в досвіді розробників: ORU з самого початку реалізувала високу сумісність з EVM, тоді як ранні ZKR не були сумісні з EVM, що вимагало від розробників вивчення абсолютно нової мови програмування, створюючи дуже високий бар'єр для входу.
Нарешті, це фрагментація ліквідності та мережевий ефект: ORU завдяки своїй першій перевазі зібрав велику кількість користувачів та ліквідності, створивши потужний мережевий ефект.
Проте ці історичні бар'єри поступово долаються.
У сфері швидкості доказів, завдяки прогресу нових поколінь алгоритмів доказів, таких як PLONK, STARKs, а також розвитку апаратних технологій прискорення, таких як GPU, FPGA та навіть ASIC, час генерації ZK-доказів значно скоротився. Наприклад, zkVM SP1 компанії Succinct тепер може підтверджувати 93% блоків основної мережі Ethereum в середньому за 10,3 секунди, що дуже близько до цільового показника в 10 секунд, встановленого Фондом Ethereum.
У плані сумісності zkEVM пройшов еволюційний процес поступового підвищення сумісності від Type 4 до Type 1. Сьогодні такі проекти, як Scroll, Taiko, Polygon zkEVM, вже можуть досягти майже ідеальної еквівалентності EVM, що в корені усуває різницю з ORU у досвіді розробників. Крім того, безпечна модель Multi-Proof для L1 ZK залежить від кількох незалежних систем доказів, і нинішній бурхливий розвиток сектора zkEVM закладає основи для реалізації цієї безпечної моделі.
Отже, історичною основною перешкодою для розвитку технології ZK — продуктивності та сумісності — швидко долається. Технологія вже повністю готова до масштабного впровадження в реальних умовах, просто раніше стереотип, що ZK технології "повільні, дорогі та складні", заважав людям прийняти це. А бачення основної команди Ethereum "зробити Ethereum найбільшим у світі ZK-застосуванням" насправді підтримує сучасну технологію ZK, сповіщаючи про початок масштабного впровадження технології ZK в практику.
Чотири, трансформація екосистеми ROLLUP
РІДНИЙ ROLLUP ПРОКЛАДАЄ ШОСЕ ДЛЯ ZK ROLLUP
Всеосяжна ZK-реалізація Ethereum L1 кардинально перепроектує конкурентне середовище Layer 2, де найбільш революційною зміною є запропонування "рідного Rollup" (Native Rollup). Поточні ZK-Rollup вимагають розгортання складних смарт-контрактів валідаторів, що містять тисячі рядків коду на L1 для перевірки ZK-доказів, поданих на L2, що не лише ускладнює розробку, але й створює ризики безпеки через нерівний рівень розробників. А після впровадження zkEVM на L1 буде введено функцію EXECUTE, яка дозволить ZK Rollup на L1 безпосередньо викликати вбудовану логіку перевірки протоколу L1, не пишучи власний контракт.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
6 лайків
Нагородити
6
5
Поділіться
Прокоментувати
0/400
GateUser-bd883c58
· 5год тому
V引起 так багато яскравих кольорів
Переглянути оригіналвідповісти на0
DaisyUnicorn
· 5год тому
У серці хризантеми виростає нове майбутнє~
Переглянути оригіналвідповісти на0
YieldWhisperer
· 5год тому
гм... бачив цей плейбук раніше у 2021. цикл хайпу zk знову завантажується, смх
Переглянути оригіналвідповісти на0
AirdropHunter9000
· 5год тому
в Бога дійсно жорстоко, запитую вас, чи боїтеся ви?
Ethereum повністю приймає ZK-технології, перетворюючи L1 архітектуру та L2 екосистему
Закінчення ZK Ethereum: переформатування L1, реконструкція L2
Для тих, хто стежить за розвитком технологій Ethereum, нещодавно опублікована стаття інженера Ethereum Софії Голд "Доставка L1 zkEVM #1: Реальний доказ" має велике значення. Хоча це лише представляє технічну концепцію основної команди розробників Ethereum і ще не пройшло офіційний процес EIP, до визначеного рішення для оновлення основної мережі ще далеко, але сигнали, які вона випускає, не можна недооцінювати.
Ця стаття чітко демонструє основну дорожню карту майбутнього розвитку Ethereum: всебічна та глибока інтеграція технології нульових знань у всі аспекти протоколу Layer 1, від рівня консенсусу до рівня виконання, забезпечуючи всебічне покриття. Згідно з цією технологічною дорожньою картою, першим ключовим кроком буде модернізація EVM різних вузлів до zkEVM. Таким чином, вузли під час виконання транзакцій та запуску смарт-контрактів зможуть синхронно генерувати відповідні докази нульових знань, надаючи верифікаторам підтвердження правильності виконання.
Це не просто чергова звичайна технічна ітерація, а архітектурна революція, яка може зрівнятися з "The Merge". Вона має на меті радикально вирішити численні проблеми, з якими стикається Ethereum в аспектах масштабованості, безпеки та економічної моделі. Чому ж Ethereum вирішив "повністю зробити ставку" на ZK саме в цей момент? Яка глибока логіка стоїть за цим стратегічним зміщенням? Як це змінить те, що ми знаємо про L1 і навіть всю екосистему L2?
Ця стаття на основі існуючих досліджень розповість вам про грандіозний наратив "ZK кінець" Ethereum та проаналізує його мотиви, дії та далекі наслідки.
Один. Перехід від "повторного виконання" до "перевірки доказів"
Концепція ZK-оформлення Ethereum полягає в радикальній перебудові механізму верифікації консенсусу. Нещодавно опублікована дорожня карта L1 zkEVM надала чіткий технологічний шлях для цієї трансформації.
Поточна модель: повторне виконання (Re-execution) Наразі, коли новий блок пропонується, усі вузли-верифікатори в мережі повинні незалежно та повністю повторно виконати кожну транзакцію в цьому блоці, щоб обчислити та перевірити, чи остаточний корінь стану відповідає тому, що заявив пропонент. Цей процес є ресурсомістким і є основним вузьким місцем, що обмежує пропускну спроможність Ethereum L1.
Майбутня модель: перевірка доказів (Proof Verification) У новій архітектурі L1 zkEVM будівельник блоків (Builder) під час генерації блоку також створює компактне ZK-докази дійсності. Інші валідатори, отримавши блок і доказ, більше не потребують повторного виконання транзакцій, а лише повинні перевірити це криптографічне підтвердження. Оскільки "перевірка ZK Proof" є значно дешевшою з точки зору обчислювальних витрат, ніж "повторне виконання транзакцій", і що важливо, час, необхідний для перевірки доказу, майже не залежить від кількості транзакцій, які охоплює цей доказ, це дозволяє Ethereum значно підвищити ліміт Gas блоку для вміщення більшої кількості транзакцій, не підвищуючи суттєво вимоги до апаратного забезпечення валідаторів. Віталік Бутерін згадував, що ліміт Gas L1 може бути підвищено в 10 разів, а в більш віддаленій перспективі досягти 100 разів, що дозволить здійснити масштабування L1, зберігаючи при цьому децентралізацію.
Отже, майбутній Ethereum L1 архітектурно дуже схожий на величезний, рідний ZK-Rollup, що робить Ethereum L1 самим "найбільшим ZK-застосунком у світі".
Суворі технічні стандарти
Команда Ethereum встановила надзвичайно суворі технічні стандарти для реалізації L1 zkEVM, знижуючи затримки та підвищуючи пропускну здатність, водночас забезпечуючи безпеку та обіцянку децентралізації.
| Метрики | Цільове значення | Принцип/вплив | |------------------|-------------------|--------------------------------------------------------------------| | Доказ затримки (99% квартиль ) | Менше ніж 10 секунд | Це "реальний конкурс" у центрі. Затримка має бути достатньо низькою, щоб безшовно вписатися в 12-секундна цикл створення блоків, не ставши новим вузьким місцем. | | Криптографічна безпека | 128 біт ( на початковому етапі мінімум 100 біт ) | Забезпечте, щоб криптографічна міцність доказу була достатньою для протистояння сучасним та передбачуваним майбутнім комп'ютерним атакам, гарантуйте безпеку L1. | Розмір доказу | Менше 300 KiB | Доказ повинен бути достатньо малим, щоб ефективно поширюватися в P2P мережі, уникаючи виникнення нових вузьких місць у мережі. | Вартість обладнання для валідаторів | Не більше 100,000 доларів США | Призначено для реалізації "домашнього валідатора", щоб забезпечити незалежним стейкерам можливість брати участь у генерації доказів, як останній рубіж проти цензури. | | Споживання енергії валідатора | Нижче 10 кВт | Споживання енергії, порівнянне з зарядною станцією для електромобілів, подальше зниження бар'єрів для домашнього валідації, що забезпечує децентралізацію. |
Багато моделей безпеки доказів
Щоб запобігти можливим невідомим вразливостям в єдиній реалізації zkEVM, ця дорожня карта вводить механізм безпеки "Багато доказів" (Multi-Proof). Він вимагає, щоб для підтвердження дійсності одного й того ж блоку, кілька zkEVM з різних команд повинні створити кілька доказів. Клієнт перевіряючого завантажить і перевірить ці різні за джерелом докази. Лише коли кілька незалежних доказів будуть успішно перевірені, цей блок буде прийнятий рівнем консенсусу. Це по суті є розширенням і піднесенням ідеї "різноманітності клієнтів" Ethereum на рівні доказів, примусово вводячи надмірність і різноманітність через протокол, що забезпечує глибокий захист для L1 та підвищує міцність протоколу.
Два, чому Ethereum повинен "повністю ZK-уватися"?
Ethereum повністю приймає технологію нульових знань, що є важливою стратегічною трансформацією, заснованою на глибокій роздумі про його економічну модель, конкурентне середовище та майбутні потреби ринку.
По-перше, це важливе уточнення економічної моделі, орієнтованої на "L2". Після введення механізму blob в EIP-4844, хоча вдалося успішно знизити витрати на транзакції Layer 2, це також принесло несподівані побічні ефекти — серйозно послабило здатність Layer 1 до захоплення вартості. Різке падіння доходів від комісій за транзакції L1 та обсягу знищення ETH безпосередньо вплинуло на очікування дефляції ETH, що призвело до слабкої поведінки ціни монети та зростання невдоволення в спільноті. Завдяки оновленню EVM до zkEVM, верифікаційні вузли можуть перейти з трудомісткого режиму "перевиконання" на ефективний режим "перевірки", що значно знизить затримки L1 і підвищить пропускну спроможність. Таким чином, Ethereum зможе знову залучити ті транзакції високої вартості, які мають надзвичайно високі вимоги до безпеки та миттєвої остаточності, збільшити доходи від комісій L1, знову активізувати механізм знищення EIP-1559 і досягти повторного балансування економічних відносин між L1 і L2.
По-друге, це асиметрична стратегія, спрямована на протидію конкуренції високопродуктивних публічних ланцюгів. Зіткнувшись з потужними показниками TPS новітніх високопродуктивних L1, таких як Solana та Sui, Ethereum обрав унікальний шлях конкуренції. Він не наслідував конкурентів, жертвуючи рівнем децентралізації заради підвищення продуктивності, а натомість використав технологію ZK, щоб досягти стрибка продуктивності, перетворивши верифікаційні роботи з "дорогого повторення" на "дешеву верифікацію", зберігаючи при цьому свою основну перевагу — мережу з мільйона валідацій. Ця стратегія має на меті зміцнити захисні бар'єри Ethereum в аспектах децентралізації та безпеки, одночасно підвищуючи продуктивність, прагнучи досягти балансу між безпекою та високою продуктивністю.
Насамкінець, це є передовою стратегією для зустрічі з хвилею RWA та інституційних фінансів. Токенізація RWA загалом вважається наступною трильйонною можливістю на ринку блокчейнів. З приходом фінансових гігантів, таких як BlackRock і Franklin Templeton, були висунуті безпрецедентно суворі вимоги до основних блокчейнів щодо продуктивності, безпеки, конфіденційності та відповідності. Хоча Solana, Sui та інші L1 мають відмінну продуктивність, кількість верифікаційних вузлів відносно невелика, а рівень централізації досить високий, до того ж вони мають історію збоїв, що ускладнює задоволення вимог безпеки та стабільності для високовартісних фінансових операцій. Хоча різні OP Rollup в екосистемі Ethereum мають хорошу продуктивність і, завдяки запису стану в L1, забезпечують добру безпеку, їх семиденний період виклику є неприйнятним ризиковим фактором для фінансових розрахунків високої вартості. У порівнянні з цим, криптографічний рівень остаточності, що надається технологією ZK, а також можливість доводити відповідність без розкриття чутливих даних, ідеально відповідають основним вимогам інституційних фінансів. Якщо оновлення zkEVM зможе підвищити пропускну здатність, тоді екосистема Ethereum з рідною інтеграцією технології ZK досягне "продуктивності, безпеки, стабільності" одночасно, ставши ідеальним глобальним розрахунковим рівнем для хвилі RWA.
Три, ZK-кінець у дії
Етер ZK-кінця давно виявився, окрім блогу, опублікованого Софією Голд:
Ще в квітні 2025 року Віталік Бутерін висунув надзвичайно перспективну ідею: замінити існуючий EVM на більш дружню до ZK архітектуру команд RISC-V. Прихильники вважають, що, в порівнянні з низькою ефективністю EVM при генерації ZK-кола, більш простора архітектура RISC-V може забезпечити підвищення ефективності доказів на порядок. Хоча ця пропозиція викликала суперечки через порушення існуючої екосистеми, вона встановила чітку "північну зірку" для ZK-імплементації Ethereum – визначила стандарти ідеального zkEVM, вказавши напрямок для оптимізації.
На воркшопі в Берліні в червні 2025 року дослідник Фонду Ethereum Джастін Дрейк чітко оголосив, що Ethereum "повністю робить ставку на ZK" у розширенні L1. Це висловлювання підтвердило твердий намір основної команди розробників.
Фінал ZK в Ethereum також зовсім не є "паперовими розмовами". Хоча наразі Optimistic Rollup все ще випереджає ZK Rollup за ключовими показниками, труднощі, що заважають практичному застосуванню ZK-технології, поступово долаються. Історично склалися три основні причини, чому ZK Rollup серйозно відстає:
По-перше, це технічна складність та продуктивність: раніше генерувати ZK-докази для загального EVM-обчислення вважалося надзвичайно складним, повільним і дорогим, навіть не здійсненним з точки зору обчислень.
По-друге, різниця в досвіді розробників: ORU з самого початку реалізувала високу сумісність з EVM, тоді як ранні ZKR не були сумісні з EVM, що вимагало від розробників вивчення абсолютно нової мови програмування, створюючи дуже високий бар'єр для входу.
Нарешті, це фрагментація ліквідності та мережевий ефект: ORU завдяки своїй першій перевазі зібрав велику кількість користувачів та ліквідності, створивши потужний мережевий ефект.
Проте ці історичні бар'єри поступово долаються.
У сфері швидкості доказів, завдяки прогресу нових поколінь алгоритмів доказів, таких як PLONK, STARKs, а також розвитку апаратних технологій прискорення, таких як GPU, FPGA та навіть ASIC, час генерації ZK-доказів значно скоротився. Наприклад, zkVM SP1 компанії Succinct тепер може підтверджувати 93% блоків основної мережі Ethereum в середньому за 10,3 секунди, що дуже близько до цільового показника в 10 секунд, встановленого Фондом Ethereum.
У плані сумісності zkEVM пройшов еволюційний процес поступового підвищення сумісності від Type 4 до Type 1. Сьогодні такі проекти, як Scroll, Taiko, Polygon zkEVM, вже можуть досягти майже ідеальної еквівалентності EVM, що в корені усуває різницю з ORU у досвіді розробників. Крім того, безпечна модель Multi-Proof для L1 ZK залежить від кількох незалежних систем доказів, і нинішній бурхливий розвиток сектора zkEVM закладає основи для реалізації цієї безпечної моделі.
Отже, історичною основною перешкодою для розвитку технології ZK — продуктивності та сумісності — швидко долається. Технологія вже повністю готова до масштабного впровадження в реальних умовах, просто раніше стереотип, що ZK технології "повільні, дорогі та складні", заважав людям прийняти це. А бачення основної команди Ethereum "зробити Ethereum найбільшим у світі ZK-застосуванням" насправді підтримує сучасну технологію ZK, сповіщаючи про початок масштабного впровадження технології ZK в практику.
Чотири, трансформація екосистеми ROLLUP
РІДНИЙ ROLLUP ПРОКЛАДАЄ ШОСЕ ДЛЯ ZK ROLLUP
Всеосяжна ZK-реалізація Ethereum L1 кардинально перепроектує конкурентне середовище Layer 2, де найбільш революційною зміною є запропонування "рідного Rollup" (Native Rollup). Поточні ZK-Rollup вимагають розгортання складних смарт-контрактів валідаторів, що містять тисячі рядків коду на L1 для перевірки ZK-доказів, поданих на L2, що не лише ускладнює розробку, але й створює ризики безпеки через нерівний рівень розробників. А після впровадження zkEVM на L1 буде введено функцію EXECUTE, яка дозволить ZK Rollup на L1 безпосередньо викликати вбудовану логіку перевірки протоколу L1, не пишучи власний контракт.
Ця зміна приносить три переваги для ZK-Rollup:
По-перше, це фундаментальне підвищення безпеки,