Web3 Akademisyenler Zirvesi'nde Yale Profesörü ilk kez LiDO modelini açıkladı
2025 Web3 Akademisyenleri Zirvesi bugün gerçekleştirildi. Yale Üniversitesi Bilgisayar Bilimleri Bölümü profesörü Zhao Zhong, ekibinin geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini tanıttığı ana konuşmayı yaptı. Bu yenilikçi sonuç, karmaşık Bizans hata toleransı (BFT) konsensüs protokollerine mekanik olarak doğrulanabilir güvenlik ve aktivite kanıtları sağlamayı amaçlıyor ve Web3 ekosisteminin güvenilirliği ve ölçeklenebilirliği için teknik bir temel oluşturuyor.
Profesör Shao Zhong, konuşmasında mevcut konsensüs protokollerinin (PBFT ve Jolteon gibi) yaygın olarak kullanıldığına dikkat çekmiş, ancak uygulama karmaşıklığı nedeniyle genellikle potansiyel açıklar barındırdığını belirtmiştir. Bu sorunu çözmek için LiDO modeli, üç katmanlı bir ayrıntılı doğrulama çerçevesi önermiştir:
Güvenli soyutlama katmanı: Protokolleri lineerleştirilmiş durum makinelerine eşleyerek, günlük tutma tutarlılığını (güvenliği) sağlar;
Aktif Güvence Katmanı: Ağ gecikmesi sorununu çözmek 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.
LiDO modeli, endüstriyel düzeydeki protokol Jolteon (iki aşamalı BFT) ve birçok DAG protokolüne başarıyla uygulanmış olup, 10.000'den fazla satır Coq kodunun mekanik kanıtını tamamlamıştır. Bu bağlamda, güvenlik ve aktivite doğrulama kodlarının toplamı sırasıyla 4000 satır ve 1700 satıra ulaşmıştır. Profesör Shao Zhong, konuşmasında şunları vurgulamıştır: "Şu anda, PoS konsensüs protokolleri genel olarak güvenlik, aktivite ve merkeziyetsizlik arasında denge kurmakta zorluk çekmektedir. LiDO modeli, bu çıkmazı aşmak için önerilen sistematik bir tasarım çözümüdür."
Dünyanın ilk "hatasız" işletim sistemi CertiKOS'un ana geliştiricisi olan Profesör Zhao Zhong, sistem güvenliği alanında derin bir birikime sahiptir. Son yıllarda araştırma odak noktasını blok zinciri güvenliğine kaydırmış, formel doğrulama tekniklerini akıllı sözleşmelerin ve zincir üzerindeki protokollerin güvenliğinin sağlanmasına uygulamayı hedeflemiş, milyarlarca dolarlık kripto varlıklar için güvenlik sağlama konusunda çalışmaktadır.
LiDO modeli şu anda tasarım ve biçimsel doğrulamayı tamamlamış olup, ana akım halka açık blok zincirleri ve merkeziyetsiz protokollerle entegrasyon olasılıklarını keşfetmektedir. 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.
Prof. Shao Zhong, konuşmasının sonunda şunları vurguladı: "Güvenilir, güvenli ve doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz 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.
19 Likes
Reward
19
5
Repost
Share
Comment
0/400
SocialFiQueen
· 08-14 22:25
Satoshi Nakamoto sessizce bu modeli çalıyor olabilir.
View OriginalReply0
WalletInspector
· 08-12 05:33
Bu teknolojinin iterasyonu çok katı.
View OriginalReply0
SleepyValidator
· 08-12 05:25
Ah, bir başka doğrulama modeli, Kriptografi pro'ları hepsi yarışıyor.
Yale profesörü LiDO modelini duyurdu, Web3 ekosistemine biçimsel güvenlik doğrulaması sağlıyor.
Web3 Akademisyenler Zirvesi'nde Yale Profesörü ilk kez LiDO modelini açıkladı
2025 Web3 Akademisyenleri Zirvesi bugün gerçekleştirildi. Yale Üniversitesi Bilgisayar Bilimleri Bölümü profesörü Zhao Zhong, ekibinin geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini tanıttığı ana konuşmayı yaptı. Bu yenilikçi sonuç, karmaşık Bizans hata toleransı (BFT) konsensüs protokollerine mekanik olarak doğrulanabilir güvenlik ve aktivite kanıtları sağlamayı amaçlıyor ve Web3 ekosisteminin güvenilirliği ve ölçeklenebilirliği için teknik bir temel oluşturuyor.
Profesör Shao Zhong, konuşmasında mevcut konsensüs protokollerinin (PBFT ve Jolteon gibi) yaygın olarak kullanıldığına dikkat çekmiş, ancak uygulama karmaşıklığı nedeniyle genellikle potansiyel açıklar barındırdığını belirtmiştir. Bu sorunu çözmek için LiDO modeli, üç katmanlı bir ayrıntılı doğrulama çerçevesi önermiştir:
LiDO modeli, endüstriyel düzeydeki protokol Jolteon (iki aşamalı BFT) ve birçok DAG protokolüne başarıyla uygulanmış olup, 10.000'den fazla satır Coq kodunun mekanik kanıtını tamamlamıştır. Bu bağlamda, güvenlik ve aktivite doğrulama kodlarının toplamı sırasıyla 4000 satır ve 1700 satıra ulaşmıştır. Profesör Shao Zhong, konuşmasında şunları vurgulamıştır: "Şu anda, PoS konsensüs protokolleri genel olarak güvenlik, aktivite ve merkeziyetsizlik arasında denge kurmakta zorluk çekmektedir. LiDO modeli, bu çıkmazı aşmak için önerilen sistematik bir tasarım çözümüdür."
Dünyanın ilk "hatasız" işletim sistemi CertiKOS'un ana geliştiricisi olan Profesör Zhao Zhong, sistem güvenliği alanında derin bir birikime sahiptir. Son yıllarda araştırma odak noktasını blok zinciri güvenliğine kaydırmış, formel doğrulama tekniklerini akıllı sözleşmelerin ve zincir üzerindeki protokollerin güvenliğinin sağlanmasına uygulamayı hedeflemiş, milyarlarca dolarlık kripto varlıklar için güvenlik sağlama konusunda çalışmaktadır.
LiDO modeli şu anda tasarım ve biçimsel doğrulamayı tamamlamış olup, ana akım halka açık blok zincirleri ve merkeziyetsiz protokollerle entegrasyon olasılıklarını keşfetmektedir. 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.
Prof. Shao Zhong, konuşmasının sonunda şunları vurguladı: "Güvenilir, güvenli ve doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz geleceğe giden ana yol olacaktır."