Технічний керівник Polygon пояснює, чого очікувати від zkEVM

Цього року екосистема Ethereum стане свідком однієї з найгарячіших тенденцій блокчейну, оскільки численні компанії прагнуть використати майбутній зведений пакет zkEVM від Polygon.

Що таке докази з нульовим знанням?

Технологія нульового знання (ZK) — це криптографічне рішення, яке змінює індустрію блокчейнів. Вони виконують мови та низькорівневий байт-код на програмованому рівні, підтримуючи ті ж правила, що й основна мережа Ethereum.

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

Віталік Бутерін, засновник Ethereum, категоризовано zkEVM на чотири основні типи.

1. Тип 1 zkEVM: повністю еквівалентний Ethereum
2. Тип 2 zkEVM: еквівалентність EVM (не Ethereum).
3. Тип-3 zkEVM: відхід від EVM
4. ZkEVM типу 4: близькі родичі EVM

«Цей проект є повноцінним інженерним проектом, — сказав Джорді Бейліна, який очолює технічну групу зі створення Polygon zkEVM. «Ідея полягає в тому, що з цією електронікою ми якимось чином створили процесор. Крім того, можна написати програму, яка обробляє транзакції. Це повний стек компонентів, на кожному з цих рівнів у цих стеках працюють різні команди».

На YouTube відео випущений 2 березня, Бейліна пояснила технічні компоненти розгортання: «Система, яку ми створюємо, стійка до цензури. Це не ідеальне рішення, але до певного моменту, тому що система не є універсальною».

«Ми створили саму асамблею. Це новий процесор, нова збірка, новий спосіб написання обладнання».

Технічні деталі

Завдяки зведенню zkEVM передача ERC-20 визначатиме унікальні інфраструктури даних, такі як ProgramCounter, GlobalCounter, EVMWord, GasInfo та GasCost, які включають та містять такі елементи, як стек, пам’ять і коди операцій. pc і gc інкапсульовані для використання, тоді як EVMWord інкапсулює масив u8 довжиною 32.

Щоб спростити операції, пов’язані з пам’яттю, розробники вміло використовують макроси Rust, щоб отримувати критично важливу інформацію з пам’яті, таку як ознаки індексів і діапазонів, і реалізувати їх стандартизовано. З іншого боку, Storage представлено HashMap, і всі його ключові значення є EVMWord

StackAddress представлений у вигляді використання зі стеком динамічного масиву, що складається з EVMWord.

MemoryAddress також є розміром зі значеннями від 0 до 1023, тоді як Memory є масивом u8.

Повний технічний стек розгортання zkEVM доступний на github.

Змагання за першість зкЕВМ

Триває змагання за те, щоб вийти на ринок із робочим продуктом.

Кілька проектів змагаються за запуск першої повністю функціональної та еквівалентної EVM zkEVM, причому одними з головних претендентів є Polygon zkEVM, zkSync, StarkNET і Scroll.

Polygon zkEVM є відкритим вихідним кодом і спрямований на скорочення транзакційних витрат до 90%, тоді як zkSync 2.0 працює в Ethereum Testnet, що дозволяє розробникам писати смарт-контракти Solidity. StarkNET використовує ZK-STARK, які є більш безпечними, але мають обмеження, а Scroll створює рішення з високою можливістю компонування, яке надає пріоритет безпеці та прозорості.

Ставка Polygon на zkEVM склала 250 мільйонів доларів

Polygon придбала Hermez Network за 250 мільйонів доларів у 2021 році, а пізніше запустила своє ZK-зведене рішення Ethereum Layer-2, Polygon Hermez, у середині 2022 року. У липні 2022 року Polygon оголосила про ребрендинг Polygon Hermez на Polygon zkEVM, який прийняв підхід Type-2 zkEVM, щоб бути еквівалентним EVM, але не еквівалентом Ethereum.

Розробникам потрібно буде адаптувати код і інструменти EVM до ZK-rollup. Polygon прагне досягти 2000 транзакцій на секунду та скоротити витрати на транзакції до дев’яноста відсотків, що робить його дешевшим, ніж основна мережа Ethereum. Polygon запустив публічну тестову мережу zkEVM 10 жовтня.