Еволюція трьох стадій безпеки мережі Ethereum L2: від частки управління до системи доказів

Безпека мережі Ethereum L2 можна розділити на три етапи, які в основному залежать від ступеня контролю комітету з безпеки над бездостовірними компонентами:

1. Етап 0: Комітет з безпеки має повний контроль. Навіть за наявності системи доказів, Комітет з безпеки все ще може скасувати її результати простим більшістю голосів.

2. Етап 1: Потрібно, щоб понад 75% членів комітету безпеки схвалили, щоб замінити систему управління. Потрібно, щоб принаймні одна особа, незалежна від основної організації, заблокувала підмножину.

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

Ці три етапи відображають поступове зниження ваги голосу Комітету з безпеки. Найкращий час для переходу з одного етапу на наступний залежить від рівня впевненості в надійності системи доказів.

За допомогою спрощеної математичної моделі ми можемо кількісно оцінити безпеку на різних етапах. Припустимо, що ймовірність незалежного збою кожного члена комісії з безпеки становить 10%, ми можемо розрахувати ймовірність краху системи на різних етапах. Результати показують, що з підвищенням якості системи доказів оптимальний вибір переходить з етапу 0 на етап 1, а потім на етап 2.

Однак, ця спрощена модель ігнорує деякі реальні фактори:

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

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

З математичної точки зору, існування етапу 1, здається, важко довести його доцільність. Одним із рішень є надання окремим членам комітету з безпеки повноважень затримувати виведення коштів, щоб у разі надзвичайної ситуації було достатньо часу для дій.

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

Отже, еволюція безпеки L2 мереж є складним процесом, який потребує знаходження балансу між механізмами управління та технічним виконанням. З постійним удосконаленням систем доказів, мережі L2 мають можливість поступово досягати вищого рівня децентралізації та безпеки.