"ZK-фінал" Ethereum: революція на архітектурному рівні, що перетворює Layer 1
Для тих, хто уважно стежить за розвитком технологій Ethereum, недавня публікація «Доставка L1 zkEVM #1: Реальний доказ», випущена інженерами Ethereum, має велике значення. Хоча це лише представляє технічну концепцію команди ядра розробників 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 будівельники блоків під час генерації блоків одночасно створюють компактний ZK доказ дійсності. Інші валідатори, отримавши блок і доказ, більше не потребуватимуть повторного виконання транзакцій, їм потрібно лише перевірити цей криптографічний доказ. Оскільки "перевірка ZK Proof" є значно менш витратною в обчисленнях, ніж "повторне виконання транзакцій", і що важливо, час, необхідний для перевірки доказу, практично не залежить від кількості транзакцій, що охоплюються цим доказом, це дозволяє Ethereum значно підвищити газовий ліміт блоків, щоб вмістити більше транзакцій, не підвищуючи суттєво вимоги до апаратного забезпечення валідаторів. Дехто зазначав, що газовий ліміт L1 може зрости в 10 разів, а в більш віддаленій перспективі до 100 разів, що дозволить досягти масштабування L1 при збереженні децентралізації.
Таким чином, майбутній Ethereum L1 за архітектурою дуже схожий на величезний, нативний ZK-Rollup, що робить Ethereum L1 самим ймовірним "найбільшим ZK-додатком у світі".
Суворі технічні стандарти
Команда Ethereum встановила надзвичайно суворі технічні стандарти для реалізації L1 zkEVM, забезпечуючи зниження затримок, підвищення пропускної здатності, а також гарантію безпеки та зобов'язання щодо децентралізації.
Доказ затримки (99% перцентиль ): менше 10 секунд
Криптографічна безпека: 128 біт ( мінімум 100 біт на початковому етапі )
Розмір доказу: менше 300 KiB
Вартість обладнання для валідаторів: не більше 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 (як Base, MegaETH), хоча й показують хорошу продуктивність і мають хорошу безпеку завдяки запису стану в L1, мають ризикову виставу з 7-денним періодом оскарження, що є неприйнятним для фінансових розрахунків високої вартості. У порівнянні, криптографічний рівень остаточності, що надається технологією ZK, а також здатність доводити відповідність без розкриття чутливих даних (наприклад, підтвердження того, що певна адреса пройшла KYC), ідеально відповідають основним потребам інституційних фінансів. Якщо оновлення zkEVM зможе підвищити пропускну здатність, то екосистема Ethereum з нативною інтеграцією технології ZK (L1+ZK Rollup) досягне "продуктивності, безпеки, стабільності", ставши ідеальним глобальним розрахунковим шаром для хвилі RWA.
Три, ZK-фінал у дії
Етеру ZK-кінця вже давно виявилися ознаки, окрім нещодавно опублікованого блогу одного інженера:
Ще у квітні 2023 року була висунута надзвичайно перспективна ідея: замінити існуючий EVM на архітектуру команд RISC-V, більш дружню до ZK. Прихильники вважають, що, на відміну від неефективних показників EVM при створенні ZK-циркулів, більш проста архітектура RISC-V може забезпечити багаторазове підвищення ефективності доказів. Хоча ця пропозиція викликала спори через можливість зламу існуючої екосистеми, вона встановила чіткий "полярний зір" для переходу Ethereum на ZK — визначила стандарти ідеального zkEVM та вказала напрям для оптимізації.
На воркшопі в Берліні в червні 2023 року дослідник фонду Ethereum чітко оголосив, що Ethereum у L1 масштабуванні "повністю ставить на ZK". Ця заява підтверджує рішучість основної команди розробників.
Завершення ZK Ethereum також зовсім не є "паперовими розмовами". Хоча наразі Optimistic Rollup все ще випереджає ZK Rollup за всіма ключовими показниками, але труднощі, які заважають практичному застосуванню ZK технологій, поступово долаються. Три основні причини, які в історії призвели до серйозного відставання ZK Rollup:
По-перше, це складність технологій та обмеження продуктивності: раніше генерувати ZK-докази для загальних обчислень EVM вважалося надзвичайно складним, повільним та дорогим, навіть обчислювально неможливим.
По-друге, це розрив у досвіді розробників: ORU з самого початку реалізував високу сумісність з EVM, тоді як ранні ZKR (такі як ранні версії StarkNet) не були сумісні з EVM, вимагаючи від розробників вивчення абсолютно нової мови програмування, що становить дуже високий бар'єр для входу.
Останнє - це фрагментація ліквідності та мережевий ефект: ORU, завдяки своїй перевазі першовхідця, зібрала велику кількість користувачів та ліквідності, сформувавши потужний мережевий ефект.
Однак ці історичні перешкоди поступово долаються.
У сфері швидкості доказів, завдяки прогресу новітніх алгоритмів доказів, таких як PLONK, STARKs, а також розвитку апаратних технологій прискорення, таких як GPU, FPGA та навіть ASIC, час генерації ZK-доказів значно скорочено. Наприклад, SP1 zkVM певної компанії вже може підтверджувати 93% блоків основної мережі Ethereum в середньому за 10,3 секунди, що дуже близько до цільового показника у 10 секунд, встановленого Фондом Ethereum.
У плані сумісності zkEVM пройшов еволюційний процес поступового підвищення сумісності від Type 4 до Type 1. Сьогодні проекти, такі як Scroll, Taiko, Polygon zkEVM, вже можуть досягти практично ідеальної EVM еквівалентності (досягнення стандартів Type 2 і навіть Type 1), що принципово усуває розрив з 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 pre-compiled, яка дозволяє ZK Rollup на смарт-контрактах L1 безпосередньо викликати вбудовану логіку перевірки протоколу L1 без необхідності самостійного написання контрактів.
Ця зміна приносить три переваги для ZK-Rollup:
По-перше, це фундаментальне підвищення безпеки: команда проекту Rollup може повністю делегувати величезні інженерні виклики з побудови та обслуговування EVM-верифікаторів L1, спростивши складні технічні задачі до виклику одного рядка коду;
По-друге, було досягнуто справжньої еквівалентності EVM та зворотної сумісності, рідний Rollup синхронізується з L1 без необхідності в окремому процесі управління;
Нарешті, є значне поліпшення рентабельності, оскільки використання вбудованих попередньо скомпільованих функцій у протоколі L1 дозволяє уникнути витрат на інтерпретацію віртуальної машини. Ефективність верифікації в кілька разів вища, ніж реалізація смарт-контрактів, що обіцяє суттєве зниження витрат на експлуатацію ZK Rollup.
Ця функція Native Rollup відповідає тому, що Ethereum L1 безкоштовно надає всім ZK-Rollup стандартизовану, високу
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
10 лайків
Нагородити
10
5
Поділіться
Прокоментувати
0/400
RugPullAlarm
· 08-01 22:42
Отримавши stETH, хочеш позбутися великої плати за розробку? zk ця хитрість досить цікава.
Переглянути оригіналвідповісти на0
gas_fee_therapist
· 07-31 05:33
zk є єдиним ліком для Ethereum
Переглянути оригіналвідповісти на0
BearMarketGardener
· 07-29 23:50
Знову занадто швидко бігаєш, не встигаю за ритмом.
Переглянути оригіналвідповісти на0
ChainWatcher
· 07-29 23:47
Що б я не робив, я перший у торгівлі криптовалютою.
Переглянути оригіналвідповісти на0
GateUser-c799715c
· 07-29 23:40
Віталік Бутерін цього разу грає на великому рівні.
Ethereum всебічно ZK: перетворення архітектури Layer 1
"ZK-фінал" Ethereum: революція на архітектурному рівні, що перетворює Layer 1
Для тих, хто уважно стежить за розвитком технологій Ethereum, недавня публікація «Доставка L1 zkEVM #1: Реальний доказ», випущена інженерами Ethereum, має велике значення. Хоча це лише представляє технічну концепцію команди ядра розробників 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 будівельники блоків під час генерації блоків одночасно створюють компактний ZK доказ дійсності. Інші валідатори, отримавши блок і доказ, більше не потребуватимуть повторного виконання транзакцій, їм потрібно лише перевірити цей криптографічний доказ. Оскільки "перевірка ZK Proof" є значно менш витратною в обчисленнях, ніж "повторне виконання транзакцій", і що важливо, час, необхідний для перевірки доказу, практично не залежить від кількості транзакцій, що охоплюються цим доказом, це дозволяє Ethereum значно підвищити газовий ліміт блоків, щоб вмістити більше транзакцій, не підвищуючи суттєво вимоги до апаратного забезпечення валідаторів. Дехто зазначав, що газовий ліміт L1 може зрости в 10 разів, а в більш віддаленій перспективі до 100 разів, що дозволить досягти масштабування L1 при збереженні децентралізації.
Таким чином, майбутній Ethereum L1 за архітектурою дуже схожий на величезний, нативний ZK-Rollup, що робить Ethereum L1 самим ймовірним "найбільшим ZK-додатком у світі".
Суворі технічні стандарти
Команда Ethereum встановила надзвичайно суворі технічні стандарти для реалізації L1 zkEVM, забезпечуючи зниження затримок, підвищення пропускної здатності, а також гарантію безпеки та зобов'язання щодо децентралізації.
Доказ затримки (99% перцентиль ): менше 10 секунд Криптографічна безпека: 128 біт ( мінімум 100 біт на початковому етапі ) Розмір доказу: менше 300 KiB Вартість обладнання для валідаторів: не більше 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 (як Base, MegaETH), хоча й показують хорошу продуктивність і мають хорошу безпеку завдяки запису стану в L1, мають ризикову виставу з 7-денним періодом оскарження, що є неприйнятним для фінансових розрахунків високої вартості. У порівнянні, криптографічний рівень остаточності, що надається технологією ZK, а також здатність доводити відповідність без розкриття чутливих даних (наприклад, підтвердження того, що певна адреса пройшла KYC), ідеально відповідають основним потребам інституційних фінансів. Якщо оновлення zkEVM зможе підвищити пропускну здатність, то екосистема Ethereum з нативною інтеграцією технології ZK (L1+ZK Rollup) досягне "продуктивності, безпеки, стабільності", ставши ідеальним глобальним розрахунковим шаром для хвилі RWA.
Три, ZK-фінал у дії
Етеру ZK-кінця вже давно виявилися ознаки, окрім нещодавно опублікованого блогу одного інженера:
Ще у квітні 2023 року була висунута надзвичайно перспективна ідея: замінити існуючий EVM на архітектуру команд RISC-V, більш дружню до ZK. Прихильники вважають, що, на відміну від неефективних показників EVM при створенні ZK-циркулів, більш проста архітектура RISC-V може забезпечити багаторазове підвищення ефективності доказів. Хоча ця пропозиція викликала спори через можливість зламу існуючої екосистеми, вона встановила чіткий "полярний зір" для переходу Ethereum на ZK — визначила стандарти ідеального zkEVM та вказала напрям для оптимізації.
На воркшопі в Берліні в червні 2023 року дослідник фонду Ethereum чітко оголосив, що Ethereum у L1 масштабуванні "повністю ставить на ZK". Ця заява підтверджує рішучість основної команди розробників.
Завершення ZK Ethereum також зовсім не є "паперовими розмовами". Хоча наразі Optimistic Rollup все ще випереджає ZK Rollup за всіма ключовими показниками, але труднощі, які заважають практичному застосуванню ZK технологій, поступово долаються. Три основні причини, які в історії призвели до серйозного відставання ZK Rollup:
По-перше, це складність технологій та обмеження продуктивності: раніше генерувати ZK-докази для загальних обчислень EVM вважалося надзвичайно складним, повільним та дорогим, навіть обчислювально неможливим.
По-друге, це розрив у досвіді розробників: ORU з самого початку реалізував високу сумісність з EVM, тоді як ранні ZKR (такі як ранні версії StarkNet) не були сумісні з EVM, вимагаючи від розробників вивчення абсолютно нової мови програмування, що становить дуже високий бар'єр для входу.
Останнє - це фрагментація ліквідності та мережевий ефект: ORU, завдяки своїй перевазі першовхідця, зібрала велику кількість користувачів та ліквідності, сформувавши потужний мережевий ефект.
Однак ці історичні перешкоди поступово долаються.
У сфері швидкості доказів, завдяки прогресу новітніх алгоритмів доказів, таких як PLONK, STARKs, а також розвитку апаратних технологій прискорення, таких як GPU, FPGA та навіть ASIC, час генерації ZK-доказів значно скорочено. Наприклад, SP1 zkVM певної компанії вже може підтверджувати 93% блоків основної мережі Ethereum в середньому за 10,3 секунди, що дуже близько до цільового показника у 10 секунд, встановленого Фондом Ethereum.
У плані сумісності zkEVM пройшов еволюційний процес поступового підвищення сумісності від Type 4 до Type 1. Сьогодні проекти, такі як Scroll, Taiko, Polygon zkEVM, вже можуть досягти практично ідеальної EVM еквівалентності (досягнення стандартів Type 2 і навіть Type 1), що принципово усуває розрив з 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 pre-compiled, яка дозволяє ZK Rollup на смарт-контрактах L1 безпосередньо викликати вбудовану логіку перевірки протоколу L1 без необхідності самостійного написання контрактів.
Ця зміна приносить три переваги для ZK-Rollup:
По-перше, це фундаментальне підвищення безпеки: команда проекту Rollup може повністю делегувати величезні інженерні виклики з побудови та обслуговування EVM-верифікаторів L1, спростивши складні технічні задачі до виклику одного рядка коду;
По-друге, було досягнуто справжньої еквівалентності EVM та зворотної сумісності, рідний Rollup синхронізується з L1 без необхідності в окремому процесі управління;
Нарешті, є значне поліпшення рентабельності, оскільки використання вбудованих попередньо скомпільованих функцій у протоколі L1 дозволяє уникнути витрат на інтерпретацію віртуальної машини. Ефективність верифікації в кілька разів вища, ніж реалізація смарт-контрактів, що обіцяє суттєве зниження витрат на експлуатацію ZK Rollup.
Ця функція Native Rollup відповідає тому, що Ethereum L1 безкоштовно надає всім ZK-Rollup стандартизовану, високу