L2 Ağ Güvenliği Aşama Bölümü: Teoriden Pratiğe

Ethereum ölçeklenme çözümleri içinde, L2 ağlarının güvenliği her zaman endüstrinin odak noktası olmuştur. Son zamanlarda, topluluk L2 ağ güvenliğinin üç aşaması üzerinde derinlemesine tartışmalar yapmıştır; bu sadece Ethereum ana ağının ve L2 ağlarının istikrarlı çalışmasıyla ilgili değil, aynı zamanda L2 ağlarının gerçek gelişim durumu ile de yakından ilişkilidir.

Topluluk üyeleri, L2 ağı Stage 2 aşaması için #BattleTested isim etiketinin önerildiğini belirtmişlerdir. Yalnızca aşağıdaki koşulları karşılayan L2 ağlarının bu unvanı alabileceğini düşünmektedirler:

1. Kod ve yapılandırma, Ethereum ana ağında 6 aydan fazla süredir çevrimiçi.
2. Toplam kilitli değer ( TVL ) sürekli olarak 100 milyon doların üzerinde kalmaktadır.
3. En az 50 milyon dolar değerinde ETH ve ana stabilcoinlerden biri.

Bu unvan, "on-chain hayaletler" fenomeninin ortaya çıkmasını önlemek için dinamik bir değerlendirme mekanizması kullanmaktadır.

Bu konuda, Ethereum'un kurucularından biri ayrıntılı bir yanıt ve görüş paylaşımı yaptı. L2 ağının güvenliğini, güvenlik komitesinin güvenilmez bileşenlerin kapsama düzeyine dayalı olarak üç aşamaya ayırdı:

• Aşama 0: Güvenlik Komitesi tam kontrol hakkına sahiptir. Kanıt sistemi yalnızca danışmanlık niteliğindedir.
• Aşama 1: Çalışma sisteminin kapatılması için güvenlik komitesinin %75'inden fazlasının onayı gereklidir.
• Aşama 2: Güvenlik Komitesi yalnızca kanıtlanmış hatalar durumunda harekete geçebilir.

Bu üç aşama, Güvenlik Komitesi'nin "oy payı" ile temsil edilebilir. Anahtar soru, L2 ağının bir aşamadan diğerine geçişinin en iyi zamanıdır.

Aşama 2'ye hemen geçmemenin tek mantıklı nedeni, kanıt sistemine tam güven eksikliğidir. Kanıt sistemine olan güveniniz ( veya güvenlik komitesine olan güven eksikliğiniz ) arttıkça, ağı bir sonraki aşamaya geçirmeye daha fazla eğilimli olursunuz.

Basitleştirilmiş matematiksel model üzerinden bunu nicelleştirebiliriz. Varsayılan koşullar şunlardır:

• Her güvenlik komitesi üyesinin %10 ayrı arıza olasılığı vardır.
• Aktiflik hatası ve güvenlik hatası olasılıkları eşittir
• Aşama 0 ve Aşama 1'in güvenlik komitesi belirleme standartları sırasıyla 4/7 ve 6/8'dir.
• Tek bir bütünlük kanıtı sistemi vardır

Bu varsayımlar altında, sistem çöküşünün belirli bir olasılığını kanıtlamayı düşünerek, L2 ağının çökme olasılığını en aza indirmek istiyoruz.

İkili dağılım kullanarak hesaplanır:

• Aşama 0 entegrasyon sisteminin %0.2728 sabit başarısızlık olasılığı vardır.
• Aşama 1'in başarısızlık olasılığı, kanıt sistemi başarısızlık oranı ve güvenlik komitesinin başarısızlık durumuna bağlıdır.
• Aşama 2 başarısızlık olasılığı, kanıtlama sisteminin başarısızlık olasılığı ile aynıdır

Sonuçlar, kanıt sisteminin kalitesinin artmasıyla birlikte en iyi aşamanın 0'dan 1'e, ardından 1'den 2'ye geçtiğini göstermektedir. Aşama 2 ağ çalışması için aşama 0 kalitesinde bir kanıt sistemi kullanmak en kötü sonuçtur.

Ancak, bu basitleştirilmiş modelin sınırlamaları vardır:

1. Gerçek hayatta güvenlik komitesi üyeleri tamamen bağımsız değildir, "ortak mod arızası" olabilir.
2. Kanıt sistemi birden fazla bağımsız sistemin bir araya gelmesiyle oluşabilir.

Bu iki nokta, aşama 1 ve aşama 2'nin aslında modelin gösterdiğinden daha cazip olduğunu ortaya koyuyor.

Matematik açısından bakıldığında, aşama 1'in varlığının makul olduğunu kanıtlamak zor görünüyor, doğrudan aşama 2'ye geçilmesi gerektiği düşünülüyor. Ancak, ortaya çıkabilecek kritik hataları göz önünde bulundurarak, herhangi bir güvenlik komitesi üyesine çekim işlemlerini 1-2 hafta erteleme yetkisi verilmesi önerilmektedir, böylece diğer üyelerin düzeltici önlemler almak için yeterli zamanı olur.

Aynı zamanda, aşama 2'ye çok erken geçmek de hatalı olabilir, özellikle de temel kanıt sistemini güçlendirme pahasına. İdeal olarak, veri sağlayıcıları kanıt sisteminin denetimi ve olgunluk göstergelerini sergilemeli ve bulundukları aşamayı da göstermelidir.

Sonuç olarak, L2 ağ güvenliği aşamalarının belirlenmesi ve geçişi birçok faktörün dikkate alınmasını gerektirir; hem teorik modelleri göz önünde bulundurmak, hem de pratik durumu dikkate almak gerekir, böylece ağın istikrarlı ve güvenli bir şekilde çalışmasını sağlanır.