Web3 Akademisyenler Zirvesi: Yale Profesörü LiDO Modelini İlk Kez Açıkladı
2025 Web3 Akademisyenler Zirvesi'nde, Yale Üniversitesi Bilgisayar Bilimleri Bölümü Profesörü Zhao Zhong, "Ayrıntılı Konsensüs Protokolü Güvenliği ve Aktiflik Kanıtı: LiDO ve Genişletmeleri" başlıklı bir ana konuşma yaptı ve bu konuşma ile birlikte 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 protokolleri için mekanik olarak doğrulanabilir güvenlik ve aktiflik kanıtları sunmayı amaçlamaktadır ve Web3 ekosisteminin güvenilirliği ile büyük ölçekli gelişimi için teknik bir temel oluşturmayı hedeflemektedir.
Prof. Shao Zhong, in his speech, pointed out that although existing consensus protocols (such as PBFT, Jolteon) are widely used, they often have potential security risks due to their high implementation complexity. To address this issue, the LiDO model innovatively proposes a three-layer refined verification framework:
Güvenli soyutlama katmanı: Protokolü lineerleştirilmiş durum makinesine haritalamak, günlük tutma tutarlılığını sağlamak (güvenlik);
Aktif Güvence Katmanı: Ağ gecikmesi sorununu çözmek için "Pacemaker" mekanizmasını, zaman aşımı yayını ve tur senkronizasyonunu kullanarak getirir;
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üstri düzeyindeki 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 mekanikleştirilmiş kanıtını tamamlamıştır. Güvenlik ve canlılık doğrulama kod miktarları sırasıyla 4000 satır ve 1700 satırdır. Profesör Shao Zhong, konuşmasında şunları vurgulamıştır: "Mevcut durumda, PoS konsensüs protokolleri genel olarak güvenlik, canlılık ve merkeziyetsizlik arasında denge kurma zorluğuyla karşı karşıyadır. LiDO modeli, bu zorluğu aşmak için önerilen sistematik bir tasarım çözümüdür."
Özellikle, Profesör Zhao Zhong'un ekibi tarafından geliştirilen, dünya çapında biçimsel doğrulama ile "hatasız" işletim sistemi CertiKOS'un sektörde "siber fiziksel sistem güvenliğinde bir dönüm noktası" olarak değerlendirildiğini belirtmek gerekir. Bu başarı, ekibinin sistem güvenliği alanındaki derin birikimini sergilemekle kalmayıp, aynı zamanda sonraki blok zinciri güvenliği araştırmaları için sağlam bir temel oluşturdu. 2017 yılında, Profesör Zhao Zhong ve öğrencisi Profesör Gu Ronghui, biçimsel doğrulama teknolojisini akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenlik alanına entegre ederek, yüz milyarlarca dolarlık kripto varlığın güvenliğini sağladı.
LiDO modeli şu anda tasarım ve biçimsel doğrulama aşamasını tamamladı ve ana akım kamu blok zincirleri ile merkeziyetsiz protokollerle entegrasyon olasılıklarını keşfetmeye başladı. Profesör Shao Zhong, Web3.0'daki önemli mekanizmaları doğrulamaya kendilerini adadıklarını, böylece döngüsel ürün ve hizmetler sunarak Web3 şirketleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi destekleyeceklerini belirtti. Konuşmanın sonunda, Profesör Shao Zhong, "Güvenilir, güvenli ve doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz bir geleceğe giden ana yol olacaktır." diye vurguladı.
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.
13 Likes
Reward
13
4
Share
Comment
0/400
NFTArtisanHQ
· 21h ago
ah, sonunda birinin konsensüsün estetik paradigmasını ele alması... açıkçası bana Duchamp'ın hazır yapıtlarını hatırlatıyor
View OriginalReply0
InfraVibes
· 08-04 05:50
Yine bir hayali proje.
View OriginalReply0
StableNomad
· 08-02 01:55
hmm başka bir konsensüs modeli... düşük anahtar ile luna dao travması yaşıyorum rn
View OriginalReply0
ZKProofster
· 08-02 01:50
teknik olarak konuşursak, bu lido olayı gerçekten çığır açıcı değil... sadece başka bir bft sarmalayıcı açıkçası
Yale profesörü Web3 zirvesinde sahne aldı: LiDO modeli konsensüs protokolü çıkmazını aşıyor
Web3 Akademisyenler Zirvesi: Yale Profesörü LiDO Modelini İlk Kez Açıkladı
2025 Web3 Akademisyenler Zirvesi'nde, Yale Üniversitesi Bilgisayar Bilimleri Bölümü Profesörü Zhao Zhong, "Ayrıntılı Konsensüs Protokolü Güvenliği ve Aktiflik Kanıtı: LiDO ve Genişletmeleri" başlıklı bir ana konuşma yaptı ve bu konuşma ile birlikte 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 protokolleri için mekanik olarak doğrulanabilir güvenlik ve aktiflik kanıtları sunmayı amaçlamaktadır ve Web3 ekosisteminin güvenilirliği ile büyük ölçekli gelişimi için teknik bir temel oluşturmayı hedeflemektedir.
Prof. Shao Zhong, in his speech, pointed out that although existing consensus protocols (such as PBFT, Jolteon) are widely used, they often have potential security risks due to their high implementation complexity. To address this issue, the LiDO model innovatively proposes a three-layer refined verification framework:
Şu anda, LiDO, endüstri düzeyindeki 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 mekanikleştirilmiş kanıtını tamamlamıştır. Güvenlik ve canlılık doğrulama kod miktarları sırasıyla 4000 satır ve 1700 satırdır. Profesör Shao Zhong, konuşmasında şunları vurgulamıştır: "Mevcut durumda, PoS konsensüs protokolleri genel olarak güvenlik, canlılık ve merkeziyetsizlik arasında denge kurma zorluğuyla karşı karşıyadır. LiDO modeli, bu zorluğu aşmak için önerilen sistematik bir tasarım çözümüdür."
Özellikle, Profesör Zhao Zhong'un ekibi tarafından geliştirilen, dünya çapında biçimsel doğrulama ile "hatasız" işletim sistemi CertiKOS'un sektörde "siber fiziksel sistem güvenliğinde bir dönüm noktası" olarak değerlendirildiğini belirtmek gerekir. Bu başarı, ekibinin sistem güvenliği alanındaki derin birikimini sergilemekle kalmayıp, aynı zamanda sonraki blok zinciri güvenliği araştırmaları için sağlam bir temel oluşturdu. 2017 yılında, Profesör Zhao Zhong ve öğrencisi Profesör Gu Ronghui, biçimsel doğrulama teknolojisini akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenlik alanına entegre ederek, yüz milyarlarca dolarlık kripto varlığın güvenliğini sağladı.
LiDO modeli şu anda tasarım ve biçimsel doğrulama aşamasını tamamladı ve ana akım kamu blok zincirleri ile merkeziyetsiz protokollerle entegrasyon olasılıklarını keşfetmeye başladı. Profesör Shao Zhong, Web3.0'daki önemli mekanizmaları doğrulamaya kendilerini adadıklarını, böylece döngüsel ürün ve hizmetler sunarak Web3 şirketleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi destekleyeceklerini belirtti. Konuşmanın sonunda, Profesör Shao Zhong, "Güvenilir, güvenli ve doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz bir geleceğe giden ana yol olacaktır." diye vurguladı.