Web3 Akademisyenler Zirvesi: Yale Profesörü LiDO Modelini Açıklıyor, Konsensüs Protokolünün Güvenliğini Artırıyor

2025 Web3 Akademisyenleri Zirvesi'nde, Yale Üniversitesi Bilgisayar Bilimleri Bölümü profesörü Shao Zhong, "İncelemeye Dayalı Konsensüs Protokolü Güvenliği ve Aktiflik Kanıtı: LiDO ve Genişletmeleri" başlıklı konuşmasında, ekibinin geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini ilk kez tanıttı. Bu yenilikçi sonuç, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerine mekanik olarak doğrulanabilir güvenlik ve aktiflik kanıtı sağlamak amacıyla tasarlanmıştır ve Web3 ekosisteminin güvenilirliği ve ölçeklenebilirliği için teknik bir temel oluşturmayı hedeflemektedir.

Prof. Shao Zhong, in his speech, pointed out that although existing konsensüs protokolleri (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 refined verification framework:

1. Güvenli soyutlama katmanı: Protokolü lineerleştirilmiş durum makinesi olarak haritalamak, günlük tutma tutarlılığını sağlamak (güvenlik).
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şleme 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ü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ırlık Coq kodunun mekanik kanıtını tamamlamıştır. Güvenlik ve etkinlik doğrulamasının kod miktarları sırasıyla 4,000 satır ve 1,700 satırdır. Profesör Shao Zhong, konuşmasında şunları vurgulamıştır: "Mevcut durumda, PoS Konsensüs protokolleri genelde güvenlik, etkinlik ve merkezsizlik arasındaki dengeyi sağlamakta zorlanıyor. LiDO modeli, bu çelişkiyi aşmak için önerilen sistematik bir tasarım çözümüdür."

Önemli bir nokta, Profesör Shao Zhong'un liderliğindeki ekibin geliştirdiği CertiKOS'un, dünya çapında biçimsel doğrulama ile "hatasız" bir işletim sistemi olarak tanınmasıdır; bu, "siber fiziksel sistem güvenliğinde bir dönüm noktası" olarak anılmaktadır. Bu başarı, sistem güvenliği alanındaki derin birikimini sağlamlaştırmakla kalmamış, aynı zamanda blok zinciri güvenliği konusundaki araştırmalar için de sağlam bir temel sunmuştur. 2017'de, Profesör Shao Zhong ve öğrencisi Profesör Gu Ronghui, biçimsel doğrulama teknolojisini akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenlik alanına entegre ederek, milyarlarca dolarlık kripto varlık için güvenlik sağlamışlardır.

LiDO modeli şu anda tasarım ve biçimsel doğrulama sürecini tamamladı ve ana akım kamu zincirleri ile merkeziyetsiz protokollerin entegrasyon olasılıklarını araştırıyor. Profesör Shao Zhong, Web3.0 içindeki kritik mekanizmaların doğrulanmasına odaklandıklarını belirtti ve bu sayede Web3 işletmelerine ve ekosistemine daha iyi destek sağlamak için tüm döngüsel ürün ve hizmetleri sunmayı amaçladıklarını ifade etti.

Konuşmanın sonunda, Prof. Shao Zhong vurguladı: "Güvenilir, güvenli ve doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz geleceğe giden ana yol olacaktır." Bu görüş, LiDO modelinin Web3 teknolojisinin gelişimi ve güvenlik garantileri konusundaki önemli anlamını vurgulamaktadır.