Web3 Akademisyenleri Zirvesi, Yeni Nesil Konsensüs Protokolü Güvenlik Doğrulama Çerçevesine Odaklanıyor
Son zamanlarda düzenlenen 2025 Web3 Akademisyenler Zirvesi'nde, Yale Üniversitesi Bilgisayar Bilimleri Bölümü'nden 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 ekibinin geliştirdiği LiDO modelini ve LiDO-DAG genişletme çerçevesini ilk kez kamuoyuna açıkladı. Bu yenilikçi sonuç, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokolüne mekanize doğrulama ile güvenlik ve aktiflik kanıtı sunmayı amaçlayarak, Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için sağlam bir teknik temel oluşturmaktadır.
Prof. Shao Zhong, in his speech, pointed out that despite the widespread application of existing Konsensüs protokolleri (such as PBFT, Jolteon), the complexity of implementation often hides potential vulnerabilities. To address this issue, the LiDO modeli innovatively proposed a three-layer refined verification framework:
Güvenli soyutlama katmanı: Protokolü doğrusal bir durum makinesi olarak haritalandırarak, günlük tutma tutarlılığını (güvenliği) sağlar;
Aktif Güvence Katmanı: Ağ gecikmesi sorununu aşmak için "Pacemaker" mekanizmasını tanıtarak zaman aşımı yayını ve tur senkronizasyonu kullanır;
DAG genişleme katmanı: Narwhal, Bullshark gibi yeni DAG protokollerini destekler, lider olmadan Konsensüs'ün etkili doğrulaması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 mekanize kanıtını tamamlamıştır. Güvenlik ve canlılık doğrulama kodu sırasıyla 4000 satır ve 1700 satırdır. Profesör Shao Zhong, "Günümüzde, PoS konsensüs protokolleri genellikle güvenlik, canlılık ve merkeziyetsizlik arasında bir denge kurma zorluğuyla karşı karşıya. LiDO modeli, bu sıkışıklığı aşmak için önerilen sistematik bir tasarım çözümüdür."
Dünyanın ilk formel doğrulama ile "hatasız" işletim sistemi CertiKOS'un geliştirme lideri olan Profesör Zhao Zhong ve ekibi, sistem güvenliği alanında derin bir teknik birikim sağladı. Bu başarı sadece sonraki araştırmaları için sağlam bir temel oluşturmakla kalmayıp, aynı zamanda sistem güvenliği alanındaki olağanüstü katkılarını da ortaya koydu. Son yıllarda, Profesör Zhao Zhong araştırma odaklarını blok zinciri güvenliğine kaydırarak, formel doğrulama teknolojisini akıllı sözleşmeler ve zincir içi protokollerin güvenliğinin sağlanmasında kullanmaya adamıştır ve milyarlarca dolarlık kripto varlıklara güvenlik koruması sağlamaktadır.
LiDO modeli şu anda tasarım ve biçimsel doğrulama aşamalarını tamamladı ve ana akım halka açık blok zincirler ile merkeziyetsiz protokollerin entegrasyon olanaklarını keşfetmeye başladı. Profesör Shao Zhong, Web3.0'daki temel mekanizmaların doğrulanmasına odaklandıklarını belirterek, tüm döngü ürün ve hizmetleri sunarak Web3 işletmeleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi desteklemeyi amaçladıklarını ifade etti. Konuşmanın sonunda, Profesör Shao Zhong şunları vurguladı: "Güvenilir, güvenli, doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz bir geleceğe giden kritik yol olacaktır."
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.
14 Likes
Reward
14
6
Repost
Share
Comment
0/400
GasDevourer
· 6h ago
boğa ah kardeş bir adımda tamam
View OriginalReply0
MoonRocketman
· 6h ago
Bu tuzak protokol, atmosferi aşmanın gerekli yakıt ikmali. Yükseliş.
Web3 yeni Konsensüs protokolü güvenlik doğrulama çerçevesi LiDO, akademisyen zirvesinde tanıtıldı.
Web3 Akademisyenleri Zirvesi, Yeni Nesil Konsensüs Protokolü Güvenlik Doğrulama Çerçevesine Odaklanıyor
Son zamanlarda düzenlenen 2025 Web3 Akademisyenler Zirvesi'nde, Yale Üniversitesi Bilgisayar Bilimleri Bölümü'nden 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 ekibinin geliştirdiği LiDO modelini ve LiDO-DAG genişletme çerçevesini ilk kez kamuoyuna açıkladı. Bu yenilikçi sonuç, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokolüne mekanize doğrulama ile güvenlik ve aktiflik kanıtı sunmayı amaçlayarak, Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için sağlam bir teknik temel oluşturmaktadır.
Prof. Shao Zhong, in his speech, pointed out that despite the widespread application of existing Konsensüs protokolleri (such as PBFT, Jolteon), the complexity of implementation often hides potential vulnerabilities. To address this issue, the LiDO modeli innovatively proposed a three-layer refined verification framework:
Ş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 mekanize kanıtını tamamlamıştır. Güvenlik ve canlılık doğrulama kodu sırasıyla 4000 satır ve 1700 satırdır. Profesör Shao Zhong, "Günümüzde, PoS konsensüs protokolleri genellikle güvenlik, canlılık ve merkeziyetsizlik arasında bir denge kurma zorluğuyla karşı karşıya. LiDO modeli, bu sıkışıklığı aşmak için önerilen sistematik bir tasarım çözümüdür."
Dünyanın ilk formel doğrulama ile "hatasız" işletim sistemi CertiKOS'un geliştirme lideri olan Profesör Zhao Zhong ve ekibi, sistem güvenliği alanında derin bir teknik birikim sağladı. Bu başarı sadece sonraki araştırmaları için sağlam bir temel oluşturmakla kalmayıp, aynı zamanda sistem güvenliği alanındaki olağanüstü katkılarını da ortaya koydu. Son yıllarda, Profesör Zhao Zhong araştırma odaklarını blok zinciri güvenliğine kaydırarak, formel doğrulama teknolojisini akıllı sözleşmeler ve zincir içi protokollerin güvenliğinin sağlanmasında kullanmaya adamıştır ve milyarlarca dolarlık kripto varlıklara güvenlik koruması sağlamaktadır.
LiDO modeli şu anda tasarım ve biçimsel doğrulama aşamalarını tamamladı ve ana akım halka açık blok zincirler ile merkeziyetsiz protokollerin entegrasyon olanaklarını keşfetmeye başladı. Profesör Shao Zhong, Web3.0'daki temel mekanizmaların doğrulanmasına odaklandıklarını belirterek, tüm döngü ürün ve hizmetleri sunarak Web3 işletmeleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi desteklemeyi amaçladıklarını ifade etti. Konuşmanın sonunda, Profesör Shao Zhong şunları vurguladı: "Güvenilir, güvenli, doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz bir geleceğe giden kritik yol olacaktır."