Завьялов Илья Николаевич про Децентрализация L2 (Ч.1)

Перед тем как вы погрузитесь в изучение статьи, обратите внимание на тот факт что всё упомянутое в ней не является финансовой рекомендацией для принятие более взвешенного решения просьба провести свое собственное исследование. 

Объем инноваций, исходящих от сектора L2 в настоящее время, действительно поразителен, но современным популярным сетям L2 еще предстоит много работы.

Говорят, что L2 Ethereum наследуют его «безопасность», но что это конкретно означает? В зависимости от того, у какого роллапа вы спросите, вы можете получить разный ответ!

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

Виталик предоставляет отличную схему, помогающую пользователям роллапов понять, насколько они доверяют централизованным участникам или прозрачному коду. Этап 2 в этой таксономии основан на достижении вех и является конечной целью для безопасности роллапа, требующей полного удаления централизованных зависимостей, которые Виталик называет «поддерживающими колесами» – чего так хорошо демонстрируют диаграммы L2Beat ниже.

Немногие роллапы имеют престижное обозначение Этапа 2, но Arbitrum активно движется к становлению первым заметным в этом направлении! В начале августа Offchain Labs (команда, разрабатывающая Arbitrum) объявила о новой схеме валидации без разрешений для сети – Ограниченная Задержка Ликвидности (Bounded Liquidity Delay, BOLD), которая укрепляет ее протокол споров против типа атаки, известной как «атака задержки».

Каждый L2 снимает свои поддерживающие колеса с разной скоростью, и сегодня мы рассматриваем путь, который ждет пять самых крупных универсальных L2 Ethereum, поскольку они стараются устранить централизованные рисковые факторы из своих роллапов в погоне за уклончивым обозначением Этапа 2!

Arbitrum One

Стадия риска: 1

Тип: Оптимистичный

TVL: $5,41B

Arbitrum One успешно снизил риски централизации больше, чем любая другая цепь в этом списке! Если ArbitrumDAO решит применить BOLD к One, цепь сделает сегмент проверки состояния зеленым, но для перехода на Этап 2 вся диаграмма рисков должна стать зеленой.

Для обновления возможности модернизации необходимо внести два изменения. Во-первых, задержка внедрения для обновлений, инициированных управлением, должна быть увеличена с 12 до 30 дней. Во-вторых, никакой участник не должен иметь возможность немедленно обновить код Arbitrum, если нет доказуемых ошибок.

Главное поддерживающее колесо, Совет безопасности Arbitrum, прямо избирается DAO и имеет возможность обходить управление для внедрения обновлений без задержки. Несмотря на все усилия Arbitrum One по снижению рисков централизации, безопасность ваших активов в цепи зависит от честности этой всевластной мультисигмы 9 из 12!

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

Это дополнительно усилит безопасность Arbitrum One для пользователей и гарантирует, что (в случае отсутствия ошибок) участники не смогут публиковать корни состояния, которые переопределяют систему доказательства роллапа.

Optimism

Стадия риска: 0

Тип: Оптимистичный

TVL: $2,67B

Обыденные наблюдатели криптовалют часто предполагают, что у Arbitrum и Optimism похожие гарантии безопасности, так как оба называют себя оптимистическими роллапами. Но те, кто заботится о безопасности, знают, что это далеко от истины!

На Optimism доказательства мошенничества (fraud proofs), инструмент, используемый для оспаривания неверной информации, размещенной секвенсером сети на Ethereum, не функционируют.

 Нет способа оспорить неверный корень состояния, и пользователям приходится слепо верить, что предлагающий блок отправляет правильный!

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

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

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

Планируется, что Фонд Optimism передаст контроль над мультисигом совету безопасности, состоящему из членов сообщества, в 2024 году, что поможет децентрализовать контроль над ключами цепи.

Помимо внедрения доказательств мошенничества, Optimism потребуется блокировка возможности обновления на срок не менее 7 дней, чтобы стать роллапом Этапа 1.

zkSync Era

Стадия риска: 0

Тип: Zero-Knowledge

TVL: $399M

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

zkSync создает очередь для транзакций, отправленных на L1, которые должен обработать секвенсер, чтобы снизить риски цензуры. Хотя это не гарантирует включение транзакции, это означает, что если секвенсер применяет цензуру или не работает для отдельного пользователя, то он не работает для всех.

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

Каждое обновление состояния роллапа с доказательством нулевого знания сопровождается доказательством нулевого знания (ZKP), которое гарантирует, что новое состояние было получено правильно; это волшебство ZKP, но это означает, что единственный способ включить транзакцию — включить ее в сгенерированное доказательство! Усиление децентрализации на zkSync потребует, чтобы любой мог создавать доказательства, не обращаясь к централизованному оператору роллапа.

Подобно своим оптимистичным аналогам Arbitrum и Optimism, zkSync потребуется внедрить временные блокировки обновления и ограничения на мультисиг, чтобы снизить риск, представляемый обновляемостью.