Web3 akademisyenleri zirvesinde LiDO modelinin ilk kez tanıtılması, Konsensüs protokolünün güvenliği için yeni bir bakış açısı sunuyor.

Son günlerde düzenlenen 2025 Web3 Akademisyenleri Zirvesi'nde, Yale Üniversitesi Bilgisayar Bilimleri Bölümü'nden bir profesör, "Ayrıştırılmış Konsensüs Protokolü Güvenliği ve Aktiflik Kanıtı: LiDO ve Genişletmeleri" başlıklı bir ana konuşma yaptı ve bu konuşmada ekibinin geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini ilk kez kamuoyuna 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ğlama amacını gütmektedir ve Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknik bir temel oluşturmayı hedeflemektedir.

Bu profesör, konuşmasında mevcut Konsensüs protokollerinin (örneğin PBFT, Jolteon) yaygın olarak kullanıldığını ancak uygulanabilirliğin karmaşıklığı nedeniyle sık sık potansiyel güvenlik açıkları barındırdığını belirtti. Bu sorunu çözmek için, LiDO modeli yenilikçi bir şekilde üç katmanlı bir ayrıştırma doğrulama çerçevesi önermektedir:

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şırı zaman yayılımı ve tur senkronizasyonu ile ağ gecikme sorununu çözmek için "Pacemaker" mekanizmasını tanıtır;
3. DAG genişletme katmanı: Narwhal, Bullshark gibi yeni DAG protokollerini destekleyerek lider olmadan Konsensüsün verimli doğrulamasını sağlar.

Şu anda, LiDO, sanayi düzeyindeki protokol Jolteon (iki aşamalı BFT) ve birçok DAG protokolünde başarıyla uygulanmış olup, 10.000'den fazla Coq kodu mekanik kanıtı tamamlanmıştır. Güvenlik ve canlılık doğrulama için kod miktarı sırasıyla 4000 satır ve 1700 satıra ulaşmıştır. Profesör, konuşmasında şunları vurgulamıştır: "Günümüzde, PoS Konsensüs protokolleri genellikle güvenlik, canlılık ve merkeziyetsizlik arasında bir denge kurmakta zorluk yaşamaktadır. LiDO modeli, bu darboğazı aşmak için önerilen sistematik bir tasarım çözümüdür."

Özellikle, bu profesör daha önce ekibiyle birlikte sektörde "ağ fiziksel sistem güvenliği için bir kilometre taşı" olarak kabul edilen, biçimsel doğrulama ile geliştirilen dünya çapındaki ilk "hatasız" işletim sistemi CertiKOS'u geliştirmiştir. Bu başarı, daha sonra kurduğu güvenlik şirketinin teknik temellerini oluşturmakla kalmayıp, aynı zamanda sistem güvenliği alanındaki derin birikimini de göstermektedir. Son yıllarda, bu profesör blok zinciri güvenliğini derinlemesine inceleyerek, biçimsel doğrulama teknolojisini akıllı sözleşmeler ve zincir üzeri protokol güvenliği alanına entegre etmiş ve yüz milyarlarca dolarlık kripto varlıklar için güvenlik sağlamıştır.

LiDO modeli şu anda tasarım ve biçimsel doğrulama aşamasını tamamlamış olup, ana akım kamu blok zincirleri ve merkeziyetsiz protokoller ile entegrasyon olasılıklarını keşfetmeye başlamıştır. Profesör, Web3.0 içindeki kritik mekanizmaları doğrulamaya odaklandıklarını, böylece tüm döngü ürün ve hizmetleri sunarak Web3 işletmeleri ve ekosisteminin uzun vadeli gelişim stratejisini daha iyi destekleyeceklerini belirtti. Konuşmanın sonunda şunları vurguladı: "Güvenilir, güvenli ve doğrulanabilir bir ağ protokol yığını, gerçek merkeziyetsiz geleceğe giden anahtar yol olacaktır."