Web3 Akademisyenleri Zirvesi'nde Yale Üniversitesi profesörü yenilikçi Konsensüs protokolü doğrulama modelini açıkladı
2025 Web3 Akademisyenler Zirvesi'nde, Yale Üniversitesi Bilgisayar Bilimleri Bölümü profesörü Zhao Zhong, "İncelikli 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 ve LiDO-DAG genişletme çerçevesini ilk kez kamuoyuna açıkladı. Bu çığır açıcı sonuç, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerine mekanize edilebilir güvenlik ve aktiflik kanıtları sağlama amacı taşımaktadır ve Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknik bir temel oluşturmayı hedeflemektedir.
Profesör Shao Zhong, konuşmasında mevcut Konsensüs protokollerinin (örneğin PBFT, Jolteon) yaygın olarak kullanılmasına rağmen, uygulama karmaşıklığının genellikle potansiyel açıkları gizlediğini vurguladı. Bu sorunu çözmek için, LiDO modeli yenilikçi bir şekilde üç katmanlı detaylandırılmış doğrulama çerçevesi önerdi:
Güvenli soyutlama katmanı: Protokolü doğrusal bir durum makinesine haritalayarak kayıt tutma tutarlılığını sağlamak (güvenlik);
Aktif Güvence Katmanı: Aşırı zaman yayını ve tur senkronizasyonu yoluyla ağ gecikmesi sorununu çözmek için "Pacemaker" mekanizmasını getiriyor.
DAG genişleme katmanı: Narwhal, Bullshark gibi yeni DAG protokollerini destekler, lider olmadan konsensüsün verimli doğrulamasını gerçekleştirir.
Şu anda, LiDO endüstriyel düzeyde Jolteon (iki aşamalı BFT) ve birçok DAG protokolünde başarıyla uygulanmıştır, 10.000'den fazla Coq kodunun mekanik kanıtını tamamlamıştır, bu bağlamda güvenlik ve canlılık doğrulama kodu sırasıyla 4000 satır ve 1700 satırdır. Profesör Shao Zhong, konuşmasında şunları vurgulamıştır: "Günümüzde, PoS konsensüs protokolleri genellikle güvenlik, canlılık ve merkeziyetsizlik üçlüsünü bir arada sağlama zorluğu ile karşı karşıya. LiDO modeli, bu çıkmazı aşmak için sunulan sistematik bir tasarım çözümüdür."
Dünya genelinde biçimsel doğrulama ile "hatasız" işletim sistemi CertiKOS'un geliştiricisi olan Prof. Shao 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ış, 2017 yılında iş ortaklarıyla birlikte bir güvenlik şirketi kurarak biçimsel doğrulama teknolojisini akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenliğini sağlamak için kullanmış, büyük ölçekli kripto varlıkların güvenliğini sağlamıştı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 kritik 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 destekleyebileceklerini belirtti.
Konuşmanın sonunda, Profesör Shao Zhong ş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.
9 Likes
Reward
9
5
Share
Comment
0/400
AltcoinMarathoner
· 07-12 03:10
LiDO: büyük teknoloji kilometre taşı!
View OriginalReply0
OfflineNewbie
· 07-10 04:41
Araştırma çok ileri, anlayamıyorum.
View OriginalReply0
LiquidityOracle
· 07-09 03:54
LiDO'nun pratikte uygulanmasını dört gözle bekliyorum.
Yale profesörü LiDO'yu duyurdu: Web3 Konsensüs protokolü için doğrulanabilir güvenlik sağlıyor.
Web3 Akademisyenleri Zirvesi'nde Yale Üniversitesi profesörü yenilikçi Konsensüs protokolü doğrulama modelini açıkladı
2025 Web3 Akademisyenler Zirvesi'nde, Yale Üniversitesi Bilgisayar Bilimleri Bölümü profesörü Zhao Zhong, "İncelikli 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 ve LiDO-DAG genişletme çerçevesini ilk kez kamuoyuna açıkladı. Bu çığır açıcı sonuç, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerine mekanize edilebilir güvenlik ve aktiflik kanıtları sağlama amacı taşımaktadır ve Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknik bir temel oluşturmayı hedeflemektedir.
Profesör Shao Zhong, konuşmasında mevcut Konsensüs protokollerinin (örneğin PBFT, Jolteon) yaygın olarak kullanılmasına rağmen, uygulama karmaşıklığının genellikle potansiyel açıkları gizlediğini vurguladı. Bu sorunu çözmek için, LiDO modeli yenilikçi bir şekilde üç katmanlı detaylandırılmış doğrulama çerçevesi önerdi:
Şu anda, LiDO endüstriyel düzeyde Jolteon (iki aşamalı BFT) ve birçok DAG protokolünde başarıyla uygulanmıştır, 10.000'den fazla Coq kodunun mekanik kanıtını tamamlamıştır, bu bağlamda güvenlik ve canlılık doğrulama kodu sırasıyla 4000 satır ve 1700 satırdır. Profesör Shao Zhong, konuşmasında şunları vurgulamıştır: "Günümüzde, PoS konsensüs protokolleri genellikle güvenlik, canlılık ve merkeziyetsizlik üçlüsünü bir arada sağlama zorluğu ile karşı karşıya. LiDO modeli, bu çıkmazı aşmak için sunulan sistematik bir tasarım çözümüdür."
Dünya genelinde biçimsel doğrulama ile "hatasız" işletim sistemi CertiKOS'un geliştiricisi olan Prof. Shao 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ış, 2017 yılında iş ortaklarıyla birlikte bir güvenlik şirketi kurarak biçimsel doğrulama teknolojisini akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenliğini sağlamak için kullanmış, büyük ölçekli kripto varlıkların güvenliğini sağlamıştı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 kritik 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 destekleyebileceklerini belirtti.
Konuşmanın sonunda, Profesör Shao Zhong şunları vurguladı: "Güvenilir, güvenli ve doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz geleceğe giden ana yol olacaktır."