Интервью с генеральным директором StarkWare Галом Роном

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

Пока разработчики Ethereum работают над способами масштабирования сети, мощь решений второго уровня только начинает проявляться.

Такие концепции, как доказательства с нулевым разглашением, сейчас становятся реальностью, но для многих они все еще являются очень чуждыми идеями. Чтобы помочь нам лучше понять будущее масштабирования Ethereum, Гал Рон — менеджер по продукту и исследователь блокчейна в StarkWare — компании, которая в основном занимается именно этим.

Проблема с Эфириумом

Прежде чем мы углубимся в какие-либо детали, важно понять, что на самом деле означает масштабирование Ethereum. С точки зрения непрофессионала, это процесс расширения вычислительной мощности сети, чтобы каждый из узлов мог обрабатывать более высокую пропускную способность транзакций.

Это высказывание гласит, что цепь настолько прочна и мощна, насколько ее самое слабое звено. Это связано с тем, что только одно из звеньев должно разорваться, чтобы вся цепочка вышла из строя. Это также ограничивает прочность цепи, поскольку она может выдерживать только ту нагрузку, которую способно выдержать ее самое слабое звено, независимо от того, насколько сильны все остальные звенья.

То же самое верно и для Ethereum в его нынешнем состоянии. Необходимость в этом исходит из того факта, что Ethereum должен удовлетворять требованию «доверия».

Говоря об этом, Рон объясняет:

Чтобы удовлетворить все предположения о доверии и требования к доверию, все узлы (в Ethereum) должны делать то же самое. По определению это накладывает ограничение на пропускную способность системы, потому что, если мы увеличим TPS или размер блока выше определенного порога, мы начнем препятствовать участию меньших (читай: с меньшей вычислительной мощностью) узлов.

По сути, это делает Ethereum по определению ограниченным в своих возможностях.

Подход StarkWare: что такое доказательство ZK?

Рон объясняет, что есть несколько вариантов решения проблем с ограничениями Ethereum. Один из них — придумать что-нибудь другое.

Однако StarkWare применяет другой подход к «масштабированию Ethereum из Ethereum, а не к созданию другой цепочки». Они делают это через StarkNet и StarkEx, так что давайте посмотрим.

StarkNet описывается как «децентрализованный дайджест достоверности без разрешения, также известный как накопитель ZK». Он работает как сеть L2 (второй уровень) поверх Ethereum и нацелен на то, чтобы позволить любому децентрализованному приложению (dApp) достичь неограниченного масштаба для своих вычислений. Это делается без ущерба для безопасности и состава основного уровня — Ethereum — потому что StarkNet полагается на систему криптографических доказательств, известную как STARK.

Здесь есть что распаковать, поэтому давайте начнем с концепции доказательств с нулевым разглашением.

«В Эфириуме все узлы должны повторять все транзакции. До ZK (нулевое разглашение) не было другого способа доверять тому, что кто-то другой выполнял вычисления с целостностью. Если я являюсь узлом в Эфириуме, я вижу, что другие узлы сообщают мне о том, какой должна быть система. У меня нет другого способа доверять им, кроме как просто запустить те же вычисления, которые они только что выполнили снова.

Магия ZK заключается в том, что он создает новую парадигму доверия к другим устройствам без необходимости повторного выполнения вычислений, которые они только что сделали». – сказал Рон.

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

Все это делается без ущерба для безопасности основной команды. Для этого StarkWare изобрела ZK-STARK, которые позволяют блокчейнам перемещать вычисления в один независимый доверитель STARK, а затем проверять целостность этих вычислений с помощью встроенного верификатора STARK.

Гал Рон объяснил, как работают и Prover, и Sequencer, поэтому для получения дополнительной информации об этом посмотрите видео выше.

Мы также подробно рассмотрим, что такое накопительные пакеты, что такое StarkEx и каковы планы StarkWare на будущее.