Web3 Akademisyenler Zirvesi'nde Yale Profesörü LiDO modelini ilk kez açıkladı
2025 Web3 Akademisyenler 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şletmesi" 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 tanıttı. Bu çığır açıcı sonuç, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerine mekanik olarak doğrulanabilir güvenlik ve aktiflik kanıtı sağlamayı amaçlamakta ve Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknik bir temel oluşturmaktadır.
Prof. Shao Zhong指出, mevcut konsensüs protokolleri gibi PBFT yaygın olarak kullanılsa da, karmaşık uygulama nedeniyle potansiyel açıklar gizlenebilir. Bu sorunu çözmek için, LiDO modeli yenilikçi bir şekilde üç katmanlı ayrıntılı doğrulama çerçevesi öneriyor:
Güvenli soyutlama katmanı: Protokolü lineerleştirilmiş durum makinesine dönüştürerek günlük tutma tutarlılığını sağlamak (güvenlik);
Aktif Güvence Katmanı: Aşırı zaman yayınlama ve tur senkronizasyonu ile ağ gecikmesi sorununu aşmak için "Pacemaker" mekanizması getiriliyor;
DAG genişletme katmanı: Yeni nesil DAG protokollerini destekleyerek lider olmayan konsensüsün verimli doğrulamasını sağlar.
Şu anda, LiDO endüstriyel düzeyde protokol olan Jolteon (iki aşamalı BFT) ve birçok DAG protokolünde başarıyla uygulanmıştır, 10.000'den fazla satır Coq kodunun mekanik kanıtlaması tamamlanmıştır, güvenlik ve aktivite doğrulama kodu sırasıyla 4000 satır ve 1700 satırdır. Prof. Zhao Zhong, konuşmasında şunları belirtti: "Mevcut durumda, PoS konsensüs protokolleri genellikle güvenlik, aktivite ve merkeziyetsizlik arasında denge kurma zorluğu ile karşı karşıyadır. LiDO modeli, bu zorluğu aşmak için önerilen sistematik bir tasarım çözümüdür."
Profesör Shao Zhong'un liderliğindeki ekip tarafından geliştirilen CertiKOS, dünya çapında biçimsel doğrulama ile "hatasız" bir işletim sistemi olarak tanınan ilk sistemdir ve "siber fiziksel sistem güvenliği için bir dönüm noktası" olarak nitelendirilmektedir. Bu başarı, sistem güvenliği alanındaki derin birikimini pekiştirmekle kalmayıp, aynı zamanda sonraki araştırmalar için sağlam bir temel de sağlamaktadır. Son yıllarda, Profesör Shao Zhong, blok zinciri güvenliği üzerinde yoğunlaşarak biçimsel doğrulama teknolojisini akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenliğine entegre ederek kripto varlık güvenliğine güçlü bir destek sunmuştur.
LiDO şu anda model tasarımını ve biçimsel doğrulamasını tamamladı ve ana akım halka açık blok zincirleri ile 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ı, tüm döngü ürün ve hizmetleri sunarak Web3 işletmeleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi destekleyeceklerini belirtti. Konuşmanın sonunda, Profesör Shao Zhong şunları vurguladı: "Güvenilir, güvenli, doğrulanabilir bir ağ protokol yığını, gerçek merkeziyetsiz bir geleceğe giden anahtar 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.
10 Likes
Reward
10
4
Repost
Share
Comment
0/400
GweiWatcher
· 3h ago
Tüm gün kısmi satış yapmakla meşgulüm, boğa ve ayı ben de anlıyorum.
View OriginalReply0
GasFeeSobber
· 3h ago
Yale markası çok pahalı, alamam.
View OriginalReply0
FlashLoanPrince
· 3h ago
Yine göklere mi çıktın?
View OriginalReply0
GasFeeVictim
· 3h ago
Konsensüs protokolü yine yeni bir numara yaptı, tamam.
Yale profesörü LiDO modelini açıkladı, Web3 Konsensüs protokolü doğrulama atılımına yardımcı oluyor.
Web3 Akademisyenler Zirvesi'nde Yale Profesörü LiDO modelini ilk kez açıkladı
2025 Web3 Akademisyenler 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şletmesi" 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 tanıttı. Bu çığır açıcı sonuç, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerine mekanik olarak doğrulanabilir güvenlik ve aktiflik kanıtı sağlamayı amaçlamakta ve Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknik bir temel oluşturmaktadır.
Prof. Shao Zhong指出, mevcut konsensüs protokolleri gibi PBFT yaygın olarak kullanılsa da, karmaşık uygulama nedeniyle potansiyel açıklar gizlenebilir. Bu sorunu çözmek için, LiDO modeli yenilikçi bir şekilde üç katmanlı ayrıntılı doğrulama çerçevesi öneriyor:
Şu anda, LiDO endüstriyel düzeyde protokol olan Jolteon (iki aşamalı BFT) ve birçok DAG protokolünde başarıyla uygulanmıştır, 10.000'den fazla satır Coq kodunun mekanik kanıtlaması tamamlanmıştır, güvenlik ve aktivite doğrulama kodu sırasıyla 4000 satır ve 1700 satırdır. Prof. Zhao Zhong, konuşmasında şunları belirtti: "Mevcut durumda, PoS konsensüs protokolleri genellikle güvenlik, aktivite ve merkeziyetsizlik arasında denge kurma zorluğu ile karşı karşıyadır. LiDO modeli, bu zorluğu aşmak için önerilen sistematik bir tasarım çözümüdür."
Profesör Shao Zhong'un liderliğindeki ekip tarafından geliştirilen CertiKOS, dünya çapında biçimsel doğrulama ile "hatasız" bir işletim sistemi olarak tanınan ilk sistemdir ve "siber fiziksel sistem güvenliği için bir dönüm noktası" olarak nitelendirilmektedir. Bu başarı, sistem güvenliği alanındaki derin birikimini pekiştirmekle kalmayıp, aynı zamanda sonraki araştırmalar için sağlam bir temel de sağlamaktadır. Son yıllarda, Profesör Shao Zhong, blok zinciri güvenliği üzerinde yoğunlaşarak biçimsel doğrulama teknolojisini akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenliğine entegre ederek kripto varlık güvenliğine güçlü bir destek sunmuştur.
LiDO şu anda model tasarımını ve biçimsel doğrulamasını tamamladı ve ana akım halka açık blok zincirleri ile 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ı, tüm döngü ürün ve hizmetleri sunarak Web3 işletmeleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi destekleyeceklerini belirtti. Konuşmanın sonunda, Profesör Shao Zhong şunları vurguladı: "Güvenilir, güvenli, doğrulanabilir bir ağ protokol yığını, gerçek merkeziyetsiz bir geleceğe giden anahtar yol olacaktır."