Web3 Akademisyenler Zirvesi Öne Çıkanlar: Yeni Nesil Konsensüs Protokolü Güvenlik Doğrulama Modeli İlk Kez Kamuya Açık

Son günlerde düzenlenen 2025 Web3 Akademisyenler Zirvesi'nde, Yale Üniversitesi Bilgisayar Bilimleri Bölümü'nden bir profesör, "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ı ve kamuoyuna 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 protokolleri için mekanik olarak doğrulanabilir güvenlik ve aktiflik kanıtı sağlamayı amaçlamakta ve Web3 ekosisteminin güvenilirliği ve ölçeklenebilirliği için teknik bir temel oluşturmaktadır.

Konuşmasında, profesör mevcut konsensüs protokollerinin (örneğin PBFT, Jolteon) yaygın olarak kullanıldığını ancak uygulanabilirliğin karmaşıklığı nedeniyle potansiyel güvenlik riskleri taşıdığını belirtti. Bu sorunu çözmek için, LiDO modeli yenilikçi bir şekilde üç katmanlı ayrıntılı doğrulama çerçevesi önerdi:

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ğı gecikme 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 verimli doğrulamasını sağlar.

Şu anda, LiDO sanayi düzeyindeki protokol Jolteon (iki aşamalı BFT) ve birçok DAG protokolüne başarıyla uygulanmış olup, 10,000'den fazla Coq kodu satırının mekanik kanıtını tamamlamıştır. Güvenlik ve canlılık doğrulamasının kod miktarı sırasıyla 4,000 satır ve 1,700 satırdır. Konuşmacı vurguladı: "Şu anda, PoS konsensüs protokolleri genel olarak güvenlik, canlılık ve merkeziyetsizlik üçlüsünü eşzamanlı olarak sağlamada zorluklarla karşı karşıya. LiDO modeli, bu sınırlamayı aşmak için önerilen sistematik bir tasarım çözümüdür."

Bu profesör, formel doğrulama ile "hatasız" işletim sistemi CertiKOS'u geliştiren ekibe liderlik etti ve bu sistem "siber fiziksel sistem güvenliği için bir kilometre taşı" olarak nitelendirildi. Bu başarı, daha sonra kurduğu güvenlik şirketinin teknik temellerini atmakla kalmadı, aynı zamanda sistem güvenliği alanındaki derin birikimini de ortaya koydu. Son yıllarda, araştırmalarını blok zinciri güvenliğine yönlendirdi ve formel doğrulama teknolojisini akıllı sözleşmeler ve zincir üstü protokollerin güvenliğini sağlamak için uygulamaya adamıştır, bu da yüz milyar dolarlık bir kripto varlık ölçeğine güvenlik koruması sağlamaktadır.

LiDO şu anda model tasarımını ve biçimsel doğrulamayı tamamladı ve ana akım blok zincirleri ile merkeziyetsiz protokollerin entegrasyon olasılıklarını keşfetmeye başladı. Konuşmacı, Web3.0'daki kritik mekanizmaları doğrulamaya kararlı olduklarını, bütün bir ürün ve hizmet döngüsü sunarak Web3 işletmeleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi destekleyeceklerini belirtti. Konuşmanın sonunda, "Güvenilir, güvenli, doğrulanabilir bir ağ protokol yığını, gerçek merkeziyetsiz bir geleceğe giden ana yol olacaktır." diye vurguladı.