Kierownik techniczny firmy Polygon wyjaśnia, czego można oczekiwać od zkEVM

Ekosystem Ethereum będzie świadkiem jednego z najgorętszych trendów blockchain w tym roku, a wiele firm chce wykorzystać nadchodzący pakiet zkEVM firmy Polygon.

Co to są dowody z wiedzą zerową?

Technologia zero-knowledge (ZK) to rozwiązanie kryptograficzne zmieniające branżę blockchain. Wykonują języki i kod bajtowy niskiego poziomu na poziomie programowalnym, wspieranym przez te same zasady, co główna sieć Ethereum.

Jest to maszyna wirtualna, która wykorzystuje dowody zerowej wiedzy do weryfikacji danych bez ujawniania jakichkolwiek informacji o zawartości lub właściwościach danych. Jest to protokół odporny na cenzurę, replikujący środowisko wykonywania transakcji w sieci głównej Ethereum.

Vitalik Buterin, założyciel Ethereum, skategoryzowane zkEVM na cztery główne typy.

1. ZkEVM typu 1: w pełni odpowiednik Ethereum
2. ZkEVM typu 2: odpowiednik EVM (nie Ethereum).
3. ZkEVM typu 3: odchodzące od EVM
4. ZkEVM typu 4: bliscy kuzyni EVM

„Projekt jest pełnym projektem inżynieryjnym” — powiedział Jordi Baylina, który kieruje zespołem technicznym budującym Polygon zkEVM. „Chodzi o to, że dzięki tej elektronice w jakiś sposób zbudowaliśmy procesor. Ponadto można napisać program przetwarzający transakcje. To pełny stos komponentów z różnymi zespołami pracującymi w każdej z tych warstw w tych stosach”.

W YouTube wideo wydany 2 marca, Baylina wyjaśnił techniczne elementy wdrożenia: „System, który budujemy, jest odporny na cenzurę. Nie jest to idealne rozwiązanie, ale do pewnego momentu, ponieważ system nie jest uniwersalny”.

„Stworzyliśmy samo zgromadzenie. To nowy procesor, nowy montaż, nowy sposób pisania sprzętu”.

Szczegóły techniczne

Dzięki pakietowi zkEVM transfer ERC-20 zdefiniuje unikalne infrastruktury danych, takie jak ProgramCounter, GlobalCounter, EVMWord, GasInfo i GasCost, które obejmują i zawierają takie elementy, jak stos, pamięć i kody operacji. PC i gc są enkapsulowane do użycia, podczas gdy EVMWord hermetyzuje tablicę u8 o długości 32.

Aby uprościć operacje związane z pamięcią, programiści sprytnie wykorzystują makra Rust do wyodrębniania krytycznych informacji z pamięci, takich jak cechy indeksu i zakresu, i implementują je w sposób znormalizowany. Z drugiej strony Storage jest reprezentowany przez HashMap, a wszystkie jego kluczowe wartości to EVMWord

StackAddress jest reprezentowany jako użycie z Stackem dynamicznej tablicy składającej się z EVMWord.

MemoryAddress to także użycie, z wartościami od 0 do 1023, podczas gdy Memory to tablica u8.

Pełny stos techniczny wdrożenia zkEVM jest dostępny na github.

Wyścig o dominację zkEVM

Rozpoczyna się wyścig o wejście na rynek z działającym produktem.

Kilka projektów bierze udział w wyścigu o uruchomienie pierwszego w pełni funkcjonalnego i równoważnego EVM zkEVM, a niektórzy z głównych pretendentów to Polygon zkEVM, zkSync, StarkNET i Scroll.

Polygon zkEVM jest open-source i ma na celu obniżenie kosztów transakcji nawet o 90%, podczas gdy zkSync 2.0 jest dostępny w Ethereum Testnet, umożliwiając programistom pisanie inteligentnych kontraktów Solidity. StarkNET korzysta z ZK-STARK, które są bezpieczniejsze, ale mają ograniczenia, a Scroll buduje rozwiązanie o wysokiej komponowalności, w którym bezpieczeństwo i przejrzystość są traktowane priorytetowo.

Firma Polygon postawiła 250 milionów dolarów na zkEVM

Polygon kupił Hermez Network za 250 milionów dolarów w 2021 roku, a później uruchomił rozwiązanie zbiorcze Ethereum Layer-2 ZK, Polygon Hermez, w połowie 2022 roku. W lipcu 2022 r. Polygon ogłosił zmianę marki Polygon Hermez na Polygon zkEVM, która przyjęła podejście Type-2 zkEVM jako odpowiednik EVM, ale nie odpowiednik Ethereum.

Deweloperzy będą musieli dostosować kod i narzędzia EVM do ZK-rollup. Polygon ma na celu osiągnięcie 2000 transakcji na sekundę i obniżenie kosztów transakcji nawet o dziewięćdziesiąt procent, co czyni go tańszym niż Ethereum Mainnet. Polygon uruchomił swoją publiczną sieć testową zkEVM 10 października.