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

Son günlerde düzenlenen 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 ekibinin geliştirdiği LiDO modeli ile LiDO-DAG genişletme çerçevesini ilk kez açıkladı. Bu yenilikçi sonuç, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerine mekanize edilebilir doğrulama sunan güvenlik ve aktiflik kanıtları sağlamayı amaçlayarak, Web3 ekosisteminin güvenilirliği ve büyük ölçekli gelişimi için teknik bir temel oluşturmayı hedefliyor.

Prof. Shao Zhong, in his speech, pointed out that despite the widespread use of existing consensus protocols (such as PBFT, Jolteon), they often hide potential vulnerabilities due to implementation complexity. To address this issue, the LiDO model innovatively proposed a three-layer refined verification framework:

1. Güvenli soyutlama katmanı: Protokolleri lineerleştirilmiş durum makinelerine haritalamak, günlük tutma tutarlılığını sağlamak (güvenlik);
2. Aktif Güvence Katmanı: Ağ gecikme sorununu çözmek için "Pacemaker" mekanizmasını, zaman aşımı yayını ve tur senkronizasyonunu kullanarak tanıttı;
3. DAG genişletme katmanı: Narwhal, Bullshark gibi yeni DAG protokollerini destekleyerek lidersiz konsensüste yüksek verimlilikte doğrulama sağlar.

Şu anda, LiDO, endüstriyel düzeydeki protokol Jolteon (iki aşamalı BFT) ve birçok DAG protokolünde başarılı bir şekilde uygulanmış olup, 10.000'den fazla satır Coq kodunun mekanize kanıtını tamamlamıştır. Güvenlik ve canlılık doğrulaması kodları sırasıyla 4.000 satır ve 1.700 satıra ulaşmıştır. Prof. Shao Zhong, konuşmasında şunları vurgulamıştır: "Günümüzde, PoS konsensüs protokolleri genellikle güvenlik, canlılık ve merkeziyetsizlik arasında denge kurma zorluğuyla karşı karşıya kalmaktadır. LiDO modeli, bu zorluğun üstesinden gelmek için önerilen sistematik bir çözümdür."

Prof. Shao Zhong'un liderlik ettiği ekip, dünya çapında biçimsel doğrulama ile "hatasız" bir işletim sistemi olarak geliştirilen CertiKOS'u geliştirmiştir ve bu sistem "siber fiziksel sistem güvenliği için bir dönüm noktası" olarak nitelendirilmiştir. Bu başarı, onların sistem güvenliği alanındaki derin temellerini sağlamlaştırmanın yanı sıra, bu alandaki zengin deneyimlerini de sergilemiştir. Son yıllarda, Prof. Shao Zhong, blok zinciri güvenliği araştırmalarına odaklanmış ve 2017 yılında meslektaşlarıyla birlikte bir güvenlik şirketi kurarak, biçimsel doğrulama teknolojisini akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenliğine dahil etmiş, yüz milyar dolarlık kripto varlıklar için güvenlik sağlamıştır.

LiDO şu anda model tasarımını ve formel doğrulamayı tamamladı ve ana akım blok zincirleri ile merkeziyetsiz protokollerle entegrasyon olasılıklarını keşfetmeye başladı. Profesör Shao Zhong, Web3.0'deki kilit mekanizmaları doğrulamaya kendilerini adadıklarını, böylece tüm döngü ürün ve hizmetleri sunarak Web3 şirketleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi destekleyeceklerini belirtti. Konuşmasının sonunda, Profesör Shao Zhong şunları vurguladı: "Güvenilir, güvenli, doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz geleceğe giden anahtar yol olacaktır."