10 жовтня Scroll випустив загадкове повідомлення, в якому оголосив про запуск основної мережі. Крім аірдроп-фарму, я не до кінця це усвідомлював. Тому я вирішив копнути глибше!
Почнемо з Scroll. Scroll — це рішення для масштабування Ethereum: загальний ролап L2 з нульовим розголошенням (zk). Звучить як багато прикольних і вигадливих слів, давайте розглянемо докладніше.
Як зведення L2, що працює на Ethereum, Scroll імпортує вбудовану безпеку ETH.
Окрім безпеки, Scroll органічно вписується в багату екосистему Ethereum:
· інструмент
· dApps
· Смарт-контракти
· База користувачів
Ця практика без особливих зусиль передає та обмінює ці ресурси, забезпечуючи безпрецедентну сумісність з EVM. «Для користувачів і розробників Scroll майже еквівалентний Ethereum».
До Scroll не існувало універсального zk rollup, головним чином через складність генерації доказів zk для обчислень віртуальної машини Ethereum (EVM). Простіше кажучи, універсальне зведення має бути еквівалентом EVM.
Однак успішний запуск середовища EVM на zk rollup завжди був недосяжною метою. Це пов'язано зі складністю перетворення транзакцій EVM в логічні схеми, які можна пояснити доказами zk. Ця складність також пояснює, чому проєкт zk rollup орієнтований лише на конкретні програми, такі як dYdX, який фокусується на транзакціях, і ImmutableX, який фокусується на NFT.
Через технічні складнощі не вдалося розробити універсальну мережу, яка могла б розгортати різні dAapps. Ось чому zk-rollups не показують хороших результатів з точки зору TVL та кількості підписників порівняно з оптимістичними роллапами, такими як Immutable.
Незважаючи на ці труднощі, пошуки універсального ZK Rollup тривають. Сумісність з EVM важлива, оскільки вона значно спрощує роботу, необхідну розробникам для переходу на новий ланцюжок.
Перехід на ланцюг без EVM означає:
· Наявні контракти потрібно перенести та переписати в новий зведений файл.
· Не підтримується існуючими інструментами EVM (бібліотеки, гаманці, маркетплейси тощо).
· Програми з екосистеми Ethereum не підтримуються.
Багато роллапів беруть на себе завдання загального zk EVM, з різними рівнями сумісності з EVM.
Це спеціалізовані рішення, які в даний час працюють на власних користувацьких віртуальних машинах (каїрських віртуальних машинах). Вони запускають спеціальну віртуальну машину та створюють компілятор «Warp Transpiler», який компілює код Solidity у байт-код каїрської віртуальної машини.
Що вони роблять, так це створюють нову віртуальну машину та додають підтримку інструментів Ethereum як додатковий шар поверх неї. Це, як і раніше, досягає мети експорту контрактів на солідність до StarkNet, роблячи їх «сумісними з EVM».
Незважаючи на те, що це не просте виконання EVM, воно зберігає сумісність, дозволяючи розробникам Solidity писати код для своїх зведень. Це хороший компроміс.
(2)Багатокутник zk-EVM (рівень байт-коду):
Polygon запускає спеціальну віртуальну машину, але зіставив усі коди операцій EVM, щоб вони були дійсними для своїх віртуальних машин. Підхід Polygon полягає в побудові zkEVM з «еквівалентністю на рівні операційного коду».
На відміну від Scroll, Polygon має альтернативне середовище виконання — zkutor — яке запускає користувацькі коди операцій «zkASM» замість того, щоб запускати коди операцій EVM безпосередньо. Це зроблено для оптимізації інтерпретації EVM (оскільки пряме доведення EVM було б занадто обмежувальним).
Хоча ця конфігурація є більш продуктивною, ніж Scroll, вона додає багато користувацького коду (для створення zkASM), представляє можливі вимоги для зміни коду або інструментів для сумісності, і з часом може все більше відрізнятися від Ethereum.
(3)Прокрутка (рівень байт-коду):
Перетворюйте виконання EVM безпосередньо в схеми, які можна перевірити, з перевагами в підтримці інструментів і сумісності. Наразі Scroll не підтримує всі коди операцій EVM, але з часом вони планують реалізувати це.
(3) Генерація доказів: Інформація передається координатору («слід» виконаної роботи), а потім передається Prover, який, у свою чергу, генерує доказ ZK.
(4) Генерація доказів може займати кілька блоків і може виконуватися паралельно різними "доказами".
ZK Rollup розглядається як дизайн, який перевершує своїх оптимістичних конкурентів rollup, особливо з точки зору конфіденційності, без затримок виведення коштів через відсутність доказів шахрайства.
Як загальний зведення zk, сумісний з байт-кодом, Scroll обіцяє переваги доказів zk на L2 без шкоди для мережевих ефектів та інструментів EVM.
Повна сумісність з EVM є святим Граалем L2, і це ціннісна пропозиція Scroll: захоплення Ethereum. Сумісність байт-коду Scroll включає в себе всі переваги доказів zk з Ethereum з максимальною сумісністю.
Також варто зазначити, що Scroll прагне до децентралізації. Хоча на початковому етапі буде централізований сортувальник, плани децентралізації знаходяться на стадії розробки. Крім того, всі докази ZK в кінцевому підсумку будуть створені децентралізованою мережею «доказів».
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
Прочитайте стек технологій Scroll і потік транзакцій в одній статті
Автор: Франческо, Замкова столиця; Переклад: Золотий фінанс Сяоцзу
10 жовтня Scroll випустив загадкове повідомлення, в якому оголосив про запуск основної мережі. Крім аірдроп-фарму, я не до кінця це усвідомлював. Тому я вирішив копнути глибше!
Почнемо з Scroll. Scroll — це рішення для масштабування Ethereum: загальний ролап L2 з нульовим розголошенням (zk). Звучить як багато прикольних і вигадливих слів, давайте розглянемо докладніше.
Як зведення L2, що працює на Ethereum, Scroll імпортує вбудовану безпеку ETH.
! [3BwaX61RXgYWgOajov0oviaGFFCMbgk1jpWKIn7J.png] (https://img.jinse.cn/7119142_watermarknone.png «7119142»)
Окрім безпеки, Scroll органічно вписується в багату екосистему Ethereum:
· інструмент
· dApps
· Смарт-контракти
· База користувачів
Ця практика без особливих зусиль передає та обмінює ці ресурси, забезпечуючи безпрецедентну сумісність з EVM. «Для користувачів і розробників Scroll майже еквівалентний Ethereum».
До Scroll не існувало універсального zk rollup, головним чином через складність генерації доказів zk для обчислень віртуальної машини Ethereum (EVM). Простіше кажучи, універсальне зведення має бути еквівалентом EVM.
Однак успішний запуск середовища EVM на zk rollup завжди був недосяжною метою. Це пов'язано зі складністю перетворення транзакцій EVM в логічні схеми, які можна пояснити доказами zk. Ця складність також пояснює, чому проєкт zk rollup орієнтований лише на конкретні програми, такі як dYdX, який фокусується на транзакціях, і ImmutableX, який фокусується на NFT.
Через технічні складнощі не вдалося розробити універсальну мережу, яка могла б розгортати різні dAapps. Ось чому zk-rollups не показують хороших результатів з точки зору TVL та кількості підписників порівняно з оптимістичними роллапами, такими як Immutable.
Незважаючи на ці труднощі, пошуки універсального ZK Rollup тривають. Сумісність з EVM важлива, оскільки вона значно спрощує роботу, необхідну розробникам для переходу на новий ланцюжок.
Перехід на ланцюг без EVM означає:
· Наявні контракти потрібно перенести та переписати в новий зведений файл.
· Не підтримується існуючими інструментами EVM (бібліотеки, гаманці, маркетплейси тощо).
· Програми з екосистеми Ethereum не підтримуються.
Багато роллапів беруть на себе завдання загального zk EVM, з різними рівнями сумісності з EVM.
Порівняння топ-5 zkEVM
! [LSM86T62BM2YWEonkmazzYQgUB81TyIlC7h4V56b.png] (https://img.jinse.cn/7119144_watermarknone.png «7119144»)
(**1)Starknet та zkSync (мовний рівень):
Це спеціалізовані рішення, які в даний час працюють на власних користувацьких віртуальних машинах (каїрських віртуальних машинах). Вони запускають спеціальну віртуальну машину та створюють компілятор «Warp Transpiler», який компілює код Solidity у байт-код каїрської віртуальної машини.
! [f0mw065oU22uQaoAHUgGeTVnIuusPnGXMr4NmvGg.png] (https://img.jinse.cn/7119145_watermarknone.png «7119145»)
Що вони роблять, так це створюють нову віртуальну машину та додають підтримку інструментів Ethereum як додатковий шар поверх неї. Це, як і раніше, досягає мети експорту контрактів на солідність до StarkNet, роблячи їх «сумісними з EVM».
Незважаючи на те, що це не просте виконання EVM, воно зберігає сумісність, дозволяючи розробникам Solidity писати код для своїх зведень. Це хороший компроміс.
(2)Багатокутник zk-EVM (рівень байт-коду):
Polygon запускає спеціальну віртуальну машину, але зіставив усі коди операцій EVM, щоб вони були дійсними для своїх віртуальних машин. Підхід Polygon полягає в побудові zkEVM з «еквівалентністю на рівні операційного коду».
На відміну від Scroll, Polygon має альтернативне середовище виконання — zkutor — яке запускає користувацькі коди операцій «zkASM» замість того, щоб запускати коди операцій EVM безпосередньо. Це зроблено для оптимізації інтерпретації EVM (оскільки пряме доведення EVM було б занадто обмежувальним).
! [dBbRwBMW3X9X60RcwaEGFU8IMej4H3NDmzNcyA0Z.png] (https://img.jinse.cn/7119146_watermarknone.png «7119146»)
Ось принципова схема процесу:
!
Хоча ця конфігурація є більш продуктивною, ніж Scroll, вона додає багато користувацького коду (для створення zkASM), представляє можливі вимоги для зміни коду або інструментів для сумісності, і з часом може все більше відрізнятися від Ethereum.
(3)Прокрутка (рівень байт-коду):
Перетворюйте виконання EVM безпосередньо в схеми, які можна перевірити, з перевагами в підтримці інструментів і сумісності. Наразі Scroll не підтримує всі коди операцій EVM, але з часом вони планують реалізувати це.
! [qTtHQfu0A2TL4Es1o7GUr4SLTmX84fXexBThP2qS.png] (https://img.jinse.cn/7119150_watermarknone.png «7119150»)
Як працює Scroll (стек технологій)?
Scroll — це зведення zk зі смарт-контрактом на ETH L1 і перевірочний валідатор zkEVM, здатний перевірити, чи безпечний протокол Scroll.
! [epGWjBUK3UM7PGzW3TTnIyS4d6U3HZJbQvUsFlLU.png] (https://img.jinse.cn/7119151_watermarknone.png «7119151»)
Як відбуваються транзакції на Scroll?
· Scroll вміє групувати блоки та записувати дані блоків в Ethereum.
· Після того, як доказ валідності генерується в новому блоці, він записується в Ethereum.
! [puMNkVFi6Mo0fvYN2CHi2b2rRLTtF0EqJCoIngKl.png] (https://img.jinse.cn/7119152_watermarknone.png «7119152»)
Таким чином, блок на Scroll може мати три стани:
· Pre-commit: Запропонований секвенсором та включений до Scroll.
· Зобов'язані: дані про транзакції, опубліковані в Ethereum
· Завершення: належне виконання було підтверджено ончейн-доказом дійсності, опублікованим на Ethereum.
Хід транзакції наступний:
(1) Транзакції, що надходять з секвенсора, об'єднуються в блок (1).
(2) Дані та дані про виклики передаються до зведеного контракту на L1, а блок фіксується (D1).
! [MGHpIZI5tIrmUyZ1wFO8IBBlPkjPyGlTqJ0xcorf.png] (https://img.jinse.cn/7119154_watermarknone.png «7119154»)
(3) Генерація доказів: Інформація передається координатору («слід» виконаної роботи), а потім передається Prover, який, у свою чергу, генерує доказ ZK.
(4) Генерація доказів може займати кілька блоків і може виконуватися паралельно різними "доказами".
! [MGHpIZI5tIrmUyZ1wFO8IBBlPkjPyGlTqJ0xcorf.png] (https://img.jinse.cn/7119154_watermarknone.png «7119154»)
(5) Генерація сукупного доказу: Proof генерується та агрегується партіями, а потім надсилається в ланцюг для перевірки (Verify).
(6) Блок завершено.
! [MGHpIZI5tIrmUyZ1wFO8IBBlPkjPyGlTqJ0xcorf.png] (https://img.jinse.cn/7119154_watermarknone.png «7119154»)
Транзакції >обробляються вузлом, що запускає форк Geth, > траси виконання > вхідних схемах zkEVM > генерують докази > вході в множину, що вказують на те, що доказ дійсний, > генерують сукупні докази, > видані контрактам L1.
! [06C4j68uFveOkp0nMwVLSpTuyfAXMdopOz20qFnZ.png] (https://img.jinse.cn/7119155_watermarknone.png «7119155»)
Навіщо прокручувати?
· Орієнтований на розробника: надає еквівалентний байт-код EVM.
· Ефективність: Створіть більш безпечний простір для блоків Ethereum і зменште комісію за газ.
· Швидкість: оптимізований час блоку (3 секунди проти 12 секунд у Ethereum).
· Відповідає баченню Ethereum.
З моменту випуску Scroll зібрав понад 1,5 мільйона доларів на TVL.
! [vCuWn8SHO3ImoVojqdZZFz2pGcwxd48sHxKgodq3.png] (https://img.jinse.cn/7119157_watermarknone.png «7119157»)
Понад 1 383 користувачі підключили ETH на Scroll.
! [CNorvLElukNCBx1rRFpChYL2NCMY930sRNSRhu6F.png] (https://img.jinse.cn/7119158_watermarknone.png «7119158»)
Понад 975 ETH було підключено до основної мережі Scroll на загальну суму 1,5 мільйона доларів.
! [dAgVuhJqXcFf5kWAWhE7dpO8TwJUU01FWGaOYDqo.png] (https://img.jinse.cn/7119159_watermarknone.png «7119159»)
Кілька думок:
ZK Rollup розглядається як дизайн, який перевершує своїх оптимістичних конкурентів rollup, особливо з точки зору конфіденційності, без затримок виведення коштів через відсутність доказів шахрайства.
Як загальний зведення zk, сумісний з байт-кодом, Scroll обіцяє переваги доказів zk на L2 без шкоди для мережевих ефектів та інструментів EVM.
Повна сумісність з EVM є святим Граалем L2, і це ціннісна пропозиція Scroll: захоплення Ethereum. Сумісність байт-коду Scroll включає в себе всі переваги доказів zk з Ethereum з максимальною сумісністю.
Також варто зазначити, що Scroll прагне до децентралізації. Хоча на початковому етапі буде централізований сортувальник, плани децентралізації знаходяться на стадії розробки. Крім того, всі докази ZK в кінцевому підсумку будуть створені децентралізованою мережею «доказів».