Перейти к содержанию
Financial Context Wiki

Сети уровня 2

Руководство для конкретного развертывания: исполнение уровня 2, доступность данных, проверка состояния, расчет, финальность, секвенсоры, управление, мосты, комиссии и исполнимые пути выхода.

Обновлено

Только в образовательных целях; не является инвестиционным советом или инвестиционной рекомендацией. Инвестиции могут привести к убыткам.

Краткий ответ

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

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

Как это работает

  1. Зафиксируйте идентичность системы: chain ID L1 и L2, genesis и fork, стек и версию роллапа, расчетные и мостовые контракты, реализации прокси, тип доказательства или игры, режим доступности данных, секвенсор и ссылки на блоки. Считайте название сайта и термин L2 данными для поиска, а не аутентификацией.
  2. Классифицируйте архитектуру по отдельным осям. Запишите среду исполнения, модель упорядочивания, механизм проверки состояния, место хранения данных, расчетную цепь и путь хранения активов. Оптимистические роллапы, роллапы с доказательством корректности, validium, каналы и сайдчейны сочетают эти оси по-разному; совместимость среды исполнения с EVM не уравнивает их безопасность.
  3. Восстановите конвейер состояния. Проследите отправку пользователем, упорядочивание секвенсором, исполнение L2, кодирование пакета, публикацию данных, обязательство состояния, оспаривание доказательством ошибки или проверку доказательства корректности, включение в L1 и финальность L1. Убедитесь, что независимое ПО может вывести заявленное состояние L2 из определенных протоколом входных данных.
  4. Разделяйте доступность и работоспособность. Определите, находятся ли данные в calldata или blobs L1, внешней системе DA либо у комитета; установите предположения о хранении и восстановлении. Проверьте отказ секвенсора, принудительное включение, альтернативную отправку, отказ предлагающего состояние или prover, доставку сообщений и точный аварийный или обычный путь вывода.
  5. Разделяйте часы и метки статуса. Подтвержденный секвенсором или небезопасный блок может предшествовать публикации данных; безопасный блок — финальности L1; принятие доказательства, разрешение спора, созревание вывода и выпуск мостом могут добавлять независимые барьеры. Используйте определения конкретного развертывания, а не универсальное число подтверждений или правило семи дней.
  6. Составьте карту контроля и экономики. Изучите администраторов прокси, задержки обновлений, полномочия совета безопасности и guardian, состояние паузы, коэффициенты комиссий, газовый актив, емкость пакета и получателей комиссий. Ведите отдельные реестры исполнения L2, публикации в L1 или DA, сборов оператора и моста, газа назначения и стоимости ожидания; котировка не гарантирует исполнение.
  7. Сверьте пользовательский результат. Проверьте точный контракт и представление токена, списание в источнике, зачисление в назначении, статус квитанции, корни состояния и сообщений, хеши безопасного и финального блоков, оставшиеся разрешения и исполнимый путь погашения или рыночного выхода. После каждого обновления проверяйте конфигурацию снова и не выводите безопасность моста из системы доказательств роллапа.

Примеры расчета

  • Экономика пакета. Пакет содержит 2,000 транзакций со средним размером 160 bytes после сжатия плюс 20,000 bytes постоянного оформления, итого 340,000 bytes. При $0.00002/byte данные стоят $6.80; добавление $4.00 постоянной стоимости доказательства и расчета дает $10.80, или $0.0054/transaction. При всего 200 транзакциях те же предположения дают 52,000 bytes, $1.04 за данные и $5.04 всего, или $0.0252/transaction. Пакетирование снижает среднюю стоимость только при заданных размерах, загрузке и комиссиях.
  • Емкость и фактическая пропускная способность. Гипотетический L2 допускает 60,000,000 gas каждые 2 seconds, то есть 30,000,000 gas/second. При 120,000 gas на пользовательскую операцию механический предел равен 250 operations/second; при фактической загрузке 72% — 180 operations/second. Это не финальность, децентрализация или сквозная пропускная способность; первыми могут ограничить данные, доказательства или секвенсор.
  • Три часа статуса и барьер вывода. В учебной временной шкале OP-типа транзакция подтверждена секвенсором в 12:00 UTC, пакет становится безопасным после публикации в L1 в 12:07, а содержащий его блок L1 финализируется в 12:20. Если вывод через мост доказан в 14:00 и имеет условный срок созревания 7-day, самое раннее высвобождение произойдет через неделю в 14:00 при соблюдении условий игры, паузы и L1. Финальность транзакции L2 в 12:20 не совпадает с высвобождением мостом.
  • Исполнимая стоимость после моста. Пользователь вносит 1,000 USDC; комиссия протокола 2 USDC оставляет 998 USDC на L2, а газ источника отдельно стоит $7.50. У полученного токена исполнимая цена покупки $0.995, влияние на цену 0.20%, газ выхода $3, поэтому чистая стоимость выхода равна 998 * 0.995 * (1 - 0.002) - 3 = $988.02398. Относительно $1,000 дефицит составляет $11.97602, или 1.197602%; помимо ярлыка L2 важны идентичность токена, требование к мосту и ликвидность.

Риски

  • Неверные L1, L2, chain ID, развертывание, fork или версия протокола.
  • Принятие маркетингового ярлыка L2 за стандартную классификацию безопасности.
  • Смешение сайдчейна, validium, канала или кастодиального реестра с роллапом.
  • Поддельные RPC, обозреватель, мост, токен или адрес контракта.
  • Цензура, противоречивые ответы, отказ или злоупотребление приватным порядком секвенсора.
  • Отсутствующие или задержанные данные пакета и вывода состояния.
  • Сокрытие данных, отказ или сговор внешней DA-системы либо комитета.
  • Неверное обязательство состояния или ошибка доказательства, игры либо verifier.
  • Отказ работоспособности proposer, prover, challenger или relayer.
  • Перегрузка, цензура, реорганизация или задержка финальности L1.
  • Смешение небезопасного, безопасного, финального, доказанного и выводимого состояний.
  • Приостановленный, дорогой или непригодный путь принудительного включения либо выхода.
  • Немедленное обновление прокси или недостаточное окно выхода пользователя.
  • Компрометация ключей администратора, guardian или совета безопасности.
  • Ошибка эскроу моста, сопоставления токена, decimals или представления.
  • Пропуск данных, исполнения, оператора, моста или газа назначения в котировке.
  • Дефицит емкости, лимитов, ликвидности или газового актива.
  • Принятие EVM-совместимости за одинаковые opcode, precompile или правила безопасности.
  • Сообщения между L2, объединяющие более слабую финальность, мост или зависимости.
  • Принятие успеха кошелька, высокого TPS или низких комиссий за безопасность и экономическую финальность.

Распространенные заблуждения

  • Любая сеть с названием Layer 2 полностью наследует безопасность Ethereum.
  • Подтверждение секвенсора равно финальности, обеспеченной L1.
  • Доказательства корректности или ошибки автоматически решают DA и цензуру.
  • Система доказательств роллапа гарантирует каждый мостовой токен и приложение.
  • Низкие комиссии или высокий TPS доказывают децентрализацию, платежеспособность и исполнимый выход.

Похожие темы

Источники

Навигация

Поиск по вики...