Yale profesörü, LiDO modelini ilk kez kamuya açıkladı; Web3 Konsensüs protokolü güvenlik doğrulamasına yardımcı oluyor.

robot
Abstract generation in progress

Web3 Akademisyenleri Zirvesi'nde Tartışma: Yale Profesörü İlk Kez LiDO Modelini Açıkladı

Son günlerde düzenlenen 2025 Web3 Akademisyen Zirvesi'nde, Yale Üniversitesi Bilgisayar Bilimleri Bölümü profesörü Zhao Zhong, "İnceleme Tabanlı Konsensüs Protokolü Güvenliği ve Aktiflik Kanıtı: LiDO ve Genişletmeleri" konulu bir ana konuşma gerçekleştirdi. Bu konuşma ile ekibinin geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini ilk kez kamuoyuna tanıttı. Bu yenilikçi sonuç, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerine mekanize edilmiş güvenlik ve aktiflik kanıtı sağlamayı amaçlayarak, Web3 ekosisteminin güvenilirliği ve büyük ölçekli gelişimi için teknik bir temel oluşturmaktadır.

Prof. Shao Zhong, in his speech, pointed out that although existing consensus protocols (such as PBFT, Jolteon) are widely used, their complexity often conceals potential vulnerabilities. To address this issue, the LiDO model proposed an innovative three-layer refined verification framework:

  1. Güvenli soyutlama katmanı: Protokolleri doğrusal durum makinelerine haritalamak, günlük tutma tutarlılığını sağlamak (güvenlik);
  2. Aktif Güvenlik Katmanı: Aşırı zaman aşımı yayını ve tur senkronizasyonu ile ağ gecikmesi sorununu çözmek için "Pacemaker" mekanizmasını getirir;
  3. DAG genişletme katmanı: Narwhal, Bullshark gibi yeni DAG protokollerini destekleyerek lider olmadan konsensüsün verimli doğrulanmasını sağlar.

Şu anda, LiDO, endüstriyel düzeydeki protokol Jolteon (iki aşamalı BFT) ve birçok DAG protokolünde başarıyla uygulanmış olup, 10,000'den fazla satır Coq kodunun mekanik kanıtını tamamlamıştır. Güvenlik ve canlılık doğrulama kod miktarı sırasıyla 4000 satır ve 1700 satırdır. Prof. Shao Zhong, konuşmasında şunları vurgulamıştır: "Şu anda, PoS konsensüs protokolleri genel olarak güvenlik, canlılık ve merkeziyetsizlik üçlüsünü aynı anda sağlama zorluğuyla karşı karşıya. LiDO modeli, bu zorluğu aşmak için önerilen sistematik bir tasarım planıdır."

Özellikle, Profesör Shao Zhong'un liderlik ettiği ekibin daha önce geliştirdiği CertiKOS, dünya çapında formel doğrulama ile "hatasız" bir işletim sistemi olarak kabul edilen ilk sistemdir ve sektörde "siber fiziksel sistem güvenliği için bir dönüm noktası" olarak adlandırılmaktadır. Bu başarı, sistem güvenliği alanındaki derin birikimini gözler önüne sererken, aynı zamanda sonraki blockchain güvenlik araştırmaları için sağlam bir temel oluşturmuştur. 2017'den bu yana, Profesör Shao Zhong, formel doğrulama teknolojisini akıllı sözleşmeler ve zincir üstü protokollerin güvenliğini sağlamak için uygulamaya adamıştır ve yüz milyar dolarlık kripto varlıkların güvenliğini korumak için önemli katkılarda bulunmuştur.

Şu anda, LiDO model tasarımını ve biçimsel doğrulamayı tamamladı ve ana akım kamu blok zincirleri ve merkeziyetsiz protokollerle entegrasyon olasılıklarını keşfetmeye başladı. Profesör Shao Zhong, Web3.0'daki kritik mekanizmaları doğrulamaya kendilerini adadıklarını, böylece tam döngüde ürün ve hizmetler sunarak Web3 şirketleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi desteklediklerini belirtti. Konuşmanın sonunda, Profesör Shao Zhong şunu vurguladı: "Güvenilir, güvenli, doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz bir geleceğe giden anahtar yol olacaktır."

CertiK'in kurucu ortağı Profesör Shao Zhong, Web3 Akademisyenler Zirvesi'ne katıldı ve LiDO modelini ilk kez kamuya açıkladı

DAG2.23%
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
  • Repost
  • Share
Comment
0/400
ForkMastervip
· 5h ago
Başka bir beyaz şapkalı proje mi? Önce açıkların nasıl denetlendiğine bir bakalım... Eski beyaz şapkalılar anlar.
View OriginalReply0
MidnightGenesisvip
· 15h ago
Gece geç saatlerde yine kodları karıştırıyorum, beklediğim gibi eski sorunlar hala devam ediyor.
View OriginalReply0
0xDreamChaservip
· 08-11 02:29
Bak bak bak, yine o tuzakı yaptılar.
View OriginalReply0
MetaMisfitvip
· 08-10 20:55
Yine kavramları tartışmaya başladılar, bunları yapmak yerine doğrudan pbft'ye geçmek daha iyi.
View OriginalReply0
ThatsNotARugPullvip
· 08-10 20:39
Boğa ama bunun hakkında Çince konuşabilir misin?
View OriginalReply0
LiquidatedAgainvip
· 08-10 20:36
Güvenlik bir eğlence, bir önceki temizlenme deneyimimi düşün.
View OriginalReply0
SquidTeachervip
· 08-10 20:35
Yine halktan ustalar harika!
View OriginalReply0
  • Pin
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)