Web3 Akademisyenler Zirvesi: Yale Profesörü LiDO Modelini İlk Kez Kamuoyuna Açıklıyor
2025 Web3 Akademisyenler Zirvesi'nde, Yale Üniversitesi Bilgisayar Bilimleri Bölümü profesörü Zhao Zhong, "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ı. Bu konuşmada, ekibinin geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini ilk kez kamuoyuna 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ı hedeflemektedir ve Web3 ekosisteminin güvenilirliği ve büyük ölçekli gelişimi için teknik bir temel oluşturmaktadır.
Prof. Shao Zhong, in his speech, pointed out that although existing consensus protocols (such as PBFT, Jolteon) are widely used, their high implementation complexity often hides potential vulnerabilities. To address this issue, the LiDO model innovatively proposed a three-layer refined verification framework:
Güvenli soyut katman: Protokolü lineerleştirilmiş durum makinesine haritalamak, günlük tutma tutarlılığını (güvenliğini) sağlamak.
Aktivite Güvencesi Katmanı: Aşırı zaman yayını ve tur senkronizasyonu aracılığıyla ağ gecikmesi sorununu çözmek için "Pacemaker" mekanizmasını getirir.
DAG genişletme katmanı: Narwhal, Bullshark gibi yeni DAG protokollerini destekleyerek lider olmadan konsensüsün etkin doğrulamasını gerçekleştirir.
Şu anda, LiDO sanayi düzeyindeki Jolteon (iki aşamalı BFT) protokolü ve birçok DAG protokolünde başarıyla uygulanmıştır ve 10.000'den fazla satır Coq kodunun mekanize kanıtını tamamlamıştır. Güvenlik ve canlılık doğrulama kodlarının miktarı sırasıyla 4000 satır ve 1700 satırdır. Profesör Shao Zhong konuşmasında şunları vurgulamıştır: "Mevcut durumda, PoS konsensüs protokolleri genellikle güvenlik, canlılık ve merkeziyetsizlik arasında üçlü bir çelişkiyle karşı karşıyadır. LiDO modeli, bu çelişkiyi aşmak için önerilen sistematik bir tasarım çözümüdür."
Prof. Shao Zhong'un liderlik ettiği ekip, dünya çapında biçimsel doğrulama ile "hatasız" bir işletim sistemi geliştiren ilk ekip olan CertiKOS'u geliştirmiştir ve bu, "siber fiziksel sistem güvenliğinde bir dönüm noktası" olarak değerlendirilmektedir. Bu başarı, ilgili teknolojinin temelini atmakla kalmamış, aynı zamanda ekibin sistem güvenliği alanındaki derin birikimini de göstermiştir. Son yıllarda, Prof. Shao Zhong blok zinciri güvenliğini derinlemesine araştırmış, 2017'de bir güvenlik şirketi kurarak akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenliğini sağlamak için biçimsel doğrulama teknolojisini kullanmıştır ve milyarlarca 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 ve merkeziyetsiz protokollerle entegrasyon olasılıklarını araştırmaya başladı. Profesör Shao Zhong, Web3.0'daki anahtar mekanizmaları doğrulamaya kendilerini adadıklarını, böylece tam döngü ürün ve hizmetleri sunarak Web3 işletmeleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi destekleyeceklerini belirtti. Konuşmanın sonunda, Profesör Shao Zhong şunu vurguladı: "Güvenilir, güvenli ve doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz geleceğe giden anahtar yol olacak."
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.
12 Likes
Reward
12
4
Repost
Share
Comment
0/400
LayerZeroHero
· 8h ago
Büyük bir saçmalık! Bu herif Yale'e gitmiş.
View OriginalReply0
OPsychology
· 8h ago
Yale bu hamleyle harika oldu!
View OriginalReply0
wagmi_eventually
· 8h ago
Bir başka web3 hayal satışı
View OriginalReply0
AltcoinAnalyst
· 8h ago
Üç katmanlı çerçevenin eksikliklerine dikkat edilmesi önerilir, TVL verileri benzer teknolojilerin 90 gün içinde risk oranının %56'ya ulaştığını göstermektedir.
Yale profesörü, Web3 Konsensüs protokolü için mekanik doğrulama sağlayan LiDO modelini ilk kez açıkladı.
Web3 Akademisyenler Zirvesi: Yale Profesörü LiDO Modelini İlk Kez Kamuoyuna Açıklıyor
2025 Web3 Akademisyenler Zirvesi'nde, Yale Üniversitesi Bilgisayar Bilimleri Bölümü profesörü Zhao Zhong, "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ı. Bu konuşmada, ekibinin geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini ilk kez kamuoyuna 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ı hedeflemektedir ve Web3 ekosisteminin güvenilirliği ve büyük ölçekli gelişimi için teknik bir temel oluşturmaktadır.
Prof. Shao Zhong, in his speech, pointed out that although existing consensus protocols (such as PBFT, Jolteon) are widely used, their high implementation complexity often hides potential vulnerabilities. To address this issue, the LiDO model innovatively proposed a three-layer refined verification framework:
Şu anda, LiDO sanayi düzeyindeki Jolteon (iki aşamalı BFT) protokolü ve birçok DAG protokolünde başarıyla uygulanmıştır ve 10.000'den fazla satır Coq kodunun mekanize kanıtını tamamlamıştır. Güvenlik ve canlılık doğrulama kodlarının miktarı sırasıyla 4000 satır ve 1700 satırdır. Profesör Shao Zhong konuşmasında şunları vurgulamıştır: "Mevcut durumda, PoS konsensüs protokolleri genellikle güvenlik, canlılık ve merkeziyetsizlik arasında üçlü bir çelişkiyle karşı karşıyadır. LiDO modeli, bu çelişkiyi aşmak için önerilen sistematik bir tasarım çözümüdür."
Prof. Shao Zhong'un liderlik ettiği ekip, dünya çapında biçimsel doğrulama ile "hatasız" bir işletim sistemi geliştiren ilk ekip olan CertiKOS'u geliştirmiştir ve bu, "siber fiziksel sistem güvenliğinde bir dönüm noktası" olarak değerlendirilmektedir. Bu başarı, ilgili teknolojinin temelini atmakla kalmamış, aynı zamanda ekibin sistem güvenliği alanındaki derin birikimini de göstermiştir. Son yıllarda, Prof. Shao Zhong blok zinciri güvenliğini derinlemesine araştırmış, 2017'de bir güvenlik şirketi kurarak akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenliğini sağlamak için biçimsel doğrulama teknolojisini kullanmıştır ve milyarlarca 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 ve merkeziyetsiz protokollerle entegrasyon olasılıklarını araştırmaya başladı. Profesör Shao Zhong, Web3.0'daki anahtar mekanizmaları doğrulamaya kendilerini adadıklarını, böylece tam döngü ürün ve hizmetleri sunarak Web3 işletmeleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi destekleyeceklerini belirtti. Konuşmanın sonunda, Profesör Shao Zhong şunu vurguladı: "Güvenilir, güvenli ve doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz geleceğe giden anahtar yol olacak."