Три этапа безопасности сети L2: от теории к практике

Безопасность L2 сетей в экосистеме Ethereum всегда была предметом пристального внимания. В последнее время члены сообщества провели глубокое обсуждение этапов развития L2 сетей, что вызвало ответ и анализ соучредителей Ethereum. В данной статье будет подробно рассмотрено три важных этапа безопасности L2 сетей и их пути развития.

Три этапа безопасности сети L2

Безопасность Ethereum rollup можно разделить на три этапа в зависимости от степени контроля комитета безопасности над доверенными компонентами:

1. Этап 0: Безопасный комитет обладает полным контролем. Хотя может существовать система доказательства, безопасный комитет может отменить ее простым большинством голосов.

2. Этап 1: Для того чтобы изменить работу системы, необходимо одобрение более 75% членов Совета безопасности. Должно быть определенное количество членов вне основной организации, чтобы увеличить сложность контроля.

3. Этап 2: Комитет по безопасности может действовать только в случае доказанной ошибки, например, когда два резервных доказательных системы противоречат друг другу.

Эти три этапа отражают постепенное снижение "доля голосования" со стороны Комитета по безопасности, что свидетельствует о постепенном повышении безопасности сети L2.

Лучшее время для перехода на следующий этап

Каковы лучшие сроки для перехода от этапа 0 к этапу 1 и от этапа 1 к этапу 2? Это зависит от уровня доверия к системе доказательства. Единственной разумной причиной, по которой не следует сразу переходить к этапу 2, является беспокойство о системе доказательства. Система доказательства состоит из большого количества кода, потенциальные уязвимости которого могут привести к краже активов пользователей. Чем выше доверие к системе доказательства или чем ниже доверие к комитету безопасности, тем больше следует продвигать сеть к более высокому этапу.

Анализ математических моделей

С помощью упрощенной математической модели мы можем количественно оценить безопасность на различных этапах. Предположим:

• Каждый член совета безопасности имеет 10% вероятность независимого сбоя
• Вероятность активных и безопасностных сбоев равна
• Критерии оценки Комитета по безопасности для этапов 0 и 1 составляют соответственно 4/7 и 6/8
• Существует единая система доказательства

При этих предположениях мы можем рассчитать вероятность краха L2 сети на разных этапах. Результаты показывают, что с повышением качества системы доказательств оптимальная стадия изменяется с 0 на 1, а затем на 2. Использование систем доказательства низкого качества для работы на этапе 2 является наихудшим выбором.

Реальные соображения

Однако предположения упрощенной модели не полностью соответствуют реальности:

1. Члены Комитета по безопасности не являются полностью независимыми, могут существовать общие режимы сбоев.
2. Система доказательства может состоять из нескольких независимых систем, что снижает вероятность сбоев.

Эти факторы сделали этапы 1 и 2 более привлекательными, чем предсказывал модель.

Заключение и рекомендации

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

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

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