Web3 Akademisyenleri Zirvesi'nde Yale Profesörü, LiDO modelini ilk kez açıkladı
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ı ana konuşmasını yaparak, ekibinin geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini kamuoyuna 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ı sağlamayı amaçlayarak, Web3 ekosisteminin güvenilirliği ve büyük ölçekli gelişimi için zemin hazırlamaktadır.
Prof. Shao Zhong, in his speech, pointed out that although existing consensus protocols (such as PBFT, Jolteon) are widely used, there are often potential security risks due to implementation complexity. To address this issue, the LiDO model proposed an innovative three-layer refinement verification framework:
Güvenli soyutlama katmanı: Protokolü lineerleştirilmiş durum makinesine eşleyerek, günlük tutma tutarlılığını sağlamak ve güvenliği temin etmek;
Aktif Güvence Katmanı: Ağ gecikmesi sorununu çözmek için "Pacemaker" mekanizmasını, zaman aşımı yayını ve tur senkronizasyonunu kullanarak getirir;
DAG genişleme katmanı: Narwhal, Bullshark gibi yeni DAG protokollerini destekleyerek etkili lider olmadan konsensüs doğrulaması sağlar.
Şu anda, LiDO endüstriyel düzeydeki Jolteon (iki aşamalı BFT) protokolü ve çeşitli DAG protokollerinde başarıyla uygulanmış olup, 10.000'den fazla Coq kodu otomatik kanıtı tamamlanmıştır. 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ı vurguladı: "Şu anda, PoS konsensüs protokolleri genellikle güvenlik, canlılık ve merkeziyetsizlik arasında bir denge kurmakta zorluk yaşamaktadır. LiDO modeli, bu durumu aşmak için önerilen sistematik bir tasarım çözümüdür."
Prof. Shao Zhong'un liderlik ettiği ekip daha önce CertiKOS'u geliştirmiştir; bu, dünya genelinde formel doğrulama ile "açık olmayan" bir işletim sistemi olarak kabul edilen ilk sistemdir ve endüstri tarafından "siber fiziksel sistem güvenliğinde bir dönüm noktası" olarak nitelendirilmiştir. Bu başarı yalnızca 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 yılında meslektaşlarıyla birlikte bir güvenlik şirketi kurmuş ve formel doğrulama teknolojisini akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenliğine entegre etmiştir; bu sayede yüz milyarlarca dolarlık kripto varlıkların güvenliğini sağlamıştır.
LiDO şu anda model tasarımını ve formel doğrulamayı tamamladı ve ana akım halka açık blok zincirleri ile merkeziyetsiz protokollerin entegrasyon olasılıklarını araştırmaya 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 destekleyeceklerini belirtti. Konuşmanın sonunda, Profesör Shao Zhong şunları vurguladı: "Güvenilir, güvenli ve doğrulanabilir bir ağ protokol yığını, gerçek merkeziyetsiz bir geleceğe giden anahtar 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.
15 Likes
Reward
15
7
Share
Comment
0/400
LiquidityWitch
· 07-25 10:19
Bu dalga tam anlamıyla savunmayı aştı.
View OriginalReply0
CryptoMotivator
· 07-24 15:10
Tamamen alakasız, burada model araştırması yapıyor.
View OriginalReply0
New_Ser_Ngmi
· 07-22 16:54
Gerçekten mi, hala Bizans'ı mı inceliyorsun?
View OriginalReply0
FlyingLeek
· 07-22 16:53
Blok Zinciri hissedarları, bir ağ bir ağ bir ağ zarar
View OriginalReply0
UnluckyLemur
· 07-22 16:42
Bu bir aldatmaca değil, değil mi?
View OriginalReply0
LidoStakeAddict
· 07-22 16:42
boğa bu durumda bft Konsensüs güvenli hale geldi
View OriginalReply0
GweiWatcher
· 07-22 16:41
Artık on-chain yönetişimi güvence altına alınmış durumda.
Yale profesörü LiDO modelini yayınladı: Web3 Konsensüs protokollerine Biçimsel Doğrulama sağlıyor.
Web3 Akademisyenleri Zirvesi'nde Yale Profesörü, LiDO modelini ilk kez açıkladı
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ı ana konuşmasını yaparak, ekibinin geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini kamuoyuna 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ı sağlamayı amaçlayarak, Web3 ekosisteminin güvenilirliği ve büyük ölçekli gelişimi için zemin hazırlamaktadır.
Prof. Shao Zhong, in his speech, pointed out that although existing consensus protocols (such as PBFT, Jolteon) are widely used, there are often potential security risks due to implementation complexity. To address this issue, the LiDO model proposed an innovative three-layer refinement verification framework:
Şu anda, LiDO endüstriyel düzeydeki Jolteon (iki aşamalı BFT) protokolü ve çeşitli DAG protokollerinde başarıyla uygulanmış olup, 10.000'den fazla Coq kodu otomatik kanıtı tamamlanmıştır. 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ı vurguladı: "Şu anda, PoS konsensüs protokolleri genellikle güvenlik, canlılık ve merkeziyetsizlik arasında bir denge kurmakta zorluk yaşamaktadır. LiDO modeli, bu durumu aşmak için önerilen sistematik bir tasarım çözümüdür."
Prof. Shao Zhong'un liderlik ettiği ekip daha önce CertiKOS'u geliştirmiştir; bu, dünya genelinde formel doğrulama ile "açık olmayan" bir işletim sistemi olarak kabul edilen ilk sistemdir ve endüstri tarafından "siber fiziksel sistem güvenliğinde bir dönüm noktası" olarak nitelendirilmiştir. Bu başarı yalnızca 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 yılında meslektaşlarıyla birlikte bir güvenlik şirketi kurmuş ve formel doğrulama teknolojisini akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenliğine entegre etmiştir; bu sayede yüz milyarlarca dolarlık kripto varlıkların güvenliğini sağlamıştır.
LiDO şu anda model tasarımını ve formel doğrulamayı tamamladı ve ana akım halka açık blok zincirleri ile merkeziyetsiz protokollerin entegrasyon olasılıklarını araştırmaya 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 destekleyeceklerini belirtti. Konuşmanın sonunda, Profesör Shao Zhong şunları vurguladı: "Güvenilir, güvenli ve doğrulanabilir bir ağ protokol yığını, gerçek merkeziyetsiz bir geleceğe giden anahtar yol olacaktır."