2025'te Web3 Akademisyenleri Zirvesi düzenlendi, Yale Üniversitesi Bilgisayar Bilimleri Bölümü profesörü Shao Zhong, ana konuşmasını yaptı ve ekibinin geliştirdiği LiDO modelini ve LiDO-DAG genişleme çerçevesini ilk kez açıkladı. Bu çığır açıcı başarı, karmaşık Bizans hata toleransı (BFT) konsensüs protokolü için mekanik olarak doğrulanabilir güvenlik ve canlılık kanıtları sağlamayı hedefliyor ve Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknik bir temel oluşturuyor.
Prof. Shao Zhong, konuşmasında mevcut konsensüs protokollerinin yaygın olarak kullanıldığını ancak karmaşık uygulanabilirliklerinin potansiyel açıkları gizleyebileceğini belirtti. Bu sorunu çözmek için LiDO modeli yenilikçi bir şekilde üç katmanlı detaylı doğrulama çerçevesi önerdi:
Güvenli soyutlama katmanı: Protokolü doğrusal durum makinesine haritalamak, günlük tutma tutarlılığını sağlamak (güvenlik);
Aktif Güvence Katmanı: Aşırı zaman aşımı yayını ve tur senkronizasyonu ile ağ gecikmesi sorununu aşmak için "Pacemaker" mekanizmasını tanıtmaktadır;
DAG genişletme katmanı: Yeni DAG protokollerini destekler, lider olmadan Konsensüs'ün etkili doğrulanmasını sağlar.
Şu anda, LiDO endüstriyel düzeyde protokollere ve birçok DAG protokolüne başarıyla uygulanmış, 10.000'den fazla satırlık Coq kodunun mekanik kanıtını tamamlamış, güvenlik ve etkinlik doğrulama kodu sırasıyla 4000 satır ve 1700 satıra ulaşmıştır. Profesör Shao Zhong, konuşmasında şunları belirtti: "Mevcut durumda, PoS konsensüs protokolleri genellikle güvenlik, etkinlik ve merkeziyetsizlik arasında bir denge kurma zorluğuyla karşı karşıyadır. LiDO modeli, bu zorluğu aşmak için önerilmiş sistematik bir tasarım çözümüdür."
Prof. Shao Zhong'un liderliğindeki ekip tarafından geliştirilen CertiKOS, formel doğrulama ile "hatasız" bir işletim sistemi olarak dünyada ilk olan, "siber fiziksel sistem güvenliğinde bir kilometre taşı" olarak anılmaktadır. Bu başarı, yalnızca şirketinin teknik temelini oluşturmakla kalmamış, aynı zamanda sistem güvenliği alanındaki derin birikimini de göstermektedir. Son yıllarda Prof. Shao Zhong, blok zinciri güvenliği üzerinde derinlemesine çalışarak, 2017 yılında öğrencisi Prof. Gu Ronghui ile birlikte bir şirket kurmuş, formel doğrulama teknolojisini akıllı sözleşmeler ve zincir üstü protokollerin güvenliğine entegre ederek, yüz milyar dolarlık kripto varlık güvenliğini sağlamaktadır.
LiDO şu anda model tasarımını ve formel doğrulamayı tamamladı ve ana akım halka açık blok zincirleri ile merkeziyetsiz protokollerin entegrasyon olasılıklarını keşfetmeye başladı. Profesör Zhao Zhong, Web3.0'daki 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 destekleyebileceklerini söyledi. Konuşmanın sonunda, Profesör Zhao Zhong şunu vurguladı: "Güvenilir, güvenli ve doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz bir geleceğe giden ana yol olacaktır."
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Yale profesörü LiDO modelini yayımladı, Web3 Konsensüs protokolü doğrulama sorununu aştı.
Web3 Akademisyenler Zirvesi: Yale Profesörü Yenilikçi Konsensüs Protokolü Doğrulama Modeli Önerdi
2025'te Web3 Akademisyenleri Zirvesi düzenlendi, Yale Üniversitesi Bilgisayar Bilimleri Bölümü profesörü Shao Zhong, ana konuşmasını yaptı ve ekibinin geliştirdiği LiDO modelini ve LiDO-DAG genişleme çerçevesini ilk kez açıkladı. Bu çığır açıcı başarı, karmaşık Bizans hata toleransı (BFT) konsensüs protokolü için mekanik olarak doğrulanabilir güvenlik ve canlılık kanıtları sağlamayı hedefliyor ve Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknik bir temel oluşturuyor.
Prof. Shao Zhong, konuşmasında mevcut konsensüs protokollerinin yaygın olarak kullanıldığını ancak karmaşık uygulanabilirliklerinin potansiyel açıkları gizleyebileceğini belirtti. Bu sorunu çözmek için LiDO modeli yenilikçi bir şekilde üç katmanlı detaylı doğrulama çerçevesi önerdi:
Şu anda, LiDO endüstriyel düzeyde protokollere ve birçok DAG protokolüne başarıyla uygulanmış, 10.000'den fazla satırlık Coq kodunun mekanik kanıtını tamamlamış, güvenlik ve etkinlik doğrulama kodu sırasıyla 4000 satır ve 1700 satıra ulaşmıştır. Profesör Shao Zhong, konuşmasında şunları belirtti: "Mevcut durumda, PoS konsensüs protokolleri genellikle güvenlik, etkinlik ve merkeziyetsizlik arasında bir denge kurma zorluğuyla karşı karşıyadır. LiDO modeli, bu zorluğu aşmak için önerilmiş sistematik bir tasarım çözümüdür."
Prof. Shao Zhong'un liderliğindeki ekip tarafından geliştirilen CertiKOS, formel doğrulama ile "hatasız" bir işletim sistemi olarak dünyada ilk olan, "siber fiziksel sistem güvenliğinde bir kilometre taşı" olarak anılmaktadır. Bu başarı, yalnızca şirketinin teknik temelini oluşturmakla kalmamış, aynı zamanda sistem güvenliği alanındaki derin birikimini de göstermektedir. Son yıllarda Prof. Shao Zhong, blok zinciri güvenliği üzerinde derinlemesine çalışarak, 2017 yılında öğrencisi Prof. Gu Ronghui ile birlikte bir şirket kurmuş, formel doğrulama teknolojisini akıllı sözleşmeler ve zincir üstü protokollerin güvenliğine entegre ederek, yüz milyar dolarlık kripto varlık güvenliğini sağlamaktadır.
LiDO şu anda model tasarımını ve formel doğrulamayı tamamladı ve ana akım halka açık blok zincirleri ile merkeziyetsiz protokollerin entegrasyon olasılıklarını keşfetmeye başladı. Profesör Zhao Zhong, Web3.0'daki 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 destekleyebileceklerini söyledi. Konuşmanın sonunda, Profesör Zhao Zhong şunu vurguladı: "Güvenilir, güvenli ve doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz bir geleceğe giden ana yol olacaktır."