Три етапи безпеки мережі L2: від системи доведення до Децентралізації управління

Безпека мережі Ethereum L2 завжди була в центрі уваги спільноти. Нещодавно було запропоновано стандарт "Бойового тестування" (Battle Tested) для оцінки зрілості мережі L2, що викликало обговорення щодо етапів безпеки L2. Співзасновник Ethereum Віталік Бутерін провів глибокий аналіз цього питання, пояснюючи три етапи безпеки мережі L2 та їх логіку розвитку.

Три етапи безпеки мережі L2

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

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

2. Етап 1: Безпековій раді потрібно 75% і більше схвалення для покриття системи доказів, і має бути залучено певну кількість зовнішніх учасників.

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

Ці три етапи відображають поступовий процес від централізованого контролю до Децентралізації, при цьому "виборча частка" безпекового комітету поступово зменшується.

Аналіз математичної моделі вибору оптимальної стадії

Віталік запропонував спрощену математичну модель для кількісної оцінки безпеки на різних етапах. Ця модель базується на таких припущеннях:

• Кожен член комітету безпеки має 10% незалежної ймовірності відмови
• Ймовірність активних відмов і відмов безпеки рівна
• Етапи 0 і 1 відповідно використовують механізм прийняття рішень на основі більшості 4/7 та 6/8
• Існує єдина система доказів

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

Розгляд у реальних застосуваннях

Віталік зазначив, що припущення спрощеної моделі не зовсім відповідають реальності. В реальності, члени комітету з безпеки можуть мати "спільний режим збоїв", а система доказів може складатися з кількох незалежних систем. Ці фактори роблять етап 1 і етап 2 більш привабливими, ніж прогнозує модель.

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

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

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