Web3 Akademisyenleri Zirvesi Yeni Nesil Konsensüs Protokolü Güvenlik Modelini Ortaya Koydu
2025 Web3 Akademisyen Zirvesi'nde, Yale Üniversitesi Bilgisayar Bilimleri Bölümü profesörü Shao 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ı ve ekibinin geliştirdiği LiDO modeli ile LiDO-DAG genişletme çerçevesini ilk kez kamuoyuna tanıttı. Bu çığır açan buluş, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerine mekanikleştirilebilir güvenlik ve aktiflik kanıtı sağlamayı amaçlamakta olup, Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknik bir temel oluşturmaktadır.
Prof. Shao Zhong, in his speech, pointed out that although existing konsensüs protokolleri such as PBFT and Jolteon have been widely used, their complexity of implementation often conceals potential vulnerabilities. To address this issue, the LiDO model innovatively proposes a three-layer refined verification framework:
Güvenli soyutlama katmanı: Protokolü lineerleştirilmiş durum makinesine haritalamak, günlük tutma tutarlılığını sağlamak (güvenlik);
Aktif Güvence Katmanı: Aşırı zaman yayını ve tur senkronizasyonu ile ağ gecikmesi sorununu çözmek için "Pacemaker" mekanizmasını tanıtır;
DAG genişleme katmanı: Narwhal, Bullshark gibi yeni DAG protokollerini destekleyerek lider olmadan Konsensüsün etkili bir şekilde doğrulanmasını sağlar.
Şu anda, LiDO endüstriyel düzeyde protokol Jolteon (iki aşamalı BFT) ve birçok DAG protokolünde başarıyla uygulanmış olup, 10.000'den fazla Coq kodunun mekanik kanıtını tamamlamıştır. Güvenlik ve canlılık doğrulama kodlarının miktarı sırasıyla 4000 ve 1700 satırdır. Profesör Shao Zhong, "Mevcut durumda, PoS konsensüs protokolleri genellikle güvenlik, canlılık ve merkeziyetsizlik üçlüsünü aynı anda sağlamada zorluklarla karşılaşmaktadır. LiDO modeli, bu çelişkiyi aşmak için önerilen sistematik bir tasarım çözümüdür."
Dünyanın ilk formel doğrulama ile "hatasız" işletim sistemi CertiKOS'un kurucusu olan Prof. Shao Zhong, sistem güvenliği alanında derin bir birikime sahiptir. Bu başarı, onun güvenlik teknolojisi alanındaki temelini sağlamlaştırmakla kalmamış, aynı zamanda sistem güvenliği konusundaki uzmanlığını da göstermiştir. Son yıllarda, Prof. Shao Zhong araştırma odak noktasını blok zinciri güvenliğine kaydırarak, formel doğrulama teknolojisini akıllı sözleşmeler ve zincir içi protokollerin güvenliğini sağlamak için uygulamaya adamıştır ve bu sayede yüz milyarlarca dolarlık kripto varlık için güvenlik koruması sağlamaktadır.
LiDO modeli şu anda tasarım ve biçimsel doğrulamayı tamamladı ve ana akım kamu zincirleri ve merkeziyetsiz protokollerle entegrasyon olasılıklarını keşfetmeye başladı. Profesör Shao Zhong, Web3.0'daki anahtar mekanizmaların doğrulanmasına odaklandıklarını, böylece tam döngü ürün ve hizmetleri sunarak Web3 şirketleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi desteklemeyi amaçladıklarını belirtti.
Konuşmanın sonunda, Profesör Shao Zhong vurguladı: "Güvenilir, güvenli ve doğrulanabilir bir ağ protokol yığını, gerçek merkeziyetsiz bir geleceğe giden ana yol olacaktır." Bu görüş, Web3 çağında, güvenli ve güvenilir bir altyapının, tüm ekosistemin sağlıklı bir şekilde gelişimini desteklemek için ne kadar önemli olduğunu vurgulamaktadı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.
11 Likes
Reward
11
7
Share
Comment
0/400
CrashHotline
· 07-24 20:28
Bu araştırma modellerinin pek bir önemi yok.
View OriginalReply0
ZenChainWalker
· 07-24 09:30
Hehe, hem övünüyor hem de güçlü.
View OriginalReply0
BTCBeliefStation
· 07-24 07:52
dang hala üç çörek açılmadı
View OriginalReply0
MoneyBurnerSociety
· 07-21 20:58
Bir başka cüzdanı boşaltma nedeni... Onu doğrudan araştırıyorum!
View OriginalReply0
MEV_Whisperer
· 07-21 20:58
Yeni bir model ve protokol gerçekten eğlenceli.
View OriginalReply0
LiquidationWatcher
· 07-21 20:58
Yine teori yapmaya başladılar, para kazanmak en somut olanı.
Web3 akademisyenleri zirvesi büyük bir olay: LiDO modeli konsensüs protokolü güvenliği için devrim niteliğinde
Web3 Akademisyenleri Zirvesi Yeni Nesil Konsensüs Protokolü Güvenlik Modelini Ortaya Koydu
2025 Web3 Akademisyen Zirvesi'nde, Yale Üniversitesi Bilgisayar Bilimleri Bölümü profesörü Shao 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ı ve ekibinin geliştirdiği LiDO modeli ile LiDO-DAG genişletme çerçevesini ilk kez kamuoyuna tanıttı. Bu çığır açan buluş, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerine mekanikleştirilebilir güvenlik ve aktiflik kanıtı sağlamayı amaçlamakta olup, Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknik bir temel oluşturmaktadır.
Prof. Shao Zhong, in his speech, pointed out that although existing konsensüs protokolleri such as PBFT and Jolteon have been widely used, their complexity of implementation often conceals potential vulnerabilities. To address this issue, the LiDO model innovatively proposes a three-layer refined verification framework:
Şu anda, LiDO endüstriyel düzeyde protokol Jolteon (iki aşamalı BFT) ve birçok DAG protokolünde başarıyla uygulanmış olup, 10.000'den fazla Coq kodunun mekanik kanıtını tamamlamıştır. Güvenlik ve canlılık doğrulama kodlarının miktarı sırasıyla 4000 ve 1700 satırdır. Profesör Shao Zhong, "Mevcut durumda, PoS konsensüs protokolleri genellikle güvenlik, canlılık ve merkeziyetsizlik üçlüsünü aynı anda sağlamada zorluklarla karşılaşmaktadır. LiDO modeli, bu çelişkiyi aşmak için önerilen sistematik bir tasarım çözümüdür."
Dünyanın ilk formel doğrulama ile "hatasız" işletim sistemi CertiKOS'un kurucusu olan Prof. Shao Zhong, sistem güvenliği alanında derin bir birikime sahiptir. Bu başarı, onun güvenlik teknolojisi alanındaki temelini sağlamlaştırmakla kalmamış, aynı zamanda sistem güvenliği konusundaki uzmanlığını da göstermiştir. Son yıllarda, Prof. Shao Zhong araştırma odak noktasını blok zinciri güvenliğine kaydırarak, formel doğrulama teknolojisini akıllı sözleşmeler ve zincir içi protokollerin güvenliğini sağlamak için uygulamaya adamıştır ve bu sayede yüz milyarlarca dolarlık kripto varlık için güvenlik koruması sağlamaktadır.
LiDO modeli şu anda tasarım ve biçimsel doğrulamayı tamamladı ve ana akım kamu zincirleri ve merkeziyetsiz protokollerle entegrasyon olasılıklarını keşfetmeye başladı. Profesör Shao Zhong, Web3.0'daki anahtar mekanizmaların doğrulanmasına odaklandıklarını, böylece tam döngü ürün ve hizmetleri sunarak Web3 şirketleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi desteklemeyi amaçladıklarını belirtti.
Konuşmanın sonunda, Profesör Shao Zhong vurguladı: "Güvenilir, güvenli ve doğrulanabilir bir ağ protokol yığını, gerçek merkeziyetsiz bir geleceğe giden ana yol olacaktır." Bu görüş, Web3 çağında, güvenli ve güvenilir bir altyapının, tüm ekosistemin sağlıklı bir şekilde gelişimini desteklemek için ne kadar önemli olduğunu vurgulamaktadır.