Интервю с премиера на StarkWare Гал Рон

Мащабирането на Ethereum несъмнено беше една от най-горещите теми през последните месеци. Преходът на мрежата към консенсусен алгоритъм за доказателство за дял през септември 2022 г. беше огромен крайъгълен камък в това отношение, тъй като отвори вратата за внедряване на много различни решения за мащабиране.

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

Концепции като доказателства с нулево знание вече се превръщат в работеща реалност, но за мнозина те все още са много чужди идеи. За да ни помогне да разберем повече за бъдещето на мащабирането на Ethereum, е Гал Рон – продуктов мениджър и изследовател на блокчейн в StarkWare – компания, фокусирана основно върху това.

Проблемът с Ethereum

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

Има една поговорка, която гласи, че една верига е толкова силна и мощна, колкото е най-слабото й звено. Това е така, защото само една от връзките трябва да се счупи, за да се повреди цялата верига. Това също така ограничава здравината на веригата, тъй като тя може да се справи само с натоварване, което най-слабото й звено е способно да издържи – независимо колко здрави са всички останали звена.

Същото важи и за Ethereum в сегашното му състояние. Необходимостта от това идва от факта, че Ethereum трябва да отговаря на изискването за „доверие“.

Говорейки по въпроса, Рон обяснява:

За да удовлетворят всички предположения за доверие и изисквания за доверие, всички възли (на Ethereum) трябва да направят едно и също нещо. По дефиниция това поставя ограничение върху пропускателната способност на системата, защото ако увеличим TPS или размера на блока над определен праг, ще започнем да предотвратяваме участието на по-малките (да се чете: с по-малко изчислителна мощност) възли.

По същество това прави Ethereum по дефиниция ограничен в капацитета си.

Подходът на StarkWare: Какво е ZK-доказателство?

Рон обяснява, че има няколко опции за справяне с проблемите с ограниченията на Ethereum. Едно от тях е да измислят нещо друго.

StarkWare обаче възприе различен подход на „мащабиране на Ethereum от Ethereum и без създаване на друга верига“. Те го правят чрез StarkNet и StarkEx, така че нека да разгледаме.

StarkNet е описан като „децентрализирано събиране на валидност без разрешения, известно още като a ZK-сборен пакет.” Функционира като L2 (слой-втори) мрежа над Ethereum и има за цел да позволи на всяко децентрализирано приложение (dApp) да постигне неограничен мащаб за своите изчисления. Това се прави, без да се жертва сигурността и способността за композиране на основния слой – Ethereum – защото StarkNet разчита на системата за криптографско доказателство, известна като STARK.

Тук има много за разопаковане, така че нека започнем с концепцията за доказателства с нулево знание.

„С Ethereum всички възли трябва да изпълняват отново всички транзакции. Преди ZK (нулево знание) нямаше друг начин да се доверите, че някой друг е извършил изчисленията с почтеност. Ако съм възел на Ethereum, виждам какви други възли ми докладват по отношение на това какво трябва да бъде състоянието на системата. Няма начин да им се доверя, освен просто да повторя същите изчисления, които току-що са изпълнили.

Магията на ZK е, че създава нова парадигма за доверие на други субекти, без да се налага да се правят повторно изчисленията, които те току-що направиха. – каза Рон.

По същество ZK rollups като StarkNet значително намаляват количеството изчислителна работа, която възлите на Ethereum трябва да извършат, като по този начин увеличават пропускателната способност на мрежата.

Всичко това се прави без да се жертва сигурността на основния слой. За да направи това, StarkWare изобрети ZK-STARK, които позволяват на блоковите вериги да преместват изчисленията към един STARK доказател извън веригата и след това да проверят целостта на тези изчисления с помощта на STARK Verifier във веригата.

Гал Рон обясни как работят както Prover, така и Sequencer, така че за повече подробности относно това, моля, погледнете видеото по-горе.

Също така разглеждаме по-подробно какво точно представляват събиранията, какво е StarkEx и какви са плановете на StarkWare за бъдещето.