Optimistic срещу ZK-Rollups: Избиране на правилното решение за мащабиране за DApps

Ethereum се е утвърдило като ъглов камък на децентрализираните финанси и по-широката Web3 екосистема. То служи като слой за изчистване за милиарди долари стойност и е домакин на хиляди децентрализирани приложения. Въпреки това, тази огромна популярност е създала значителни предизвикателства относно капацитета на мрежата. Колкото повече потребители се стичат към мрежата, търсенето на пространство за блокове надвишава наличното предлагане. Това задръстване води до натрупване в мрежата и рязко покачващи се такси за транзакции, които често изключват обикновените потребители.

Общността отдавна е разпознала, че основният Ethereum blockchain, често наричан Layer 1, не може сам да обработва глобалния обем на транзакции. Мрежата редовно обработва над милион транзакции дневно, но това е недостатъчно за задоволяване на глобалното търсене. За да се справи с това, разработчиците са създали решения, които се намират върху основната мрежа. Те колективно са известни като Layer 2 решения за мащабиране. Те целят да увеличат пропускателната способност на транзакциите без да компрометират здравата сигурност, която прави Ethereum ценен.

Сред различните подходи за мащабиране, rollups са се появили като най-перспективната технология за дългосрочното бъдеще на мрежата. Rollups обработват транзакции извън основния Ethereum верига, но публикуват данните за транзакциите обратно в нея. Този подход намалява натоварването върху основната мрежа, като същевременно гарантира, че данните остават достъпни и сигурни. В тази категория двама основни претендента са излезли на преден план: Optimistic Rollups и Zero-Knowledge (ZK) Rollups.

Предизвикателството за мащабиране и Layer 2

За да разберете защо rollups са необходими, първо трябва да осъзнаете ограниченията, присъщи на дизайна на blockchain. Това често се описва като „blockchain трилемата“. Концепцията предполага, че децентрализирана мрежа може да оптимизира само две от трите основни характеристики едновременно: децентрализация, сигурност и мащабируемост. Ethereum исторически е приоритизирал децентрализацията и сигурността. Този избор означава, че мащабируемостта на базовия слой е естествено ограничена.

Цената на задръстването

Когато мрежата стане заета, механизъмът за включване на транзакции в блок наподобява търг. Потребителите по същество залагат един срещу друг, за да обработят своите транзакции от валидаторите. Това води до волатилни цени на газта. През периоди на високо търсене, извършването на проста размяна на токени или взаимодействие с децентрализирано приложение може да струва огромни суми. Това триене ограничава растежа на екосистемата и пречи на широко разпространеното приемане на децентрализирани приложения (DApps).

Преместване на изпълнението извън веригата

Layer 2 решенията адресират това, като преместват тежката работа извън основния Ethereum верига. Вместо всеки възел в основната мрежа да обработва всяко изчисление, изпълнението се случва на вторичен слой. Layer 2 мрежата обработва изчисленията и съхранението на промени в състоянието. След това периодично изпраща резюме или доказателство за тези транзакции към Ethereum основната мрежа. Това закрепва Layer 2 състоянието към Layer 1, използвайки сигурността на Ethereum без нейното задръстване.

Видове решения за мащабиране

Докато rollups са в фокуса, съществуват и други решения. Канали, подобни на Bitcoin's Lightning Network, позволяват на потребителите да транзактират безкрайно извън веригата и да финализират само крайното салдо на веригата. Plasma създава дъщерни вериги, които използват основната верига за арбитраж на доверие. Независими sidechains работят паралелно с Ethereum с собствени механизми на консенсус. Въпреки това, rollups са спечелили предимство, защото запазват данните на веригата, предоставяйки по-високи гаранции за сигурност от sidechains или Plasma.

Как функционират Rollups

Rollups получават името си от процеса на „свъртане“ или групиране на стотици или хиляди транзакции в една партида. Вместо да изпраща всяка транзакция индивидуално към Ethereum основната мрежа, операторът на rollup изпраща компресирана партида от данни. Това значително намалява следа от данни на Layer 1. Чрез разпределяне на таксите за транзакциите за подаване между много потребители, цената на потребител драстично пада.

Ключовата разлика между двата основни типа rollups е в начина, по който доказват на основната мрежа, че извънверижните транзакции са валидни. Основната мрежа се нуждае от начин да гарантира, че подаваната информация е правилна и че никой не обработва невалидни транзакции или краде средства. Optimistic Rollups и ZK-Rollups заемат два фундаментално различни философски и технически подхода към този процес на верификация.

Optimistic Rollups: Презумпцията за невинност

Optimistic Rollups работят на принцип, подобен на „невинен, докато не се докаже вината“. Когато партида от транзакции се подаде към Ethereum основната мрежа, системата автоматично приема, че транзакциите са валидни. Тя не извършва незабавни тежки изчисления, за да провери всяка подпись или промяна в състоянието. Тази „оптимистична“ припозиция позволява значителни подобрения в скоростта и пропускателната способност, тъй като се премахва натоварването от непрекъсната верификация.

Механизмът за доказателства за измама

За да гарантира сигурността, Optimistic Rollups използват механизъм, известен като fraud proof. Докато системата приема валидност по подразбиране, има специфичен времеви период след подаването, известен като challenge period. През този период, който обикновено трае около седем дни, други участници в мрежата могат да оспорят валидността на партида от транзакции. Ако някой идентифицира злонамерена дейност или невалидно изчисление, той може да подаде доказателство към основната мрежа, за да оспори партитата.

Ако предизвикателството се потвърди като правилно, невалидната партида от транзакции се върне назад. Злонамереният актьор, който е подал лошата партида, се наказва, често чрез загуба на средствата, които е обвързал или „staked“, за да участва като валидатор. Този „морков и пръчка“ подход стимулира честното поведение. Участниците знаят, че ако се опитат да измамят, вероятно ще бъдат хванати и финансово наказани през challenge period.

Съвместимост и развитие

Едно от основните предимства на Optimistic Rollups е нивото на сложност при имплементацията. Те разчитат на стандартни криптографски технологии, които са добре познати в индустрията. Тъй като не изискват сложни нови математически доказателства за всяка партида, те са по-лесни за изграждане. Още по-важно, те предлагат висока съвместимост с Ethereum Virtual Machine (EVM).

Тази EVM съвместимост означава, че разработчиците могат да портират съществуващите си децентрализирани приложения от Ethereum Layer 1 към Optimistic Rollup с минимални промени. Смарт договорите, написани за основната мрежа, обикновено работят безпроблемно на тези Layer 2. Това е позволило бързо приемане, тъй като основни DeFi протоколи и проекти могат да мащабират операциите си без да преписват кодовите си бази.

Задръстването при теглене

Зависимостта от challenge period въвежда значителен недостатък за потребителското изживяване. Тъй като мрежата трябва да изчака да види дали ще бъде подадено fraud proof, преместването на активи от Layer 2 обратно към Layer 1 не е незабавно. Потребителите обикновено трябва да изчакат края на периода на спор, което може да отнеме седмица или повече. Докато доставчици на ликвидност от трети страни могат да предлагат по-бързи изходи срещу такса, родният мост запазва това забавяне за гарантиране на сигурността.

ZK-Rollups: Математическа сигурност

Zero-Knowledge (ZK) Rollups заемат противоположния подход. Вместо да приемат, че транзакциите са валидни, те предоставят изрично доказателство, че са такива. Всяка пъти, когато партида от транзакции се групира, операторът на Layer 2 генерира криптографско доказателство, конкретно Zero-Knowledge Proof (SNARK или STARK). Това доказателство се подава към Ethereum основната мрежа заедно с данните за транзакциите.

Доказателства за валидност

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

Незабавна финалност

Тъй като валидността се верифицира незабавно при подаване към Layer 1, ZK-Rollups не изискват challenge period. След като партитата бъде приета, средствата са сигурни и състоянието е финално. Това решава проблема с забавянето при теглене, присъщ на Optimistic Rollups. Потребителите могат да теглят средствата си от Layer 2 към Layer 1 веднага щом доказателството се верифицира, без многодневен период на чакане. Това предлага по-добро потребителско изживяване за трансфер на активи между слоевете.

Изчислителна интензивност

Недостатъкът на ZK-Rollups е огромната изчислителна мощност, необходима за генериране на доказателствата за валидност. Създаването на Zero-Knowledge доказателство е сложна и ресурсозатеглива задача. Това високо изчислително натоварване може да ограничи пропускателната способност на самия rollup или да увеличи разходите за генериране на блокове. Въпреки това, с подобряването на хардуера и узряването на основната криптографска технология, тези разходи намаляват.

Техническа сложност

ZK-Rollups разчитат на по-нови и по-сложни криптографски примитиви в сравнение с Optimistic Rollups. Имплементирането им е значително по-трудно. Освен това, създаването на ZK-Rollup, който е напълно съвместим с Ethereum Virtual Machine, исторически е било голям инженерски предизвикателство. Докато напредъкът продължава, общоцелевият компютър в ZK-Rollups изостава от лесната съвместимост, предлагана от Optimistic решенията.

Сравнение на компромисите

И двата типа rollups предлагат различни предимства в зависимост от нуждите на приложението и потребителя. И двете стоят сигурно върху Ethereum, черпейки сигурността си от основната мрежа, но техните оперативни механизми водят до различни силни и слаби страни.

Характеристика Optimistic Rollups ZK-Rollups
Метод на валидация Fraud Proofs (Dispute model) Validity Proofs (Math verification)
Време за теглене Бавно (около 7 дни) Бързо (минути до часове)
Сложност По-ниска (Стандартна криптография) Висока (Нова криптографска технология)

Обмисли за сигурност

Optimistic Rollups разчитат на поне един честен актьор, който наблюдава веригата, за да подаде fraud proof, ако нещо се обърка. Напротив, ZK-Rollups разчитат на математиката; смарт контрактът на основната мрежа просто отхвърля всяка партида без валидно доказателство. Докато и двете се считат за високо сигурни в сравнение със sidechains, ZK-Rollups теоретично предлагат по-силна гаранция за сигурност, тъй като не зависят от игрови-теоретични стимули или активни наблюдатели, за да хванат измамата.

Потенциал за пропускателна способност

ZK-Rollups имат предимство и в ефективността на данните. Тъй като самото доказателство за валидност потвърждава правилността на промените, ZK-Rollups технически трябва да публикуват по-малко данни към основната верига от Optimistic Rollups. Optimistic решенията трябва да публикуват достатъчно данни, за да позволят на всеки да преиграе транзакцията и да я верифицира по време на challenge. Тази лека разлика означава, че ZK-Rollups теоретично могат да постигнат по-висока пропускателна способност в дългосрочен план.

Бъдещата екосистема

Съревнованието между тези технологии не е нулева сума. Те могат да съществуват заедно години наред, обслужвайки различни ниши. Въпреки това, консенсусът сред много изследователи е, че ZK-Rollups представляват дългосрочното бъдеще на мащабирането на Ethereum. Незабавните предимства на Optimistic Rollups — лекота на внедряване и съвместимост с EVM — са им позволили да спечелят преднина в приемането. Проекти като Polygon са използвали Optimistic технология, за да предоставят незабавно облекчение от задръстването.

Хибридни подходи

Интересното е, че границите могат да се размият. Някои платформи като Polygon са проучили интегрирането на ZK технология в своите дорожни карти, въпреки че са започнали с други рамки. Екосистемата вероятно ще види хибридни решения или постепенно мигриране, където Optimistic имплементациите ъпгрейдват към ZK доказателства, щом технологията стане по-достъпна и съвместима с EVM.

Ролята на Sharding

И двата типа rollups ще се възползват от бъдещите ъпгрейди на Ethereum, конкретно sharding. Sharding разделя мрежата на по-малки части, за да обработва повече данни. За rollups основната полза е увеличената наличност на данни. Тъй като rollups трябва да публикуват данни за транзакции към Layer 1, наличното пространство на основната мрежа ги ограничава. Sharding ще драстично увеличи капацитета на данни на Ethereum, позволявайки на rollups да обработват експоненциално повече транзакции на по-ниски такси.

Приемане от разработчици

Засега разработчиците избират според текущата зрялост. DApps, изискващи пълна EVM поддръжка днес, често избират Optimistic Rollups. Въпреки това, с узряването на „zkEVM“ (EVM-съвместими ZK-Rollups), бариерата за вход в модела с доказателства за валидност ще изчезне. Щом разходите за сложност спаднат, предимствата на незабавните тегления и математическата сигурност вероятно ще предизвикат преход към ZK решения.

Заключение

Мащабирането на Ethereum е от съществено значение, за да изпълни мрежата потенциала си като глобален финансов субстрат. Layer 2 решенията са преминали отвъд теоретическите концепции и са станали жизненоважни части от инфраструктурата. Optimistic Rollups в момента предоставят прагматично, работещо решение, което облекчава задръстването чрез стандартна технология и теория на игрите. Те предлагат на разработчиците лесен път за мащабиране на съществуващи приложения, макар и с компромис на забавени тегления.

ZK-Rollups предлагат по-технически софистицирано решение, което обещава незабавна финалност и стриктна сигурност чрез доказателства за валидност. Докато се сблъскват с препятствия относно изчислителните разходи и сложността на имплементацията, те разрешават задръстванията при теглене, които измъчват оптимистичните модели. С напредъка в криптографските изследвания, ZK-Rollups са на път да станат стандартът за мащабиране на високопроизводителни blockchain.

Изборът между тях в момента зависи от нуждата от незабавна съвместимост срещу дългосрочна ефективност.