Три этапа безопасности L2 сети: эволюция от нуля до двух

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

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

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

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

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

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

Три этих этапа можно представить с помощью "доля голосования" Совета по безопасности:

Этап 0: Комитет по безопасности имеет 100% контроль Этап 1: Безопасному комитету необходимо 75% большинства Этап 2: Комитет по безопасности вмешивается ограниченно только в случае наличия доказуемой ошибки.

Лучшее время для перехода этапов

Лучшее время для перехода L2 сети из одной стадии в следующую зависит от уровня доверия к системе доказательства. Единственной разумной причиной, по которой не следует немедленно переходить ко второй стадии, является наличие сомнений в системе доказательства. Чем больше уверенности в системе доказательства, тем больше следует продвигать сеть к более высоким стадиям.

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

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

• У каждого члена комитета по безопасности есть 10% вероятность независимого сбоя
• Этап 0 требует большинства 4/7, этап 1 требует большинства 6/8
• Существует система доказательства целого

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

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

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

• Члены комитетов по безопасности могут иметь общие сбои в работе.
• Система доказательств может состоять из нескольких независимых систем

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

Заключение

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

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

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