Віталік похвалив ZKsync, можливо, його справді недооцінюють.

Автор: Ерик, Foresight News

1 листопада Віталік процитував твіти засновника ZKsync про оновлення ZKsync Atlas і похвалив ZKsync за те, що вони виконали багато «недооцінених, але дуже цінних для екосистеми Ethereum робіт».

Ринок швидко відреагував на слова Віталіка, ціна ZK за вихідні зросла більш ніж на 2,5 рази, токени екосистеми ZK, включаючи ALT (AltLayer), STRK (Starknet), SCR (Scroll), MINA (Mina) також показали непоганий ріст.

Після ознайомлення з оновленням ZKsync Altas, ми виявили, що те, що зробив ZKsync, можливо, дійсно недооцінюється.

Швидкий, маленький, але дорогий ZKP

Фонд Ethereum з самого початку впроваджував ZKP (доказ нульового знання), який, по суті, мав на меті вирішення проблеми повільної верифікації та великого обсягу даних для верифікації.

ZKP в основному є математичною ймовірнісною задачею. Наведемо не зовсім точний приклад, щоб приблизно пояснити його принцип: уявімо, що одна людина стверджує, що вирішила «проблему чотирьох кольорів». Як можна перевірити, що ця людина дійсно вирішила її, не розкриваючи повністю свій розв'язок? Рішення нульових знань полягає в тому, щоб вибрати кілька частин з усієї картинки та довести, що в цих частинах немає сусідніх блоків одного кольору. Коли кількість обраних частин досягає певного значення, можна довести, що ймовірність того, що ця людина вирішила проблему чотирьох кольорів, досягла 99,99……%. Таким чином, ми досягли підтвердження того, що вона «дійсно вирішила проблему чотирьох кольорів», не маючи повного уявлення.

Отже, це те, що часто чується: «доказ нульового знання, який підтверджує, що справді була виконана ця справа, не розуміючи, як це зробити». Щодо того, чому необхідно активно впроваджувати ZKP в екосистемі Ethereum, то це пов'язано з тим, що теоретичний швидкісний ліміт ZKP значно перевищує підтвердження кожної окремої транзакції, а обсяг даних, що генеруються в самих доказах, дуже малий.

Швидкість досягається тому, що ZKP не потрібно знати всю картину, а лише виконати виклик. Наприклад, для перевірки блоку Ethereum, поточний метод полягає в тому, що кожен вузол перевіряє, чи має адреса виконання кожної транзакції достатню кількість коштів та інші основні питання. Але якщо лише один вузол перевірив кожну транзакцію за допомогою ZKP, а потім згенерував “доказ”, інші вузли повинні лише перевірити, що “доказ” є надійним. Що ще важливіше, обсяг даних самого “доказу” є дуже малим, тому швидкість його передачі та перевірки є надзвичайно високою, а витрати на зберігання даних є нижчими.

Щодо того, чому цю технологію з безліччю переваг не впроваджують у широкому масштабі, то причина в тому, що вона занадто дорога.

Хоча ZKP не вимагає відтворення всіх процесів, саме виклик споживає дуже багато обчислювальних потужностей. Якщо, як у безумній гонці озброєнь з використанням штучного інтелекту, безперервно накопичувати GPU, можна досягти швидшої швидкості, але не всі можуть дозволити собі такі витрати. Але якщо можна за допомогою алгоритмів і інженерних нововведень зменшити необхідну обчислювальну потужність і час, необхідний для генерування доказів при низькій обчислювальній потужності до певного рівня, досягти балансу між “зростанням цін на Ethereum під впливом технічних нововведень, що сприяють впровадженню нових застосувань” та “витратами на купівлю GPU для побудови вузлів”, то це можливо.

Отже, багато проектів на основі ZK у екосистемі Ethereum або відкритих розробників зосереджуються на поєднанні ZKP та Ethereum, насамперед на тому, щоб згенерувати ZK-докази з нижчими витратами та швидше. Нещодавно команда Brevis досягла середнього часу підтвердження 6,9 секунди для блоків Ethereum, використовуючи лише половину витрат на рішення SP1 Hypercube (64 графічних процесора RTX 5090), що становить 99,6% часу підтвердження менше за середній час створення блоків Ethereum, який становить 12 секунд. Саме тому спільнота Ethereum підтримує це.

Хоча вартість GPU все ще перевищує 100 тисяч доларів, проте швидкість вже знизилася до рівня без ZKP, далі всім завданням буде зниження витрат.

Оновлення Altas реалізувало 1 секунду ZK остаточності

Можливо, багато хто не знає, що відкритий zkVM ZKsync Airbender, представлений ZKsync, є найшвидшим у перевірці zkVM на одному GPU. За даними Ethproofs, використання однієї карти 4090 ZKsync Airbender в середньому займає 51 секунду на перевірку, а вартість менша за одну десятину цента, обидва показники є найкращими в zkVM.

Згідно з даними, наданими ZKsync, без урахування рекурсії, середній час верифікації основної мережі Ethereum за допомогою однієї плати H100 та моделі зберігання ZKsync OS становить 17 секунд. Навіть враховуючи рекурсію, загальний середній час становить лише близько 35 секунд, ZKsync вважає, що це значно краще, ніж для досягнення верифікації за 12 секунд потрібно десятки GPU. Однак, оскільки наразі є лише дані про середній час 22.2 секунди для двох GPU, фактична якість ще не визначена.

І все це не є заслугою лише Airbender; оптимізація алгоритмів і інженерії — це лише частина, а глибока інтеграція з технологічним стеком ZKsync є ключем до максимізації ефекту. Ще важливішим є те, що це підтверджує можливість реалізації реального доказу на основі основної мережі Ethereum за допомогою одного GPU.

У кінці червня ZKsync запустила Airbender, а за день до Дня незалежності надійшло оновлення Altas. Це злиття з Airbender значно підвищило пропускну здатність, швидкість підтвердження та витрати ZKsync.

У плані пропускної спроможності ZKsync провів інженерні оптимізації для сортувальників: максимальне зменшення витрат синхронізації досягається за рахунок незалежних асинхронних компонентів; було розділено стан, необхідний для віртуальної машини, стан, необхідний для API, а також стан, необхідний для генерації нульових доказів або для верифікації нульових доказів на рівні L1, що дозволило зменшити непотрібні витрати компонентів.

Після польових випробувань ZKsync, TPS для частих оновлень цін, переказів стейблів у платіжних сценаріях та переказів рідного ETH досягли відповідно 23k, 15k та 43k.

Інша величезна якісна зміна походить від Airbender, який допомагає ZKsync досягти підтвердження блоку за 1 секунду та вартості одноразового переказу 0,0001 долара. На відміну від перевірки блоків головної мережі, ZKsync перевіряє лише дійсність переходу станів, тому обчислювальне навантаження значно менше, ніж при перевірці блоків головної мережі. Хоча для остаточного підтвердження транзакцій ZK все ще потрібно, щоб вони були перевірені в головній мережі для досягнення остаточності L1, наявність перевірки ZK означає, що ця транзакція є дійсною; остаточність L1 більше схожа на гарантію процесу.

Тобто, транзакції, виконані на ZKsync, потребують лише перевірки ZKP для повного підтвердження валідності транзакції, а також значно знижені витрати, ZKsync реалізував, за їхніми словами, лише ті сценарії використання, які може запропонувати Airbender:

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

Другим моментом є те, що багато L2 наразі не можуть реалізувати, підтримуючи публічні та приватні системи (наприклад, Prividiums від ZKsync), які можуть взаємодіяти без третьої сторони. Prividiums - це інфраструктура, яку ZKsync пропонує для допомоги підприємствам у створенні приватних блокчейнів. Для підприємств вимоги до блокчейну полягають у швидких розрахунках та конфіденційності. Швидкі розрахунки не потребують додаткових пояснень, а природна конфіденційність ZKP дозволяє приватним блокчейнам підприємств перевіряти дійсність транзакцій під час взаємодії з публічними блокчейнами, не розкриваючи інформацію про книгу рахунків самої мережі. Поєднання цих двох аспектів навіть відповідає вимогам регуляторів щодо часу розрахунків для торгівлі цінними паперами та валютами на блокчейні.

Це, можливо, також є причиною, чому ZKsync став другою за величиною мережею емісії токенізованих активів RWA після Ethereum.

ZKsync також гордо заявляє, що все це можливо лише завдяки оновленню Altas: сортувальник забезпечує низьку затримку пакування транзакцій, Airbender генерує докази за одну секунду, а Gateway перевіряє та координує міжланцюгові повідомлення.

З'єднання L1 та L2

Як зазначив Віталік у своєму ретвітті, засновник ZKsync Алекс вважає, що після оновлення Altas Zksync справді реалізував інтеграцію з основною мережею Ethereum.

Тепер час остаточного підтвердження транзакцій ZKsync (близько 1 секунди) коротший за час блокування в основній мережі Ethereum (в середньому 12 секунд), що означає, що транзакції інститутів та RWA, виконані на ZKsync, по суті є такими ж, як і на основній мережі Ethereum, і чекають підтвердження від основної мережі Ethereum. Це означає, що ZKsync не потрібно повторно створювати центри ліквідності на L2, а можна безпосередньо використовувати ліквідність основної мережі, оскільки крос-ланцюгова взаємодія між ZK Rollup та основною мережею не потребує 7-денного періоду оскарження, як у випадку з OP Rollup, а оновлення Altas ще більше пришвидшує цей процес.

Це покращило проблему фрагментації L2, про яку нещодавно говорили в спільноті Ethereum, L2 і L1 більше не є відокремленими ланцюгами, а об'єднані швидким підтвердженням і верифікацією, L2 вперше справді можна назвати «мережею розширення».

Пам'ятаю, коли ZKsync та Scroll вперше запустили основну мережу, швидкість підтвердження транзакцій і витрати на Gas не відрізнялися від основної мережі, а навіть були вищими. Це, по суті, було пов'язано з тим, що на початку запуску ще не було проведено системної оптимізації алгоритмів і інженерії для ZKP, що призводило до повільної верифікації та високих витрат, в той час це спричинило кризу довіри до ZK Rollup. Сьогодні Optimism і Arbitrum повільно переходять з OP Rollup на ZK Rollup (або комбінацію обох). Додаткове підвищення ефективності ZK Rollup, як ZKsync, а також децентралізований ZKP Scroll перетворилися з “нісенітниці” на результат, який варто очікувати.

Від того, що всі кричали про їхню недоцільність, до того, що вони стали популярними, ZK зустрічає світанок. Після повної децентралізації реалізації мультипідписів у сортувальниках та кросчейн-мостах, можливо, дійсно можна досягти того, що сказав партнер Dragonfly Хассеб Куреші: «не може бути злом».