Web3 Akademisyenleri Zirvesi: Yale Üniversitesi Profesörü LiDO Modeli ve Genişletilmiş Çerçevesini Açıkladı
2025 Web3 Akademisyenler Zirvesi'nde, Yale Üniversitesi Bilgisayar Bilimleri Bölümü profesörü Zhao Zhong, "İnceleme Temelli Konsensüs Protokolü Güvenliği ve Aktiflik Kanıtı: LiDO ve Genişletmeleri" başlıklı ana konuşmasını yaparak, ekibinin geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini ilk kez kamuya tanıttı. Bu yenilikçi sonuç, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerine mekanik olarak doğrulanabilir güvenlik ve aktiflik kanıtı sunmayı 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 despite the widespread use of existing consensus protocols (such as PBFT and Jolteon), they often hide potential vulnerabilities due to implementation complexity. To address this issue, the LiDO model innovatively proposed a three-layer refined verification framework:
Güvenli soyutlama katmanı: Protokolü doğrusal bir durum makinesine haritalama, günlük tutma tutarlılığını sağlama (güvenlik);
Aktif Güvence Katmanı: Ağ gecikmesi sorununu çözmek için "Pacemaker" mekanizmasını tanıtarak zaman aşımı yayını ve tur senkronizasyonu sağlar;
DAG genişletme katmanı: Narwhal, Bullshark gibi yeni DAG protokollerini destekler, lider olmadan konsensüsün verimli doğrulanmasını sağlar.
Şu anda, LiDO endüstriyel düzeydeki Jolteon (iki aşamalı BFT) protokolü ve birçok DAG protokolünde başarıyla uygulanmış olup, 10.000'den fazla satır Coq kodunun mekanik kanıtını tamamlamıştır. Güvenlik ve canlılık doğrulama kodu sırasıyla 4000 ve 1700 satırdır. Prof. Zhao Zhong, konuşmasında şunu vurguladı: "Şu anda, PoS konsensüs protokolleri güvenlik, canlılık ve merkeziyetsizlik arasında dengeli bir şekilde var olma zorluğuyla karşı karşıya. LiDO modeli, bu zorluğun üstesinden gelmek için önerilen sistematik bir tasarım çözümüdür."
Dünyanın ilk "hatasız" işletim sistemi CertiKOS'un geliştiricisi olan Profesör Shao Zhong ve ekibi, sistem güvenliği alanında derin bir deneyim birikimi sağladı. Bu başarı, sadece güvenlik şirketleri için teknik bir temel oluşturmakla kalmadı, aynı zamanda sistem güvenliği alanındaki uzmanlıklarını da sergiledi. Son yıllarda, Profesör Shao Zhong araştırmalarını blockchain güvenliğine odakladı ve 2017'de ortaklarıyla birlikte bir güvenlik şirketi kurarak, formel doğrulama teknolojisini akıllı sözleşmeler ve zincir üstü protokollerin güvenliği için entegre etti ve yüz milyarlarca dolarlık kripto varlık için güvenlik sağladı.
LiDO şu anda model tasarımını ve biçimsel doğrulamayı tamamladı ve ana akım blockchainler ve merkeziyetsiz protokollerle entegrasyon olasılıklarını keşfetmeye başladı. Profesör Zhao Zhong, Web3.0'daki kritik mekanizmaları doğrulamaya odaklandıklarını ve Web3 şirketleri ile ekosisteminin uzun vadeli gelişim stratejilerini daha iyi desteklemek için tüm döngü ürün ve hizmetleri sunmayı taahhüt ettiklerini belirtti. Konuşmanın sonunda, Profesör Zhao Zhong, "Güvenilir, güvenli ve doğrulanabilir bir 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.
20 Likes
Reward
20
5
Repost
Share
Comment
0/400
NonFungibleDegen
· 8h ago
bullish af yalenin yeni defi sosuna... serin apelemek
View OriginalReply0
ShamedApeSeller
· 08-14 00:08
Bir başka aldatmaca.
View OriginalReply0
CryptoWageSlave
· 08-14 00:06
Yine bir belge geldi, çay bile mahkum oldu.
View OriginalReply0
OfflineNewbie
· 08-14 00:03
Yine enayileri insan yerine koyarak para kesiyorlar.
Yale profesörü LiDO modelini yayımladı: Web3 Konsensüs protokolü için doğrulanabilir güvenlik sağlıyor.
Web3 Akademisyenleri Zirvesi: Yale Üniversitesi Profesörü LiDO Modeli ve Genişletilmiş Çerçevesini Açıkladı
2025 Web3 Akademisyenler Zirvesi'nde, Yale Üniversitesi Bilgisayar Bilimleri Bölümü profesörü Zhao Zhong, "İnceleme Temelli Konsensüs Protokolü Güvenliği ve Aktiflik Kanıtı: LiDO ve Genişletmeleri" başlıklı ana konuşmasını yaparak, ekibinin geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini ilk kez kamuya tanıttı. Bu yenilikçi sonuç, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerine mekanik olarak doğrulanabilir güvenlik ve aktiflik kanıtı sunmayı 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 despite the widespread use of existing consensus protocols (such as PBFT and Jolteon), they often hide potential vulnerabilities due to implementation complexity. To address this issue, the LiDO model innovatively proposed a three-layer refined verification framework:
Şu anda, LiDO endüstriyel düzeydeki Jolteon (iki aşamalı BFT) protokolü ve birçok DAG protokolünde başarıyla uygulanmış olup, 10.000'den fazla satır Coq kodunun mekanik kanıtını tamamlamıştır. Güvenlik ve canlılık doğrulama kodu sırasıyla 4000 ve 1700 satırdır. Prof. Zhao Zhong, konuşmasında şunu vurguladı: "Şu anda, PoS konsensüs protokolleri güvenlik, canlılık ve merkeziyetsizlik arasında dengeli bir şekilde var olma zorluğuyla karşı karşıya. LiDO modeli, bu zorluğun üstesinden gelmek için önerilen sistematik bir tasarım çözümüdür."
Dünyanın ilk "hatasız" işletim sistemi CertiKOS'un geliştiricisi olan Profesör Shao Zhong ve ekibi, sistem güvenliği alanında derin bir deneyim birikimi sağladı. Bu başarı, sadece güvenlik şirketleri için teknik bir temel oluşturmakla kalmadı, aynı zamanda sistem güvenliği alanındaki uzmanlıklarını da sergiledi. Son yıllarda, Profesör Shao Zhong araştırmalarını blockchain güvenliğine odakladı ve 2017'de ortaklarıyla birlikte bir güvenlik şirketi kurarak, formel doğrulama teknolojisini akıllı sözleşmeler ve zincir üstü protokollerin güvenliği için entegre etti ve yüz milyarlarca dolarlık kripto varlık için güvenlik sağladı.
LiDO şu anda model tasarımını ve biçimsel doğrulamayı tamamladı ve ana akım blockchainler ve merkeziyetsiz protokollerle entegrasyon olasılıklarını keşfetmeye başladı. Profesör Zhao Zhong, Web3.0'daki kritik mekanizmaları doğrulamaya odaklandıklarını ve Web3 şirketleri ile ekosisteminin uzun vadeli gelişim stratejilerini daha iyi desteklemek için tüm döngü ürün ve hizmetleri sunmayı taahhüt ettiklerini belirtti. Konuşmanın sonunda, Profesör Zhao Zhong, "Güvenilir, güvenli ve doğrulanabilir bir ağ protokol yığını, gerçek merkeziyetsiz geleceğe giden ana yol olacaktır."