Bankless. Децентрализация L2
Где наиболее популярные L2 Ethereum еще нуждаются в усовершенствовании?
Объем инноваций, исходящих от сектора L2 в настоящее время, действительно поразителен, но современным популярным сетям 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 потребуется внедрить временные блокировки обновления и ограничения на мультисиг, чтобы снизить риск, представляемый обновляемостью.
🔵 Base
Стадия риска: 0 Тип: Оптимистичный TVL: $246M
Заметили, что диаграммы рисков для Optimism и Base выглядят одинаково?
Это потому, что обе они построены на одних и тех же блокчейн-лего: OP Stack! Вместо разработки собственного решения, Coinbase решил разработать свой L2 на основе модульной рамки роллапа Optimism.
Движение к децентрализации позволит Coinbase усилить гарантии безопасности для пользователей, что означает, что Base, вероятно, будет следовать похожему пути безопасности, как и Optimism, внедряя инновации OP Stack, такие как доказательства мошенничества или доказательства с нулевым знанием, по мере их появления.
✨ Starknet
Стадия риска: 0
Тип: Zero-Knowledge
TVL: $110M
Роллапы с доказательствами с нулевым знанием сталкиваются с другим набором проблем по сравнению с их оптимистичными аналогами. Хотя ZKP гарантируют, что каждый корневой элемент состояния, отправляемый в Ethereum, является корректным, и позволяют сегменту проверки состояния стать зеленым, роллапы с нулевым знанием сталкиваются со своими проблемами, чтобы минимизировать риски сбоя секвенсера или предлагателя (proposer).
Предоставление "запасных выходов" для пользователей жизненно важно для усиления доверительной природы Starknet. Это можно достичь, позволив пользователям принуждать транзакции или выводы на L1 в случае сбоя секвенсера или доказательства. В настоящее время у Starknet нет активированных запасных выходов, но включение хотя бы одного существенно уменьшит зависимость пользователей от централизованных операторов роллапа.
Заставление сети принимать транзакции создает возможность для атаки типа "отказ в обслуживании", если злонамеренный злоумышленник заставит сеть пытаться принять недействительную транзакцию. Реализация сначала потребует, чтобы доказательства могли быть сгенерированы без обращения к доказателю (prover) StarkWare и чтобы все транзакции на Starknet были доказуемы.
В качестве альтернативы Starknet может выбрать решение моста, названное "Приложительный запасной выход". Это решение может быть реализовано уже сегодня, но это повлечет за собой ухудшение простоты сети, так как потребует внедрения реестра аккаунтов Ethereum-to-Starknet и механизма передачи контроля над активами в L2 смарт-контракту роллапа на L1.
Как и все перечисленные выше сети, Starknet должен будет внедрить блокировки времени обновления и ограничения на мультисиг, чтобы уменьшить риск, связанный с обновляемостью.
Starknet полностью откроет исходный код своего доказателя к 31 августа, команда говорит, что это поможет снизить риски сбоя секвенсера или предлагателя, позволяя пользователям предоставлять свои собственные доказательства.
ДЕФИРОГАН #38. 0xResearch - THORChain