Web3 akademisyenleri zirvesinde LiDO modeli ilk kez açıklandı: Karmaşık Konsensüs protokolleri için mekanize doğrulama sağlıyor

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ı ana konuşmasını yaparak, ekibinin geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini ilk kez kamuya sundu. Bu çığır açan başarı, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerine mekanik doğrulama ile güvenlik ve aktiflik kanıtı sağlamayı amaçlamakta olup, Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi 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) have been widely used, they often conceal 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ı: protokolü lineerleştirilmiş bir durum makinesine haritalamak, günlük tutma tutarlılığını sağlamak (güvenlik);
2. Aktif Güvence Katmanı: Aşırı zaman yayılımı ve tur senkronizasyonu ile ağ gecikmesi sorununu çözmek için "Pacemaker" mekanizması getirilmiştir;
3. DAG genişletme katmanı: Narwhal, Bullshark gibi yeni DAG protokollerini destekleyerek lider olmadan Konsensüs'ün verimli doğrulanmasını sağlar.

Şu anda, LiDO, endüstri düzeyindeki protokol Jolteon (iki aşamalı BFT) ve birçok DAG protokolünde başarıyla uygulanmış olup, 10.000'den fazla satırlık Coq kodunun mekanik kanıtını tamamlamıştır. Güvenlik ve aktivite doğrulama kodu sırasıyla 4000 ve 1700 satırdır. Profesör Shao Zhong, "Şu anda, PoS konsensüs protokolleri genellikle güvenlik, aktivite ve merkeziyetsizlik arasında bir denge sağlamakta zorluk çekiyor. LiDO modeli, bu durumu aşmak için önerilen sistematik bir tasarım çözümüdür."

Dünyanın ilk "hatasız" işletim sistemi CertiKOS'un ana geliştiricisi olan Profesör Zhao Zhong, sistem güvenliği alanında derin bir deneyim biriktirmiştir. Bu başarı, onun güvenlik teknolojisi alanındaki konumunu pekiştirmekle kalmayıp, aynı zamanda ekibinin sistem güvenliği konusundaki uzmanlık yeteneklerini de göstermektedir. Son yıllarda, Profesör Zhao Zhong araştırma odak noktasını blok zinciri güvenliğine kaydırarak, 2017 yılında iş ortaklarıyla birlikte blok zinciri güvenliğine odaklanan bir şirket kurmuş ve formel doğrulama teknolojisini akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenliğini sağlamak için kullanarak yüz milyarlarca 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 ile merkeziyetsiz protokollerle entegrasyon olasılıklarını keşfetmeye başladı. Prof. Shao Zhong, Web3.0'daki kritik mekanizmaları doğrulamaya adandıklarını, tam döngü ürün ve hizmetleri sunarak Web3 işletmeleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi desteklemeyi hedeflediklerini belirtti. Konuşmanın sonunda, Prof. Shao Zhong, "Güvenilir, güvenli, doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz bir geleceğe giden ana yol olacaktır."