Web3 Akademisyenleri Zirvesi'nde Prof. Shao Zhong, LiDO modelini tanıttı ve Konsensüs protokolü güvenliğini doğruladı.

2025 Web3 Akademisyenleri Zirvesi yakın zamanda gerçekleştirildi. Yale Üniversitesi Bilgisayar Bilimleri Bölümü'nden 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ı. Takımının geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini ilk kez kamuoyuna sundu. Bu çarpıcı başarı, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerine mekanik doğrulama ile güvenlik ve aktiflik kanıtı sağlamayı hedefliyor ve Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknik bir temel oluşturuyor.

Profesör Shao Zhong, konuşmasında mevcut konsensüs protokollerinin, PBFT ve Jolteon gibi, yaygın olarak kullanıldığını ancak karmaşık uygulama nedeniyle genellikle potansiyel açıklar barındırdığını belirtti. Bu sorunu çözmek için LiDO modeli yenilikçi bir şekilde üç katmanlı inceleme doğrulama çerçevesini önerdi:

1. Güvenli soyutlama katmanı: Protokolü doğrusal durum makinesi olarak haritalamak, günlük tutma tutarlılığını sağlamak (güvenlik);
2. Aktivite Güvencesi 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 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ılı bir şekilde uygulanmış olup, 10.000'den fazla Coq kodunun mekanik kanıtını tamamlamıştır. Güvenlik ve aktiflik doğrulama ile ilgili kod miktarı sırasıyla 4000 ve 1700 satırdır. Profesör Shao Zhong, "Günümüzde, PoS konsensüs protokolleri genellikle güvenlik, aktiflik ve merkeziyetsizlik arasında denge kurma zorluğu ile karşı karşıyadır. LiDO modeli, bu darboğazı 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 Prof. Shao Zhong, sistem güvenliği alanında derin bir deneyim birikimi elde etmiştir. Bu başarısı, sonraki araştırmaları için sağlam bir temel oluşturmakla kalmayıp, aynı zamanda sistem güvenliği alanındaki olağanüstü katkılarını da vurgulamaktadır. Son yıllarda, Prof. Shao Zhong araştırma odak noktasını blok zinciri güvenliğine kaydırmış, 2017 yılında ortaklarıyla birlikte akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenliğini sağlamak için biçimsel doğrulama teknolojisini uygulamaya adanmış bir güvenlik şirketi kurmuştur, bu da yüz milyarlarca dolarlık kripto varlıkların güvenliğini sağlamaya yöneliktir.

LiDO modeli şu anda tasarım ve biçimsel doğrulamayı tamamlamış olup, ana akım kamu zincirleri ve merkeziyetsiz protokollerle entegrasyon olasılıklarını keşfetmeye başlamıştır. Prof. Shao Zhong, Web3.0'daki kritik mekanizmaları doğrulamaya odaklandıklarını ve Web3 işletmeleri ve ekosisteminin uzun vadeli gelişim stratejisini daha iyi desteklemek için tam dönem ürün ve hizmetleri sunmayı hedeflediklerini belirtmiştir. Konuşmanın sonunda, Prof. Shao Zhong şunu vurgulamıştır: "Güvenilir, güvenli ve doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz bir geleceğe giden anahtar yol olacaktır."