Web3 Akademisyenleri Zirvesi'nde Yale Profesörü Konsensüs Protokolü Güvenliği Araştırma Gelişmelerini Paylaştı

2025 Web3 akademisyenleri zirvesinde, Yale Üniversitesi Bilgisayar Bilimleri Bölümü Profesörü Zhao Zhong, "Ayrıntılı Konsensüs Protokolünün Güvenliği ve Aktiflik Kanıtı: LiDO ve Genişletmeleri" başlıklı ana konuşmasını yaptı ve ilk kez ekibinin geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini kamuoyuna açıkladı. Bu çığır açıcı sonuç, karmaşık Bizans hata toleransı (BFT) konsensüs protokollerine mekanik olarak doğrulanabilir güvenlik ve aktiflik kanıtı sağlamayı amaçlayarak, Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknik bir temel oluşturmayı hedefliyor.

Prof. Shao Zhong, yaptığı konuşmada mevcut Konsensüs protokollerinin (örneğin PBFT, Jolteon) yaygın olarak kullanıldığını ancak karmaşık gerçekleştirimlerinin potansiyel açıkları gizleyebileceğini belirtti. Bu sorunu çözmek için LiDO modeli yenilikçi bir şekilde üç katmanlı bir ayrıntılı doğrulama çerçevesi önerdi:

1. Güvenli soyut katman: Protokolü lineerleştirilmiş durum makinesi olarak haritalamak, günlük tutma tutarlılığını (güvenliği) sağlamak;
2. Aktif Güvence Katmanı: Ağ gecikmesi sorununu aşmak için zaman aşımı yayını ve tur senkronizasyonu aracılığıyla "Pacemaker" mekanizmasını 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, endüstriyel düzeydeki protokol Jolteon (iki aşamalı BFT) ve birçok DAG protokolünde başarılı bir şekilde uygulanmış, on binlerce satırlık Coq kodunun mekanik kanıtını tamamlamıştır. Güvenlik ve aktivite doğrulama kod miktarları sırasıyla 4000 satır ve 1700 satırdır. Profesör Shao Zhong, konuşmasında şunları belirtti: "Günümüzde, PoS konsensüs protokolleri genellikle güvenlik, aktivite ve merkeziyetsizlik arasında bir denge sağlamada zorluk yaşamaktadır. LiDO modeli, bu zorluğu aşmak için önerilen sistematik bir tasarım çözümüdür."

Önemli bir not, Profesör Zhao 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ği için bir dönüm noktası" olarak değerlendirilmektedir. Bu başarı, sistem güvenliği alanındaki derin birikimini sağlamlaştırmakla kalmamış, aynı zamanda sonraki blok zinciri güvenliği araştırmaları için sağlam bir temel oluşturmuştur. 2017 yılında, Profesör Zhao Zhong ve öğrencisi Profesör Gu Ronghui, biçimsel doğrulama teknolojisini akıllı sözleşmeler ve zincir üstü protokollerin güvenliği alanına entegre ederek, kripto varlık güvenliğine önemli bir destek sağlamışlardır.

LiDO şu anda model tasarımını ve biçimsel doğrulamayı tamamladı ve ana akım halka açık zincirler ve merkeziyetsiz protokollerle entegrasyon olasılıklarını keşfetmeye başladı. Profesör Shao Zhong, Web3.0'daki kritik mekanizmaları doğrulamaya kendilerini adadıklarını belirtti ve Web3 işletmeleri ile ekosisteminin uzun vadeli gelişim stratejilerini daha iyi desteklemek için tam döngü ürün ve hizmetleri sunmayı hedeflediklerini ifade etti. Konuşmanın sonunda, Profesör Shao Zhong şunları vurguladı: "Güvenilir, güvenli ve doğrulanabilir ağ protokol yığını, gerçekten merkeziyetsiz bir geleceğe giden anahtar yol olacaktır."