Рівень 2 zk-EVM від Scroll працює в тестовій мережі Goerli Ethereum

Scroll випустив тестову версію своєї мережі Ethereum Layer 2 у тестовій мережі Goerli, перевівши zk-EVM з пре-альфа-фази на альфа-фазу тестування.

Досі Scroll можна було випробувати в тестовій мережі, створеній на основі власного клону Ethereum проекту. Перейшовши від цього до запуску в загальнодоступній тестовій мережі, Scroll зробив крок вперед на шляху до повного запуску в другій половині цього року.

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

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

Scroll працював над своєю мережею протягом двох років і наразі налічує 60 членів команди, а також широку мережу зовнішніх учасників.

Що таке zk-EVM?

Zk-EVM — це мережі рівня 2, побудовані на Ethereum, які використовують докази з нульовим знанням для досягнення масштабованості. Частина EVM відноситься до віртуальної машини Ethereum (EVM), біта, який запускає додатки, а не просто їх обробляє. Оскільки ці мережі сумісні з EVM, вони можуть підтримувати додатки Ethereum, а також працювати в масштабі.

Є дві функції, які забезпечують роботу zk-EVM. Спочатку секвенсор групує багато транзакцій. Потім доказувач виконує складні обчислення з нульовим знанням, щоб отримати доказ того, що всі ці транзакції є законними. Потім це підтвердження транслюється в мережу Ethereum, і транзакції затверджуються. 

Прямо зараз Scroll робить свою мережу публічною, щоб її можна було протестувати в боях, але в той же час вона працює над децентралізацією секвенсора та прувера — ключової вимоги до децентралізації мережі.

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

Scroll має власну команду безпеки, яка намагається переконатися, що мережа безпечна. Він також заморозив частину своєї кодової бази та відправив її на перевірку аудитору. Він планує проводити подальші перевірки.

Чому Scroll обирає важчий шлях

Є два основних способи створення zk-EVM (технічно більш проміжні, але не будемо заглиблюватись).

З одного боку, ви можете використовувати мову програмування, розроблену для доказів із нульовим знанням, а потім перекладати програми Ethereum із Solidity — рідної мови Ethereum — на нову мову. Це легше створити, але ускладнює життя розробникам, які переносять Ethereum на платформу.

З іншого боку, ви можете створити zk-EVM, щоб використовувати той самий код, який зараз використовується для програм Ethereum. Завдяки цьому дуже легко переносити програми в мережу. Однак це набагато складніше завдання, оскільки докази з нульовим знанням працюють зовсім інакше, ніж віртуальна машина Ethereum, тому вам потрібно закодувати їх, щоб вони працювали так, як вони не призначені.

Scroll обирає більш складний шлях до створення zk-EVM, але, сподівається, такий, який буде більш сумісний з Ethereum і повинен сприяти більшому прийняттю. 

«Коли EVM розроблявся, він взагалі не був розроблений для доказів з нульовим знанням. Те, як ви пишете програму з нульовим знанням, повністю відрізняється від того, як ви пишете традиційне програмне забезпечення», — сказав Псевдотеос.

Цей підхід схожий на написання речення англійською з дотриманням правил синтаксису іншої мови. Складно, але не неможливо.

Це має переваги: ​​розробникам Ethereum має бути набагато легше будувати на Scroll і портувати свої проекти на нього. І тому Scroll вважає, що жорсткий трансплантат того вартий.

Polygon також працює над цим типом zk-EVM, тоді як StarkWare використовує протилежний підхід, а zkSync знаходиться десь між ними.

Незважаючи на те, що Scroll стоїть на місці з багатьма іншими проектами, спрямованими на створення zk-EVM, Pseudotheos не вважає, що бути першим на ринку матиме велике значення. Вони вказали на Arbitrum і Optimism, які були випущені з різницею в кілька місяців, але обидва все ще знаходять тягу. 

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