Yale Profesörü Web3 Akademisyenler Zirvesi'nde LiDO Modelini İlk Kez Açıkladı
2025 Web3 Akademisyen 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şlemesi" başlıklı bir anahtar kelime konuşması yaptı ve ilk kez ekibinin geliştirdiği LiDO modelini ve LiDO-DAG genişleme çerçevesini 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ğlamak amacıyla tasarlanmıştır ve 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 existing consensus protocols (such as PBFT, Jolteon), although widely used, often hide potential vulnerabilities due to their complex implementation. To address this issue, the LiDO model proposed a three-layer refined verification framework:
Güvenli soyut katman: Protokolleri doğrusal durum makinesine dönüştürerek, günlük tutma tutarlılığını sağlamak (güvenlik);
Aktif Güvence Katmanı: Ağ gecikmesi sorununu aşmak için "Pacemaker" mekanizmasını, zaman aşımı yayını ve tur senkronizasyonunu kullanarak entegre eder;
DAG genişleme katmanı: Yeni nesil DAG protokollerini destekler, lider olmadan konsensüsün verimli doğrulanmasını sağlar.
Şu anda, LiDO endüstriyel düzeyde Joltan (iki aşamalı BFT) protokolü ve birçok DAG protokolüne başarıyla uygulanmış olup, 10.000'den fazla Coq kodu mekanize kanıtı tamamlanmıştır. Bu mekanize kanıtın güvenlik ve canlılık doğrulama kodlarının miktarı sırasıyla 4000 satır ve 1700 satıra ulaşmıştır. Profesör Shao Zhong konuşmasında şunu vurgulamıştır: "Günümüzde, PoS konsensüs protokolleri güvenlik, canlılık ve merkezsizlik üçlüsünü aynı anda elde etme zorluğu ile karşı karşıya. LiDO modeli bu zorluğu aşmak için önerilen sistematik bir tasarım çözümüdür."
Prof. Shao Zhong'un liderlik ettiği ekip, daha önce dünyanın ilk "hatasız" işletim sistemi olan CertiKOS'u geliştirmiştir ve bu sistem, "siber fiziksel sistem güvenliği için bir dönüm noktası" olarak kabul edilmektedir. Bu başarı, sadece sistem güvenliği alanındaki derin birikimini göstermekle kalmayıp, aynı zamanda sonrasında blockchain güvenliği alanındaki araştırmalarına da zemin hazırlamıştır. 2017'de Prof. Shao Zhong, blockchain güvenliği üzerine derinlemesine araştırmalara başlamış ve formel doğrulama teknolojisini akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenliğine entegre ederek birçok kripto varlığın güvenliğini sağlamıştır.
LiDO modeli şu anda tasarım ve biçimsel doğrulama aşamasını tamamladı ve ana akım halka açık blok zincirleri ile merkeziyetsiz protokollerin entegrasyon olanaklarını keşfetmeye başladı. Profesör Shao Zhong, Web3.0'daki kritik 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 destekleyeceklerini belirtti. Konuşmanın sonunda, Profesör Shao Zhong şunu vurguladı: "Güvenilir, güvenli ve doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz 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.
8 Likes
Reward
8
5
Repost
Share
Comment
0/400
SchrodingerWallet
· 10h ago
Yale de Bizans oynayabilir, bunu gerçekleştirebilir.
View OriginalReply0
NftMetaversePainter
· 10h ago
sonunda... birinin konsensüs protokollerinin algoritmik estetiğini ele alması. bu saf bir hesaplama şiiri, yalan söylemiyorum.
View OriginalReply0
PensionDestroyer
· 10h ago
Artık web3 kendi hatalarını düzeltebilecek.
View OriginalReply0
AirdropATM
· 10h ago
Bekle, bu bir güvenlik katmanı yazmak değil mi? Eski şarap yeni şişe gibi.
Yale profesörü LiDO modelini tanıttı, Web3 Konsensüs protokolü güvenli doğrulamasına yardımcı oluyor.
Yale Profesörü Web3 Akademisyenler Zirvesi'nde LiDO Modelini İlk Kez Açıkladı
2025 Web3 Akademisyen 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şlemesi" başlıklı bir anahtar kelime konuşması yaptı ve ilk kez ekibinin geliştirdiği LiDO modelini ve LiDO-DAG genişleme çerçevesini 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ğlamak amacıyla tasarlanmıştır ve 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 existing consensus protocols (such as PBFT, Jolteon), although widely used, often hide potential vulnerabilities due to their complex implementation. To address this issue, the LiDO model proposed a three-layer refined verification framework:
Şu anda, LiDO endüstriyel düzeyde Joltan (iki aşamalı BFT) protokolü ve birçok DAG protokolüne başarıyla uygulanmış olup, 10.000'den fazla Coq kodu mekanize kanıtı tamamlanmıştır. Bu mekanize kanıtın güvenlik ve canlılık doğrulama kodlarının miktarı sırasıyla 4000 satır ve 1700 satıra ulaşmıştır. Profesör Shao Zhong konuşmasında şunu vurgulamıştır: "Günümüzde, PoS konsensüs protokolleri güvenlik, canlılık ve merkezsizlik üçlüsünü aynı anda elde etme zorluğu ile karşı karşıya. LiDO modeli bu zorluğu aşmak için önerilen sistematik bir tasarım çözümüdür."
Prof. Shao Zhong'un liderlik ettiği ekip, daha önce dünyanın ilk "hatasız" işletim sistemi olan CertiKOS'u geliştirmiştir ve bu sistem, "siber fiziksel sistem güvenliği için bir dönüm noktası" olarak kabul edilmektedir. Bu başarı, sadece sistem güvenliği alanındaki derin birikimini göstermekle kalmayıp, aynı zamanda sonrasında blockchain güvenliği alanındaki araştırmalarına da zemin hazırlamıştır. 2017'de Prof. Shao Zhong, blockchain güvenliği üzerine derinlemesine araştırmalara başlamış ve formel doğrulama teknolojisini akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenliğine entegre ederek birçok kripto varlığın güvenliğini sağlamıştır.
LiDO modeli şu anda tasarım ve biçimsel doğrulama aşamasını tamamladı ve ana akım halka açık blok zincirleri ile merkeziyetsiz protokollerin entegrasyon olanaklarını keşfetmeye başladı. Profesör Shao Zhong, Web3.0'daki kritik 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 destekleyeceklerini belirtti. Konuşmanın sonunda, Profesör Shao Zhong şunu vurguladı: "Güvenilir, güvenli ve doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz geleceğe giden anahtar yol olacaktır."