Web3 Akademisyenler Zirvesinde Yale Profesörü Yeni Bir Konsensüs Protokolü Güvenlik Modelini Açıkladı

Son günlerde düzenlenen 2025 Web3 Akademisyenler Zirvesi'nde, Yale Üniversitesi Bilgisayar Bilimleri Bölümü profesörü Zhao Zhong, ekibinin en son geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini tanıtan dikkat çekici bir konuşma yaptı. Bu yenilikçi sonuç, karmaşık Bizans hata toleransı (BFT) konsensüs protokolü için mekanik olarak doğrulanabilir güvenlik ve canlılık kanıtı sağlamayı amaçlamakta, Web3 ekosisteminin güvenilirliği ve ölçeklenebilirliği için sağlam bir teknik temel oluşturmayı hedeflemektedir.

Prof. Shao Zhong, in his speech, pointed out that although existing konsensüs protokolleri (such as PBFT, Jolteon) have been widely used, their complex implementations often hide potential security vulnerabilities. To address this issue, the LiDO model proposes an innovative three-layer refined verification framework:

1. Güvenli soyutlama katmanı: Protokolü lineerleştirilmiş durum makinesine haritalamak, günlük tutma tutarlılığını sağlamak;
2. Aktif Güvence Katmanı: Ağ gecikme 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 verimli liderliksiz Konsensüs doğrulaması sağlar.

Şu anda, LiDO, endüstriyel düzeydeki protokol Jolteon (iki aşamalı BFT) ve birçok DAG protokolü üzerinde başarıyla uygulanmış olup, 10.000'den fazla satır Coq kodunun mekanik kanıtını tamamlamıştır. Bunlar arasında, güvenlik ve canlılık doğrulama kodlarının uzunluğu sırasıyla 4000 satır ve 1700 satıra ulaşmıştır. Profesör Shao Zhong, konuşmasında şunu vurgulamıştır: "Şu anda, PoS konsensüs protokolleri genellikle güvenlik, canlılık ve merkeziyetsizlik arasında denge sağlamakta zorlanmaktadır. LiDO modeli, bu çıkmaza çözüm sağlamak için önerilen sistematik bir tasarım planıdır."

Prof. Shao Zhong ve ekibi tarafından geliştirilen CertiKOS, "siber fiziksel sistem güvenliğinde bir kilometre taşı" olarak nitelendirilmektedir ve dünya çapında formel doğrulama ile sağlanan ilk "hatasız" işletim sistemidir. Bu başarı, ekibin sistem güvenliği alanındaki derin birikimini sergilemekle kalmayıp, aynı zamanda onların sonraki araştırmaları için sağlam bir teknik temel oluşturmuştur. 2017 yılında, Prof. Shao Zhong ve öğrencisi Prof. Gu Ronghui, formel doğrulama teknolojisini akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenlik sağlama alanına dahil etmiş ve yüzlerce milyar dolarlık kripto varlık için güvenlik koruması sağlamıştır.

LiDO modeli şu anda tasarım ve biçimsel doğrulama aşamaları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ı, 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 vurguladı: "Güvenilir, güvenli ve doğrulanabilir ağ protokol yığını, gerçekten merkeziyetsiz bir geleceğe giden ana yol olacaktır." Bu görüş, onun Web3 teknolojisinin gelişim yönü konusundaki derin içgörüsünü öne çıkarıyor ve gelecekteki blok zinciri ve merkeziyetsiz sistemlerin güvenliği için yeni düşünce yönleri sunuyor.