Web3 Akademisyenler Zirvesi'nde Yale Profesörü LiDO Modelini İlk Kez Açıkladı
2025 Web3 Akademisyenler Zirvesi bugün gerçekleştirildi, Yale Üniversitesi Bilgisayar Bilimleri Bölümü profesörü Zhao Zhong, "İncelemeye Dayalı Konsensüs Protokolü Güvenliği ve Canlılık Kanıtı: LiDO ve Genişletmeleri" başlıklı ana konuşmasını yaptı. Takımının geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini ilk kez kamuoyuna tanıttı. Bu çığır açan sonuç, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerine mekanik olarak doğrulanabilir güvenlik ve canlılık kanıtı sağlamak amacıyla tasarlandı ve Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknik bir temel oluşturmayı hedefliyor.
Prof. Shao Zhong belirtti ki, mevcut uzlaşma protokolleri (örneğin PBFT, Jolteon) yaygın olarak kullanılmasına rağmen, karmaşık uygulama nedeniyle potansiyel açıklar gizlenebiliyor. Bu sorunu çözmek için LiDO modeli yenilikçi bir şekilde üç katmanlı ayrıntılı doğrulama çerçevesi önermektedir:
Güvenli soyutlama katmanı: Protokolü lineerleştirilmiş bir durum makinesine haritalandırarak günlük tutma tutarlılığını sağlamak (güvenlik);
Aktif Güvence Katmanı: Ağ gecikmesi sorununu aşmak için "Pacemaker" mekanizmasını tanıtarak zaman aşımı yayını ve tur senkronizasyonu kullanır;
DAG genişletme katmanı: Narwhal, Bullshark gibi yeni DAG protokollerini destekleyerek lider olmayan konsensüsün etkili doğrulamasını sağlar.
Şu anda, LiDO, endüstriyel düzeydeki protokol Jolteon (iki aşamalı BFT) ve birçok DAG protokolüne başarıyla uygulanmış, on binlerce satırlık Coq kodunun mekanik kanıtını tamamlamıştır. Güvenlik ve canlılık doğrulama kod miktarı sırasıyla 4000 satır ve 1700 satırdır. Profesör Shao Zhong, konuşmasında şunu belirtti: "Günümüzde, PoS konsensüs protokolleri genel olarak güvenlik, canlılık ve merkezsizlik arasında bir denge kurma zorluğu ile karşı karşıya. LiDO modeli, bu zorluğu 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 kabul edilen ilk sistemdir ve "siber fiziksel sistem güvenliğinde bir dönüm noktası" olarak nitelendirilmektedir. Bu başarı, yalnızca güvenlik alanındaki teknik temellerini sağlamlaştırmakla kalmayıp, aynı zamanda sistem güvenliği alanındaki derin birikimini de gözler önüne sermektedir. Son yıllarda, Prof. Shao Zhong blockchain güvenliği üzerine yoğunlaşmış ve 2017 yılında öğrencisi Prof. Gu Ronghui ile birlikte bir blockchain güvenlik şirketi kurarak, biçimsel doğrulama teknolojisini akıllı sözleşmeler ve zincir üstü protokollerin güvence altına alınmasına entegre ederek, yüz milyar dolarlık kripto varlıkların güvenliğini sağlamaktadır.
LiDO şu anda model tasarımını ve biçimsel doğrulamayı tamamladı ve ana akım kamu blok zincirleri ile merkeziyetsiz protokollerin entegrasyon olanaklarını keşfetmeye başladı. Prof. Shao Zhong, Web3.0'da kritik mekanizmaları doğrulamaya kendilerini adadıklarını, böylece Web3 işletmeleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi desteklemek için tam döngü ürün ve hizmetler sunacaklarını belirtti. Konuşmasının sonunda, Prof. Shao Zhong, "Güvenilir, güvenli, doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz geleceğe giden anahtar yol olacaktır." dedi.
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.
10 Likes
Reward
10
4
Share
Comment
0/400
consensus_failure
· 08-03 18:27
Yine pratikte uygulanamaz, sadece teorik olarak kalıyor.
View OriginalReply0
MidsommarWallet
· 08-03 16:39
Yale de bu kalabalığa katılıyor mu?
View OriginalReply0
OnchainHolmes
· 08-03 16:38
Bu çok teorik, yeni başlayanları zor durumda bırakıyor.
Yale profesörü LiDO'yu ilk kez açıkladı: Web3 Konsensüs protokolü güvenlikte bir atılım
Web3 Akademisyenler Zirvesi'nde Yale Profesörü LiDO Modelini İlk Kez Açıkladı
2025 Web3 Akademisyenler Zirvesi bugün gerçekleştirildi, Yale Üniversitesi Bilgisayar Bilimleri Bölümü profesörü Zhao Zhong, "İncelemeye Dayalı Konsensüs Protokolü Güvenliği ve Canlılık Kanıtı: LiDO ve Genişletmeleri" başlıklı ana konuşmasını yaptı. Takımının geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini ilk kez kamuoyuna tanıttı. Bu çığır açan sonuç, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerine mekanik olarak doğrulanabilir güvenlik ve canlılık kanıtı sağlamak amacıyla tasarlandı ve Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknik bir temel oluşturmayı hedefliyor.
Prof. Shao Zhong belirtti ki, mevcut uzlaşma protokolleri (örneğin PBFT, Jolteon) yaygın olarak kullanılmasına rağmen, karmaşık uygulama nedeniyle potansiyel açıklar gizlenebiliyor. Bu sorunu çözmek için LiDO modeli yenilikçi bir şekilde üç katmanlı ayrıntılı doğrulama çerçevesi önermektedir:
Şu anda, LiDO, endüstriyel düzeydeki protokol Jolteon (iki aşamalı BFT) ve birçok DAG protokolüne başarıyla uygulanmış, on binlerce satırlık Coq kodunun mekanik kanıtını tamamlamıştır. Güvenlik ve canlılık doğrulama kod miktarı sırasıyla 4000 satır ve 1700 satırdır. Profesör Shao Zhong, konuşmasında şunu belirtti: "Günümüzde, PoS konsensüs protokolleri genel olarak güvenlik, canlılık ve merkezsizlik arasında bir denge kurma zorluğu ile karşı karşıya. LiDO modeli, bu zorluğu 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 kabul edilen ilk sistemdir ve "siber fiziksel sistem güvenliğinde bir dönüm noktası" olarak nitelendirilmektedir. Bu başarı, yalnızca güvenlik alanındaki teknik temellerini sağlamlaştırmakla kalmayıp, aynı zamanda sistem güvenliği alanındaki derin birikimini de gözler önüne sermektedir. Son yıllarda, Prof. Shao Zhong blockchain güvenliği üzerine yoğunlaşmış ve 2017 yılında öğrencisi Prof. Gu Ronghui ile birlikte bir blockchain güvenlik şirketi kurarak, biçimsel doğrulama teknolojisini akıllı sözleşmeler ve zincir üstü protokollerin güvence altına alınmasına entegre ederek, yüz milyar dolarlık kripto varlıkların güvenliğini sağlamaktadır.
LiDO şu anda model tasarımını ve biçimsel doğrulamayı tamamladı ve ana akım kamu blok zincirleri ile merkeziyetsiz protokollerin entegrasyon olanaklarını keşfetmeye başladı. Prof. Shao Zhong, Web3.0'da kritik mekanizmaları doğrulamaya kendilerini adadıklarını, böylece Web3 işletmeleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi desteklemek için tam döngü ürün ve hizmetler sunacaklarını belirtti. Konuşmasının sonunda, Prof. Shao Zhong, "Güvenilir, güvenli, doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz geleceğe giden anahtar yol olacaktır." dedi.