Инвентарь пяти лидеров на треке Ethereum L2

Источник: Bankless, составлено: BitpushNews Мэри Лю

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

В то время как каждый Rollup стремится к полному доверию, все оптимистические решения масштабирования с нулевым разглашением (ZK) на Ethereum в настоящее время полагаются на ту или иную форму «обучающих колес».

Виталик (V God) предоставляет отличную основу, помогающую пользователям накопительных пакетов понять, что они доверяют централизованным субъектам или прозрачному коду. Конечная цель безопасности объединения — достичь этапа 2, который требует полного избавления от «тренировочных колес», упомянутых в статье Виталика — диаграмма L2Beat ниже прекрасно резюмирует это.

Лишь немногие Rollups достигли Стадии 2, как это определил Виталик, но Arbitrum делает шаги к тому, чтобы стать первым заметным. В начале августа Offchain Labs (команда, создавшая Arbitrum) объявила о новой схеме проверки без разрешения — Delayed Bounded Liquidity (BOLD), которая усиливает ее спорный протокол против атаки «отказ в обслуживании».

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

Решение первое

Стадия риска: 1 Тип: Оптимистичный TVL (общая заблокированная стоимость): 5,41 миллиарда долларов США

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

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

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

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

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

Оптимизм

Стадия риска: 0 Тип: Оптимистичный

ТВЛ: 2,67 миллиарда долларов

Крипто-наблюдатели обычно считают, что Arbitrum и Optimism имеют одинаковые гарантии безопасности, поскольку оба используют оптимистичные объединения. Пользователи, заботящиеся о безопасности, знают, что это далеко от истины!

С оптимистической точки зрения, доказательства мошенничества (инструменты, используемые для проверки неверной информации, предоставленной заказчиком цепочки Ethereum) не работают. Невозможно оспорить неправильный stateRoot, пользователи должны слепо доверять тому, что инициатор блока предоставил правильный stateRoot.

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

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

Альтернативно, Оптимизм может стать объединением с нулевым разглашением, реализуя доказательства достоверности. Буквально в прошлом месяце Фонд Оптимизма заключил контракты с двумя командами на разработку модулей доказательства с нулевым разглашением для OP Stack.

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

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

Эра zkSync

Стадия риска: 0 Тип: Нулевое знание (ЗК) ТВЛ: 399 миллионов долларов

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

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

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

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

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

База

Стадия риска: 0 Тип: Оптимистический

TVL: 246 миллионов долларов США

Обратите внимание, что графики риска для Оптимизма и Базы выглядят одинаково?

Это потому, что все они построены из одного и того же кирпича Lego блокчейна: стека OP. Вместо создания индивидуального решения Coinbase решила разработать L2 поверх модульной структуры объединения Optimism.

Достижения в области децентрализации позволят Coinbase усилить гарантии безопасности для пользователей, а это означает, что Base может следовать тому же пути безопасности, что и Optimism, внедряя инновации OP Stack, такие как мошенничество или доказательства с нулевым разглашением (когда они станут доступны).

Старкнет

Стадия риска: 0 Тип: Нулевое знание ТВЛ: 110 миллионов долларов

Объединение с нулевым разглашением сталкивается с другим набором проблем, чем его оптимистические аналоги. В то время как ZKP гарантируют, что каждый корень состояния, опубликованный в Ethereum, является правильным и позволяет проверке состояния быть частично «зеленой», накопительные пакеты с нулевым разглашением сталкиваются со своими собственными проблемами в снижении риска сбоя заказчика или предлагающего.

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

Принуждение сети к принятию транзакций открывает возможности для атак типа «отказ в обслуживании», если злоумышленник заставляет сеть попытаться принять недействительные транзакции. Реализация сначала требует создания доказательств без прохождения проверяющего устройства StarkWare, а также того, чтобы все транзакции в Starknet могли быть подтверждены.

В качестве альтернативы Starknet может выбрать связующее решение, известное как «аварийный люк приложения». Это решение может быть реализовано сегодня, но за счет простоты сети, поскольку оно требует внедрения реестра учетных записей Ethereum-Starknet и механизма передачи контроля над активами на уровне L2 смарт-контрактам уровня L1.

Как и все сети, перечисленные выше, Starknet необходимо внедрить блокировки времени обновления и ограничения на мультиподпись, чтобы снизить риск возможности обновления.

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