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, "Hassaslaştırılmış 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 modeli ile LiDO-DAG genişletme çerçevesini ilk kez kamuoyuna açıkladı. Bu yenilikçi sonuç, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerine mekanik olarak doğrulanabilir güvenlik ve aktiflik kanıtı sağlamayı hedeflemekte ve Web3 ekosisteminin güvenilirliği ve ölçeklenebilir 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, they often hide potential vulnerabilities due to implementation complexity. To address this issue, the LiDO model innovatively proposes a three-layer refined verification framework:
Güvenli soyutlama katmanı: Protokolü lineerleştirilmiş bir durum makinesine dönüştürerek günlük tutma tutarlılığını sağlar (güvenlik);
Aktif Güvence Katmanı: Ağ gecikmesi sorununu çözmek için "Pacemaker" mekanizmasını tanıtarak zaman aşımı yayını ve tur senkronizasyonu kullanır;
DAG genişletme katmanı: Narwhal, Bullshark gibi yeni DAG protokollerini destekler, lider olmadan konsensüsün verimli doğrulamasını sağlar.
Şu anda, LiDO, endüstri düzeyindeki protokol Jolteon (iki aşamalı BFT) ve birçok DAG protokolünde başarılı bir şekilde uygulanmıştır ve 10.000'den fazla Coq kodu mekanik olarak kanıtlanmıştır. Güvenlik ve canlılık doğrulama kod miktarı sırasıyla 4000 satır ve 1700 satıra ulaşmıştır. Profesör Zhao Zhong, konuşmasında şunları vurgulamıştır: "Mevcut durumda, PoS konsensüs protokolleri genellikle güvenlik, canlılık ve merkeziyetsizlik arasında bir denge kurma zorluğu yaşamaktadır. LiDO modeli, bu darboğazı aşmak için önerilen sistematik bir çözümdür."
Özellikle, Profesör Zhao Zhong'un ekibi tarafından geliştirilen, sektörde "ağ-fiziksel sistem güvenliği için bir dönüm noktası" olarak anılan, küresel olarak ilk "hatasız" işletim sistemi CertiKOS'un formel doğrulama ile üretildiği dikkate değerdir. Bu başarı, ekibinin sistem güvenliği alanındaki derin birikimini sergilemekle kalmayıp, aynı zamanda sonraki araştırmalar için sağlam bir temel oluşturmuştur. Son yıllarda, Profesör Zhao Zhong araştırmalarını blok zinciri güvenliğine yönlendirmiş ve 2017 yılında ortaklarıyla birlikte blok zinciri güvenlik alanında bir şirket kurarak, formel doğrulama teknolojisini akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenliğine uygulamaya adanmıştır; bu, yüz milyarlarca dolarlık kripto varlıkların güvenliğini sağlamaktadır.
LiDO modeli şu anda tasarım ve biçimsel doğrulama sürecini tamamladı ve ana akım halka açık blok zincirleri ile merkeziyetsiz protokollerin entegrasyon olasılıklarını araştırmaya başladı. Profesör Shao Zhong, Web3.0'daki kritik mekanizmaları doğrulamaya kendilerini adadıklarını, böylece Web3 işletmeleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi desteklemek için tam döngü ürün ve hizmetleri sunacaklarını belirtti. Konuşmasının sonunda, Profesör Shao Zhong şunları vurguladı: "Güvenilir, güvenli ve doğrulanabilir bir ağ protokol yığını inşa etmek, 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.
Yale profesörü LiDO'yu açığa çıkarıyor: Konsensüs protokolü güvenlik doğrulama engelini aşmak
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, "Hassaslaştırılmış 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 modeli ile LiDO-DAG genişletme çerçevesini ilk kez kamuoyuna açıkladı. Bu yenilikçi sonuç, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerine mekanik olarak doğrulanabilir güvenlik ve aktiflik kanıtı sağlamayı hedeflemekte ve Web3 ekosisteminin güvenilirliği ve ölçeklenebilir 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, they often hide potential vulnerabilities due to 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ılı bir şekilde uygulanmıştır ve 10.000'den fazla Coq kodu mekanik olarak kanıtlanmıştır. Güvenlik ve canlılık doğrulama kod miktarı sırasıyla 4000 satır ve 1700 satıra ulaşmıştır. Profesör Zhao Zhong, konuşmasında şunları vurgulamıştır: "Mevcut durumda, PoS konsensüs protokolleri genellikle güvenlik, canlılık ve merkeziyetsizlik arasında bir denge kurma zorluğu yaşamaktadır. LiDO modeli, bu darboğazı aşmak için önerilen sistematik bir çözümdür."
Özellikle, Profesör Zhao Zhong'un ekibi tarafından geliştirilen, sektörde "ağ-fiziksel sistem güvenliği için bir dönüm noktası" olarak anılan, küresel olarak ilk "hatasız" işletim sistemi CertiKOS'un formel doğrulama ile üretildiği dikkate değerdir. Bu başarı, ekibinin sistem güvenliği alanındaki derin birikimini sergilemekle kalmayıp, aynı zamanda sonraki araştırmalar için sağlam bir temel oluşturmuştur. Son yıllarda, Profesör Zhao Zhong araştırmalarını blok zinciri güvenliğine yönlendirmiş ve 2017 yılında ortaklarıyla birlikte blok zinciri güvenlik alanında bir şirket kurarak, formel doğrulama teknolojisini akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenliğine uygulamaya adanmıştır; bu, yüz milyarlarca dolarlık kripto varlıkların güvenliğini sağlamaktadır.
LiDO modeli şu anda tasarım ve biçimsel doğrulama sürecini tamamladı ve ana akım halka açık blok zincirleri ile merkeziyetsiz protokollerin entegrasyon olasılıklarını araştırmaya başladı. Profesör Shao Zhong, Web3.0'daki kritik mekanizmaları doğrulamaya kendilerini adadıklarını, böylece Web3 işletmeleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi desteklemek için tam döngü ürün ve hizmetleri sunacaklarını belirtti. Konuşmasının sonunda, Profesör Shao Zhong şunları vurguladı: "Güvenilir, güvenli ve doğrulanabilir bir ağ protokol yığını inşa etmek, gerçek merkeziyetsiz bir geleceğe giden anahtar yol olacaktır."