Три етапи безпеки мережі L2: від теорії до практики

У екосистемі Ethereum безпека мереж L2 завжди була предметом значної уваги. Нещодавно члени спільноти провели глибоке обговорення стадій розвитку мереж 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 здається не завжди обґрунтованим. Проте, занадто ранній перехід до етапу 2 також може бути помилковим, особливо якщо це призводить до жертвування роботою над зміцненням базової системи доказів.

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

З розвитком екосистеми L2 балансування безпеки та ефективності залишатиметься ключовим викликом. Глибоке розуміння цих етапів та їхньої логіки переходу може вказати шлях для майбутнього розвитку рішень зі збільшення масштабу Ethereum.