Web3 Akademisyenler Zirvesinde Yale Profesörü LiDO Modelini İlk Kez Açıkladı

2025 Web3 Akademisyenler Zirvesi'nde, Yale Üniversitesi Bilgisayar Bilimleri Bölümü profesörü Zhao Zhong, "İncelenmiş Konsensüs Protokolü Güvenliği ve Aktivite Kanıtı: LiDO ve Genişlemesi" başlıklı bir ana konuşma yaptı ve ekibinin geliştirdiği LiDO modeli ile LiDO-DAG genişletme çerçevesini ilk kez kamuya açıkladı. Bu çığır açan başarı, karmaşık Bizans hata toleransı (BFT) konsensüs protokollerine mekanik olarak doğrulanabilir güvenlik ve aktivite kanıtı sağlamayı amaçlayarak, Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknik bir temel oluşturdu.

Profesör Shao Zhong, mevcut konsensüs protokollerinin yaygın olarak kullanılmasına rağmen, karmaşık uygulamaları nedeniyle genellikle potansiyel güvenlik açıklarını gizlediklerine dikkat çekti. Bu sorunu çözmek için, LiDO modeli yenilikçi bir şekilde üç katmanlı ayrıntılı bir doğrulama çerçevesi önermektedir:

1. Güvenli soyutlama katmanı: Protokolleri lineerleştirilmiş durum makinelerine haritalamak, günlük tutma tutarlılığını sağlamak (güvenlik);
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ı: Yeni nesil DAG protokollerini destekleyerek lider olmadan konsensüsün verimli doğrulanmasını sağlar.

Şu anda, LiDO, endüstriyel düzeydeki protokol Jolteon (iki aşamalı BFT) ve birçok DAG protokolünde başarıyla uygulanmış olup, 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 Zhao Zhong, konuşmasında şunları belirtti: "Günümüzde, PoS konsensüs protokolleri, güvenlik, aktivite ve merkeziyetsizlik arasında bir denge kurmakta zorluk yaşamaktadır. LiDO modeli, bu çıkmazı aşmak için önerilen sistematik bir tasarım planıdır."

Prof. Shao Zhong'un liderliğindeki ekip tarafından geliştirilen CertiKOS, dünya genelinde biçimsel doğrulama ile "hatasız" bir işletim sistemi olarak tanınan ilk sistemdir ve "siber fiziksel sistem güvenliğinde bir dönüm noktası" olarak adlandırılmaktadır. Bu başarı, sadece sistem güvenliği alanındaki teknik temellerini sağlamlaştırmakla kalmıyor, aynı zamanda derin birikimini de gözler önüne seriyor. Son yıllarda, Prof. Shao Zhong blockchain güvenliği üzerine yoğunlaşarak, 2017 yılında öğrencisi Prof. Gu Ronghui ile birlikte, biçimsel doğrulama teknolojisini akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenliğine entegre ederek, yüz milyar dolarlık kripto varlık güvenliğini korumaktadır.

LiDO şu anda model tasarımını ve formel doğrulamayı tamamladı ve ana akım kamu zincirleri ile merkeziyetsiz protokollerin entegrasyon olanaklarını keşfetmeye başladı. Profesör Shao Zhong, Web3.0'daki kritik mekanizmaları doğrulamaya kendilerini adadıklarını ve Web3 işletmeleri ile ekosisteminin uzun vadeli gelişim stratejilerini daha iyi desteklemek için tam döngü ürün ve hizmetler sunmayı hedeflediklerini belirtti. 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."