Ось як ZK-зведені Ethereum можуть стати сумісними – Cointelegraph Magazine

Останні кілька тижнів спостерігали хвилю запуску проектів з нульовим знанням, включаючи zkEVM від Polygon і zkSync Era від Matter Lab у головній мережі, а також Linea zkEVM від ConsenSys у тестовій мережі.

Вони приєднуються StarkWareТривале рішення StarkEx і його децентралізований двоюрідний брат StarkNet, а також низка інших проектів у розробці від Polygon (Miden, Zero тощо) і Scroll.

Усі вони обіцяють швидші та дешевші транзакції для масштабування Ethereum за допомогою доказів нульового знання.

Але чи є жорстока конкуренція між ZK-rollups грою з нульовою сумою, де може бути лише один переможець? Або ми дивимося в майбутнє, в якому багато різних зведених пакетів зможуть працювати гармонійно та сумісно?

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

«Я думаю, що якщо ми не потрапимо в той світ, то, ймовірно, ми зазнали невдачі», — каже він. «Це так само, як хтось, хто використовує Snapchat або Facebook, насправді не повинен знати про TCP/IP або HTTP — це лише сантехніка того, як працює Інтернет».

Але як нам перейти від купи конкуруючих суверенних агрегацій до екосистеми ZK-рішень, сумісних і комбінованих?

Люди вже починають замислюватися над цим питанням, і всі учасники проекту ZK, з якими спілкувався Журнал ZK, мають плани зробити свої проекти сумісними принаймні з деякими іншими зведеними пакетами — хоча ступінь, до якого це може статися, ймовірно, залежить від розробки стандартів і протоколів. .

Читайте також: Атака зкеВМ! 10-кратний момент криптовалюти

Нуль знання про ZK-rollups?

Якщо ви не знайомі з терміном “докази з нульовим знанням” — які StarkWare наполягає на тому, щоб їх називали «підтвердженням дійсності» — це спосіб масштабувати Ethereum за допомогою криптографії. Зведені дані знімають обчислення десятків тисяч транзакцій з основного блокчейну та записують крихітне криптографічне підтвердження в Ethereum, яке доводить, що обчислення було виконано правильно.

«Кожне підтвердження, яке ми створюємо, охоплює приблизно 20 000 транзакцій і вміщується в один блок Ethereum», — пояснює співзасновник StarkWare. Елі Бен-Сассон.

Незважаючи на збільшення транзакцій на блок, Роуз з zkSync не вважає, що Ethereum може наблизитися до масштабування, щоб стати базовим рівнем для всього за допомогою єдиного зведення.

«Зведений ZK сам по собі не буде масштабуватися до світу, про який ми говоримо», — каже Роуз. «Якщо ми вважаємо, що додатки з деякими взаємодіями в блокчейні приносять цінність сотням мільйонів людей, проблема масштабованості все ще існує, щоб її вирішити».

Масштабування трохи схоже на пропускну здатність Інтернету, оскільки чим більше ви отримуєте, тим більше розумієте, що вам потрібно. Ще в 2017 році Ethereum планував масштабувати за допомогою шардингу «Eth2». Після того, як у 2018 році з’явилися ZK-rollups, цю дорожню карту було розірвано, і вона обіцяла значно більше масштабування, але лише якщо Ethereum оновить блокчейн за допомогою іншої форми шардингу (протоданксхардинг, а потім danksharding), щоб забезпечити більшу пропускну здатність ZK-rollups.

Навіть тоді Роуз каже, що зведені пакети, ймовірно, повинні будуть працювати у співпраці. «Для нас це велика активна область досліджень», — говорить Роуз про сумісність. «Оскільки системи також розвиваються… Я думаю, природно, що це свого роду шаблон, який пропонують ці системи».

Масштабування Ethereum ще далеко

Однак масштабування ще на початку. Хоча різні рішення стверджують, що теоретично вони можуть досягати десятків тисяч транзакцій за секунду (або навіть говорять про «необмежене» масштабування), на практиці вони стримують доступність даних на Ethereum.

Наразі між ними різні рішення для масштабування Ethereum і Ethereum працюють зі швидкістю близько 25 транзакцій за секунду (TPS). Сам Ethereum показав у середньому близько 12 TPS за останній місяць, Arbitrum One — 7,2 TPS, Optimism — 2,65 TPS, а zkSync — 1,6 TPS, згідно з даними. ETHTPS.info.

Ці цифри дещо змінюються і є низькими здебільшого через попит, а не через потужність. StarkEx не охоплюється, але StarkWare повідомляє журналу, що в середньому за минулий місяць він становив 5 TPS.

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

ZK-rollups не мають таких обмежень і можуть дозволяти миттєве зняття (але не роблять цього).

Читайте також: Засновник Polygon Miden: ZK-rollups є «завершенням» для масштабування блокчейнів

Інтероперабельні ZK-rollups можливі, але чи ймовірно це?

Bobbin Threadbare, засновник Polygon Miden, каже, що взаємодія між ZK-зведеннями, безумовно, технічно можлива, але «інше питання, чи відбудеться це на практиці».

Він пояснює, що зняття коштів ще не відбувається миттєво, тому що так часто розміщувати докази на Ethereum фінансово невигідно, тому транзакції запускаються приблизно кожні 10 або 20 хвилин. У міру зростання попиту та пропускної здатності ця затримка ставатиме все швидшою.

«І в такому випадку ви стаєте все ближче, ближче і ближче до цього миттєвого переміщення між різними місцями», — каже він.

«Друга річ полягає в тому, що різні зведені пакети повинні мати певні стимули, щоб сказати: «Добре, давайте з’ясуємо, як ми можемо легко перенести речі з цього на інше».

Threadbare додає: «Технічно можлива дуже швидка взаємодія між ZK-зведеними пакетами, але а) люди повинні домовитися про стандарти і б) їм потрібно фактично запровадити ці стандарти у своїх системах».

«І я думаю, що це набагато, набагато складніше».

Інтероперабельність – це не компонування

Існує різниця між «інтероперабельністю» та «компонованістю», хоча люди часто використовують їх як взаємозамінні.

Взаємодія простіше і в основному передбачає можливість переміщення коштів з одного рівня 2 (L2) на інше. «Згідно з цим визначенням, принаймні всі зведені пакети, які сьогодні використовують L1, уже взаємодіють!» зазначає співзасновник Optimism Бен Джонс.

Патрік Маккоррі з Arbitrum також каже, що для базової сумісності ви вже можете пересилати активи з одного зведення до іншого через Ethereum — це просто повільно.

«Або у вас може бути якесь автономне рішення, наприклад, протокол Hop, де є хтось посередині, кому ви передаєте ресурси зі StarkWare, а потім ви передаєте ресурси в Scroll, і вони надають певний спосіб синхронізації. Отже, є способи зробити це», – каже він.

Наразі протокол Hop дозволяє користувачам пересилати кошти між Ethereum, Polygon, Gnosis, Optimism і Arbitrum, хоча ZK-rollups наразі не підтримуються. Connext пропонує аналогічну послугу, включаючи BNB. Міжланцюговий DEX і мостовий агрегатор під назвою Rango вже підключають StarkNet до інших L2.

Читайте також: Ethereum поглинає світ — «Вам потрібен лише одинternet’

Деклан Фокс, керівник продукту для ConsenSys Linea zkEVM, очікує, що незабаром буде додано підтримку. «Багато сторонніх постачальників мостів продовжуватимуть пропонувати рішення сумісності для ZK-rollups», — говорить він, додаючи, що мости мають недоліки, пов’язані з довірою та комісією.

«У Linea ми високо цінуємо відкриті системи та взаємодію. З цієї причини тестова мережа Linea вже інтегрувала багато провідних рішень для мостів. У майбутньому Linea зможе надійно взаємодіяти з будь-якою системою третього рівня поза мережею, розгорнутою поверх рівня 2, через їхні мости перевірки».

MetaMask Snaps може допомогти

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

Про це говорить старший менеджер із продуктів MetaMask Алекс Юпітер знімки все ще знаходяться на стадії тестування, «але якщо ми уявимо майбутнє, у якому Snaps буде стабільним, розробники зможуть розширити його різними способами. Звичайно, наступним кроком є ​​змусити ці різні Snaps спілкуватися один з одним. Отже, один ZK-rollup може спілкуватися з іншим ZK-rollup, чи не так? І це частина бачення Snaps, і так, ми хочемо зробити цей світ можливим».

Одне Snap, яке було продемонстровано, уже дає змогу користувачам MetaMask контролювати біткойн через свій гаманець Ethereum, тому отримати зв’язок ZK-зведень один з одним, безумовно, можливо.

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

ZK-згортання та компонування

Можливість компонування — це здатність ініціювати транзакцію, яка передбачає операції з більш ніж одним зведенням. Джонс називає це «сильнішою формою» взаємодії, «де ланцюги можуть робити більше, ніж просто асинхронно спілкуватися один з одним, але фактично мають транзакції, які знають про стан кожного ланцюжка в певному режимі «реального часу» (подумайте про крос- ланцюгові швидкі кредити).

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

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

Фокс каже, що «щоб досягти моменту, коли ми матимемо можливість синхронного компонування, потрібен буде глобально послідовний і впорядкований набір транзакцій у різних системах поза мережею. Це теоретично можливо за допомогою ZK-rollups завдяки SNARK [a type of ZK proof] де, наприклад, загальний секвенсор міг би запропонувати UX уніфікованого виконання та об’єднаної ліквідності», – каже він.

«Уявіть собі торгівлю DeFi, де частини торгівлі виконуються в різних ланцюгах для оптимальної ліквідності в межах однієї транзакції».

З оптимізмом щодо Superchain

Одним із потенційних методів координації може бути концепція Superchain від Optimism, яку компанія оголосила в той же час, коли Coinbase представила свій базовий форк Optimism рівня 2.

Optimism — це Optimistic Rollup, який є ще одним способом масштабування Ethereum, але більш обмеженим у потенційній пропускній здатності. Згідно з оголошенням:

«Суперланцюг прагне інтегрувати інакше розділені L2 в єдину сумісну та комбіновану систему».

Джонс каже Magazine: «Немає жодної срібної кулі», але є кілька вимог до сумісності та компонування, які Superchain прагне виконати:

Спільне секвенування: «Щоб мати систему, в якій ви можете надати флеш-позику між ланцюжками, принаймні під час обробки цієї транзакції її потрібно надійно включити в обидва ланцюги. Це вимагає певного уявлення про те, що секвенсори можуть спілкуватися, об’єднуватися чи іншим чином працювати разом».

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

Він каже, що Superchain може об’єднувати optimistic і ZK-rollups, а також інші ланцюжки, забезпечуючи спільний модульний «стандарт для всіх цих інновацій».

«Буде набагато простіше змусити ці ланцюжки взаємодіяти, якщо вони побудовані на одній кодовій базі,…