Аналіз трьох етапів розвитку безпеки мережі Ethereum L2
Безпека розвитку мережі Ethereum L2 може бути розділена на три етапи, що стосується не лише стабільної роботи основної мережі Ethereum та мережі L2, а й відображає реальний стан розвитку мережі L2. Нещодавно спільнота Ethereum обговорила стандарти другого етапу мережі L2, запропонувавши концепцію "#BattleTested". Співзасновник Ethereum Віталік Бутерін детально виклав свої думки з цього приводу.
Три етапи безпеки мережі L2
Розвиток безпеки мережі Ethereum L2 можна поділити залежно від ступеня контролю комітету безпеки над компонентами, що не потребують довіри:
Етап 0: Безпекова рада має повний контроль. Хоча може існувати система доказів, але безпекова рада може простою більшістю її відхилити.
Етап 1: Безпековий комітет потребує схвалення більше 75% для того, щоб накласти вето на роботу системи. Має бути певна кількість зовнішніх членів, які беруть участь у прийнятті рішень, щоб підвищити складність контролю.
Етап 2: Комітет з безпеки може діяти лише у випадках, коли це можна довести, наприклад, коли два резервних системи доказів суперечать одна одній.
Найкращий час для переходу до безпечної стадії
Найкращий час для переходу з одного етапу на інший залежить від рівня довіри до системи доказів. Чим більше ви довіряєте системі доказів, тим більшою є схильність переходити до вищого етапу.
За допомогою спрощеної математичної моделі ми можемо кількісно оцінити це:
Припустимо, що ймовірність незалежної несправності кожного члена комісії з безпеки становить 10%
Ймовірність активних відмов і відмов безпеки однакова
Стандарти прийняття рішень безпекового комітету для етапу 0 та етапу 1 складають відповідно 4/7 та 6/8
Існує єдина система підтвердження
За цих припущень ми можемо обчислити ймовірність краху різних етапів L2 мережі. Результати показують, що з підвищенням якості системи доказів оптимальний етап переходить з 0 на 1, а потім на 2.
Обмеження моделі та реалістичні міркування
Вищезгадана спрощена модель має деякі обмеження:
Члени комітету з безпеки не є повністю незалежними, можуть існувати спільні моделі відмов.
Система доказів може складатися з кількох незалежних систем, що знижує ймовірність збоїв.
Ці фактори роблять етап 1 і етап 2 привабливішими, ніж передбачалось моделлю.
З математичної точки зору, етап 1, здається, не є обов'язковим, і можна безпосередньо перейти з етапу 0 до етапу 2. Але враховуючи ефективність прийняття рішень у надзвичайних ситуаціях, можна надати окремим членам комітету безпеки повноваження на короткочасну затримку виведення коштів, щоб інші члени мали час для дій.
Однак, занадто ранній перехід до етапу 2 також несе ризики, особливо якщо буде пожертвувано роботою над зміцненням основної системи доказів. В ідеалі повинні бути незалежні постачальники даних, які демонструють аудит системи доказів та показники зрілості, а також вказують на поточний етап.
В цілому, безпечний розвиток L2 мережі є поступовим процесом, який потребує знаходження балансу між різними етапами, при цьому постійно зміцнюючи базові технології.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
11 лайків
Нагородити
11
4
Поділіться
Прокоментувати
0/400
GateUser-cff9c776
· 08-04 23:36
Безпека L2 Шредінгера, справді, є мистецтвом.
Переглянути оригіналвідповісти на0
OnchainSniper
· 08-04 23:23
цінні інсайти来咯
Переглянути оригіналвідповісти на0
BridgeTrustFund
· 08-04 23:20
Менше слів, краще! Три стадії не зрівняються з однією зростанням!
Аналіз трьох етапів безпечного розвитку мережі Ethereum L2 та оптимальний час для переходу
Аналіз трьох етапів розвитку безпеки мережі Ethereum L2
Безпека розвитку мережі Ethereum L2 може бути розділена на три етапи, що стосується не лише стабільної роботи основної мережі Ethereum та мережі L2, а й відображає реальний стан розвитку мережі L2. Нещодавно спільнота Ethereum обговорила стандарти другого етапу мережі L2, запропонувавши концепцію "#BattleTested". Співзасновник Ethereum Віталік Бутерін детально виклав свої думки з цього приводу.
Три етапи безпеки мережі L2
Розвиток безпеки мережі Ethereum L2 можна поділити залежно від ступеня контролю комітету безпеки над компонентами, що не потребують довіри:
Етап 0: Безпекова рада має повний контроль. Хоча може існувати система доказів, але безпекова рада може простою більшістю її відхилити.
Етап 1: Безпековий комітет потребує схвалення більше 75% для того, щоб накласти вето на роботу системи. Має бути певна кількість зовнішніх членів, які беруть участь у прийнятті рішень, щоб підвищити складність контролю.
Етап 2: Комітет з безпеки може діяти лише у випадках, коли це можна довести, наприклад, коли два резервних системи доказів суперечать одна одній.
Найкращий час для переходу до безпечної стадії
Найкращий час для переходу з одного етапу на інший залежить від рівня довіри до системи доказів. Чим більше ви довіряєте системі доказів, тим більшою є схильність переходити до вищого етапу.
За допомогою спрощеної математичної моделі ми можемо кількісно оцінити це:
За цих припущень ми можемо обчислити ймовірність краху різних етапів L2 мережі. Результати показують, що з підвищенням якості системи доказів оптимальний етап переходить з 0 на 1, а потім на 2.
Обмеження моделі та реалістичні міркування
Вищезгадана спрощена модель має деякі обмеження:
Члени комітету з безпеки не є повністю незалежними, можуть існувати спільні моделі відмов.
Система доказів може складатися з кількох незалежних систем, що знижує ймовірність збоїв.
Ці фактори роблять етап 1 і етап 2 привабливішими, ніж передбачалось моделлю.
З математичної точки зору, етап 1, здається, не є обов'язковим, і можна безпосередньо перейти з етапу 0 до етапу 2. Але враховуючи ефективність прийняття рішень у надзвичайних ситуаціях, можна надати окремим членам комітету безпеки повноваження на короткочасну затримку виведення коштів, щоб інші члени мали час для дій.
Однак, занадто ранній перехід до етапу 2 також несе ризики, особливо якщо буде пожертвувано роботою над зміцненням основної системи доказів. В ідеалі повинні бути незалежні постачальники даних, які демонструють аудит системи доказів та показники зрілості, а також вказують на поточний етап.
В цілому, безпечний розвиток L2 мережі є поступовим процесом, який потребує знаходження балансу між різними етапами, при цьому постійно зміцнюючи базові технології.