Виталик Бутерин разкрива голямо предизвикателство за бъдещето на Ethereum – и как да го решим

Съоснователят на Ethereum Виталик Бутерин сподели мислите си за „недостатъчно обсъждан, но въпреки това много важен“ аспект на екосистемата на Ethereum в скорошна публикация в блог този уикенд.

Публикацията, озаглавена „Как ще взаимодейства философията на Ethereum за много клиенти със ZK-EVM?“ се фокусира върху техническите предизвикателства, компромисите и потенциалните решения за създаване на мултиклиентска екосистема за ZK-EVM.

Проблемът с много клиенти при Zk-EVM

Виталик вярва, че ZK-EVM ще се развият, за да станат съществена част от процеса на защита и проверка на ниво 1 на Ethereum в бъдеще. Технологията Zero Knowledge (ZK) позволява на разработчиците да докажат автентичността на транзакция или съобщение, без да разкриват допълнителна информация. По този начин позволява на една страна да убеди друга, че дадено съобщение е вярно, без да разкрива никакви знания извън валидността на съобщението.

Въпреки това, характерът на ZK технологията, който налага поверителността, може да наруши по-широкия пейзаж на EVM, тъй като клиентите на Ethereum се различават фино в прилагането на правилата на протокола, според съоснователя на Ethereum.

Протоколите от слой 2 в сборните ZK успешно използват ZK доказателства и помогнаха за мащабирането на Ethereum чрез групиране на множество транзакции в едно доказателство. Въпреки това, тъй като ZK-EVM се развиват, за да проверяват изпълнението в Mainnet, „ZK-EVM де факто се превръщат в трети тип клиент на Ethereum, също толкова важен за сигурността на мрежата, колкото са клиентите за изпълнение и клиентите за консенсус днес.“

Разглеждането на ZK-EVM като трети тип клиент на Ethereum повдига следния въпрос от Виталик,

„Как всъщност бихме направили „мултиклиентска“ екосистема за ZK-доказваща коректността на блоковете Ethereum?“

Тъй като екосистемата се мащабира, Vitalik иска да запази предимствата на „философията за множество клиенти“, като същевременно използва възможностите на ZK-EVM за подобряване на скалируемостта, сигурността и децентрализацията на мрежата Ethereum.

Основните технически предизвикателства при използването на ZK технологията с множество клиенти са свързани със закъснението и неефективността на данните, според Виталик. В допълнение, отделните клиенти на Ethereum обработват доказателствата с нулево знание по различен начин поради специфични интерпретации на правилата на протокола или имплементации на ZK-EVM.

ZK-EVM мултиклиентски решения

Въпреки тези предизвикателства, Виталик вярва, че създаването на отворена многоклиентска екосистема ZK-EVM е осъществимо и полезно за сигурността и децентрализацията на Ethereum.

По-долу е визуално представяне на различните клиенти, използвани в слоевете за консенсус и изпълнение на екосистемата Ethereum.

Виталик твърди, че наличието на множество клиенти повишава сигурността и децентрализацията на мрежата чрез намаляване на риска от един катастрофален бъг при едно изпълнение, което може да доведе до срив на цялата мрежа. Освен това, философията за множество клиенти помага да се предотврати концентрацията на власт в рамките на един екип за разработка или организация, насърчавайки политическата децентрализация.

Виталик представи три потенциални решения на проблема, както е показано по-долу.

1. „Единичен ZK-EVM: изоставете парадигмата с множество клиенти и изберете един ZK-EVM, който използваме за проверка на блокове.
2. Затворен мулти ZK-EVM: съгласувайте и закрепете в консенсус конкретен набор от множество ZK-EVM и имайте протоколно правило за консенсусен слой, че блокът се нуждае от доказателства от повече от половината ZK-EVM в този набор, за да се счита за валиден .
3. Open multi ZK-EVM: различните клиенти имат различни реализации на ZK-EVM и всеки клиент чака доказателство, което е съвместимо с неговата собствена реализация, преди да приеме даден блок като валиден.“

В контекста на ZK-EVM, Виталик подкрепя идеята за отворена многоклиентска ZK-EVM екосистема. Различните клиенти имат различни реализации на ZK-EVM и всеки клиент чака доказателство, съвместимо с неговото собствено, преди да приеме блок за валиден.

„За мен (3) изглежда идеално, поне докато и освен ако нашата технология не се подобри до точката, в която можем официално да докажем, че всички реализации на ZK-EVM са еквивалентни една на друга…“

Въпреки това, след като технологията се подобри до точката, в която ZK-EVM реализациите са донякъде стандартизирани, Виталик твърди, че решението ще бъде да се избере най-ефективният вариант. Той вярва, че „предизвикателствата [за вариант 3] изглеждат по-малки от предизвикателствата на другите два варианта, поне засега“.

Виталик също кимна към неотдавнашния бърз напредък в AI, заявявайки, че напредъкът в AI може да „супер зареди“ развитието на доказващи ZK-EVM реализации.

„В по-дългосрочен план всичко може да се случи, разбира се. Може би изкуственият интелект ще засили формалната проверка до степен, в която лесно може да докаже, че внедряванията на ZK-EVM са еквивалентни и да идентифицира всички грешки, които причиняват разлики между тях.