Web3 Akademisyenler Zirvesi: Yale Üniversitesi 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, "İnce Ayar Tabanlı Konsensüs Protokolü Güvenliği ve Aktiflik Kanıtı: LiDO ve Genişletmeleri" başlıklı bir ana konuşma yaptı ve ilk kez kamuya, ekibinin geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini tanıttı. Bu yenilikçi buluş, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerinin mekanik olarak doğrulanabilir güvenlik ve aktiflik kanıtları sağlamayı amaçlayarak, Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için önemli bir teknik temel oluşturmayı hedefliyor.

Prof. Shao Zhong, in his speech, pointed out that although existing consensus protocols (such as PBFT, Jolteon) are widely used, they often have potential security vulnerabilities due to their implementation complexity. To address this issue, the LiDO model proposed an innovative three-layer refinement verification framework:

1. Güvenli soyutlama katmanı: Protokolü doğrusal bir durum makinesine haritalayarak, günlük tutma tutarlılığını sağlamak ve güvenliği garanti altına almak;
2. Aktif Güvence Katmanı: Ağ gecikmesi sorununu çözmek için "Pacemaker" mekanizmasını, zaman aşımı yayını ve tur senkronizasyonunu kullanarak tanıtır.
3. DAG genişletme katmanı: Narwhal, Bullshark gibi yeni DAG protokollerini destekleyerek lider olmadan konsensüsün etkili doğrulamasını sağlar.

Şu anda, LiDO, endüstriyel düzeydeki Jolteon (iki aşamalı BFT) protokolü ve çeşitli DAG protokollerinde başarıyla uygulanmış olup, 10.000'den fazla satır Coq kodunun mekanik kanıtını tamamlamıştır. Güvenlik ve canlılık doğrulaması için kod miktarları sırasıyla 4000 satır ve 1700 satırdır. Profesör Shao Zhong, konuşmasında şunları vurguladı: "Günümüzde, PoS konsensüs protokolleri genellikle güvenlik, canlılık ve merkeziyetsizlik üçlüsünün bir arada elde edilmesi zor olan bir durumla karşı karşıya kalmaktadır. LiDO modeli, bu sınırlamayı aşmak için önerilen sistematik bir tasarım planıdır."

Önemli bir not olarak, Profesör Shao Zhong'un liderlik ettiği ekip tarafından geliştirilen CertiKOS sistemi, dünya çapında biçimsel doğrulama ile "hatasız" bir işletim sistemi olarak kabul edilen ilk sistemdir ve "siber fiziksel sistem güvenliğinde bir dönüm noktası" olarak övülmektedir. Bu başarı, ekibin sistem güvenliği alanındaki derin birikimini sergilemekle kalmayıp, aynı zamanda sonraki blok zinciri güvenliği araştırmaları için sağlam bir temel oluşturmuştur.

LiDO modeli şu anda tasarım ve biçimsel doğrulamayı tamamladı ve ana akım kamu blok zincirleri ile merkeziyetsiz protokollerin entegrasyon olasılıklarını keşfetmeye başladı. Profesör Zhao Zhong, Web3.0'daki kritik mekanizmaları doğrulamaya odaklandıklarını, böylece Web3 işletmelerinin ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi desteklemek için tam döngü ürün ve hizmetleri sunabileceklerini belirtti.

Konuşmanın sonunda, Prof. Shao Zhong vurguladı: "Güvenilir, güvenli ve doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz bir geleceğe giden ana yol olacaktır." Bu görüş, LiDO modelinin Web3 teknolojisinin gelişimini teşvik etmedeki önemli rolünü vurgulamakta ve gelecekteki merkeziyetsiz sistemlerin güvenliği ve güvenilirliği için yeni düşünce ve yöntemler sunmaktadır.