L2 Ağı Güvenliği Evrimi: Tam Kontrolden Kanıtlanabilir Hatalara

robot
Abstract generation in progress

L2 Ağ Güvenliğinin Üç Aşaması: Teoriden Pratiğe

Ethereum ekosisteminde, L2 ağlarının güvenliği her zaman dikkat çekici bir konu olmuştur. Son zamanlarda, topluluk üyeleri L2 ağlarının gelişim aşamasını derinlemesine tartışmış ve bu durum Ethereum'un kurucu ortaklarından yanıt ve analiz almıştır. Bu makalede, L2 ağlarının güvenliğinin üç önemli aşaması ve gelişim yolları detaylı bir şekilde ele alınacaktır.

L2 ağ güvenliğinin üç aşaması

Ethereum rollup'larının güvenliği, güvenlik komitesinin güvenilir olmayan bileşenler üzerindeki kontrol düzeyine göre üç aşamaya ayrılabilir:

  1. Aşama 0: Güvenlik Komitesi tam kontrol hakkına sahiptir. Bir kanıt sistemi mevcut olsa da, güvenlik komitesi basit bir çoğunluk oyu ile bunu geçersiz kılabilir.

  2. Aşama 1: Güvenlik Komitesinin, işletim sistemini kapatmak için %75'in üzerinde bir üye onayı alması gerekmektedir. Kontrol zorluğunu artırmak için ana organizasyon dışında belirli sayıda üye bulunmalıdır.

  3. Aşama 2: Güvenlik Komitesi yalnızca kanıtlanabilir hatalar durumunda harekete geçebilir, örneğin iki yedekleme doğrulama sistemi birbiriyle çeliştiğinde.

Bu üç aşama, Güvenlik Komitesinin kademeli olarak azalttığı "oy payını" yansıtarak L2 ağının güvenliğinin kademeli olarak arttığını göstermektedir.

Aşama Değişimi İçin En İyi Zaman

Aşama 0'dan aşama 1'e geçiş ve aşama 1'den aşama 2'ye gelişim için en iyi zaman nedir? Bu, kanıt sistemine olan güven seviyesine bağlıdır. Aşama 2'ye hemen geçmemenin tek makul nedeni, kanıt sistemine dair endişelerdir. Kanıt sistemi büyük miktarda koddan oluşur, potansiyel açıklar kullanıcı varlıklarının çalınmasına yol açabilir. Kanıt sistemine olan güven ne kadar yüksekse, güvenlik komitesine olan güven ne kadar düşükse, ağın daha yüksek aşamalara geçişi o kadar teşvik edilmelidir.

Matematik Model Analizi

Basit bir matematik modeli aracılığıyla, farklı aşamalardaki güvenliği nicelleştirebiliriz. Varsayalım ki:

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

Bu varsayımlar altında, farklı aşamalardaki L2 ağlarının çökme olasılıklarını hesaplayabiliriz. Sonuçlar, kanıt sistemi kalitesinin artmasıyla birlikte en iyi aşamanın 0'dan 1'e, ardından 2'ye kaydığını gösteriyor. Düşük kaliteli kanıt sistemleri ile aşama 2'de çalışmak en kötü seçenektir.

Matematik model L2 aşama seçim mantığını ortaya koyuyor: Neden 1. aşama atlanabilir?

Gerçekçi Değerlendirmeler

Ancak, basitleştirilmiş modelin varsayımı gerçeği tam olarak yansıtmıyor:

  1. Güvenlik Komitesi üyeleri tamamen bağımsız değildir, ortak bir model hatası olasılığı vardır.
  2. Kanıt sistemi birden fazla bağımsız sistemden oluşabilir, çökme olasılığını azaltır.

Bu faktörler, aşama 1 ve aşama 2'nin modelin tahmin ettiğinden daha çekici olmasını sağlıyor.

Matematik model L2 aşama seçim mantığını ortaya koyuyor: Neden aşama 1 atlanabilir?

Sonuç ve Öneriler

Matematiksel açıdan bakıldığında, aşama 1'in varlığı her zaman mantıklı görünmüyor. Ancak, aşama 2'ye çok erken geçmek de yanlış olabilir, özellikle de temel kanıtlama sistemini güçlendirme çalışmalarını feda ediyorsak.

İdeal olarak, veri sağlayıcıları, sistemin denetimini ve olgunluk göstergelerini sergilemeli ve aynı zamanda bulundukları aşamayı göstermelidir. Bu, L2 ağ kullanıcılarının ve geliştiricilerinin farklı çözümleri daha iyi değerlendirmelerine ve seçmelerine yardımcı olacaktır.

L2 ekosisteminin sürekli gelişimiyle, güvenlik ile verimlilik arasında denge sağlamak önemli bir zorluk olmaya devam edecektir. Bu aşamaları ve bunların dönüşüm mantığını derinlemesine anlayarak, Ethereum genişletme çözümlerinin gelecekteki gelişimine yön verebiliriz.

View Original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
  • Reward
  • 7
  • Share
Comment
0/400
RetiredMinervip
· 07-07 20:53
Güvenlik hala eski bir tartışma L1 böyle oldu.
View OriginalReply0
MoneyBurnervip
· 07-06 11:02
Veri zincirinde güzel görünmüyor, Hepsi içeride yeni L2.
View OriginalReply0
LayerZeroHerovip
· 07-06 08:52
L2 olgunluğunun tamamen çevrimiçi olmasını bekliyorum!
View OriginalReply0
OnchainDetectiveBingvip
· 07-05 01:10
Bu veri güvenliği gerçekten zahmetli.
View OriginalReply0
RugPullSurvivorvip
· 07-05 01:07
Gerçekten L2'ye güveniyorsan kaybettin.
View OriginalReply0
SatoshiLegendvip
· 07-05 01:01
Kanıt sistemi sadece güvenlik sorunlarının ilk adımıdır, aşamalardaki çöküş olasılığının De Morgan yasası kanıtı derinlemesine incelenmeyi gerektirir.
View OriginalReply0
LiquiditySurfervip
· 07-05 00:56
Bu güvenlikle neyi araştırıyorsunuz!
View OriginalReply0
Trade Crypto Anywhere Anytime
qrCode
Scan to download Gate app
Community
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)