Web3 Akademisyenler Zirvesi'nde Yale Profesörü LiDO Modelini İlk Kez Açıkladı

2025 Web3 Akademisyen Zirvesi bugün gerçekleştirildi. Yale Üniversitesi Bilgisayar Bilimleri Bölümü'nden Profesör Zhao Zhong, "İnceleme Tabanlı Konsensüs Protokolü Güvenliği ve Aktiflik Kanıtı: LiDO ve Genişletmeleri" başlıklı ana konuşmasını yaptı. Takımının geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini ilk kez kamuoyuna açıkladı. Bu çığır açan başarı, karmaşık Bizans hata toleransı (BFT) konsensüs protokollerine mekanik olarak doğrulanabilir güvenlik ve aktiflik kanıtı sağlamayı amaçlayarak, 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 and Jolteon are widely used, their implementation complexity often hides potential vulnerabilities. To address this issue, the LiDO model innovatively proposes a three-layer refined verification framework:

1. Güvenli soyut katman: Protokolleri lineerleşmiş durum makinelerine haritalayarak, günlük tutma tutarlılığını sağlamak (güvenlik);
2. Aktif Güvence Katmanı: Aşırı zaman aşımı yayını ve tur senkronizasyonu aracılığıyla ağ gecikmesi sorununu çözmek için "Pacemaker" mekanizmasını getirir;
3. DAG genişleme 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üzeyde protokol Jolteon (iki aşamalı BFT) ve birçok DAG protokolünde başarıyla uygulanmıştır ve 10.000'den fazla satır Coq kodunun mekanik kanıtını tamamlamış, güvenlik ve aktivite doğrulama kod miktarı sırasıyla 4000 satır ve 1700 satıra ulaşmıştır. Profesör Shao Zhong, konuşmasında şunu vurguladı: "Mevcut durumda, PoS konsensüs protokolleri genellikle güvenlik, aktivite ve merkezsizlik arasında bir denge kurma zorluğu ile karşı karşıyadır. LiDO modeli, bu zorluğu aşmak için önerilen sistematik bir tasarım planıdır."

Dünyanın ilk "hatasız" işletim sistemi CertiKOS'un geliştiricisi Prof. Shao Zhong, sistem güvenliği alanında derin birikim sahibi. Bu başarı, "siber fiziksel sistem güvenliği için bir dönüm noktası" olarak nitelendiriliyor. Son yıllarda, Prof. Shao Zhong araştırma odağını blok zinciri güvenliğine kaydırdı ve 2017 yılında öğrencisi Prof. Gu Ronghui ile birlikte bir güvenlik şirketi kurdu. Bu şirket, formel doğrulama teknolojisini akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenliğine entegre ederek, yüz milyar dolarlık kripto varlıkların güvenliğini sağlamaktadır.

LiDO modeli şu anda tasarım ve biçimsel doğrulama aşamasını tamamladı ve ana akım kamu zincirleri ve merkeziyetsiz protokollerle entegrasyon olasılıklarını keşfetmeye başladı. Profesör Zhao 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 sunmayı hedeflediklerini belirtti.

Konuşmanın sonunda, Profesör Shao Zhong şunları vurguladı: "Güvenilir, güvenli ve doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz bir geleceğe giden ana yol olacaktır."