Web3 Akademisyenler Zirvesi'nde Yale Profesörü LiDO modelini ilk kez açıkladı
2025 Web3 Akademisyenler Zirvesi yakın zamanda gerçekleştirildi. Yale Üniversitesi Bilgisayar Bilimleri Bölümü profesörü Zhao Zhong, "Ayrıştırmaya Dayalı Konsensüs Protokolü Güvenliği ve Aktiflik Kanıtı: LiDO ve Genişletmeleri" başlıklı bir ana konuşma yaptı ve bu konuşmada, ekibinin geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini ilk kez açıkladı. Bu yenilikçi sonuç, karmaşık Bizans Hatasına Dayanıklı (BFT) konsensüs protokolleri için mekanik olarak doğrulanabilir güvenlik ve aktiflik kanıtı sağlamayı amaçlamakta ve Web3 ekosisteminin güvenilirliği ve ölçeklenebilirliği için teknik bir temel oluşturmaktadır.
Prof. Shao Zhong, in his speech, pointed out that although existing consensus protocols (such as PBFT and Jolteon) are widely used, they often hide potential vulnerabilities due to implementation complexity. To address this issue, the LiDO model innovatively proposes a three-layer refined verification framework:
Güvenli soyutlama katmanı: Protokolleri lineerleştirilmiş durum makinelerine dönüştürerek, günlük tutma tutarlılığını sağlar (güvenlik);
Aktif Güvence Katmanı: Ağ gecikmesi sorununu çözmek için "Pacemaker" mekanizmasını, zaman aşımına uğrama yayını ve tur senkronizasyonunu kullanarak getirin;
DAG genişletme katmanı: Narwhal, Bullshark gibi yeni DAG protokollerini destekleyerek lider olmadan konsensüsün verimli doğrulanmasını sağlar.
Şu anda, LiDO, endüstri düzeyindeki protokol Jolteon (iki aşamalı BFT) ve birçok DAG protokolünde başarılı bir şekilde uygulanmış olup, 10.000'den fazla satır Coq kodunun mekanikleştirilmiş kanıtını tamamlamıştır. Güvenlik ve canlılık doğrulaması için kod miktarı sırasıyla 4.000 satır ve 1.700 satırdır. Profesör Zhao Zhong, konuşmasında şunu vurgulamıştır: "Günümüzde, PoS konsensüs protokolleri genellikle güvenlik, canlılık ve merkeziyetsizlik üçlüsünü aynı anda sağlama konusunda zorluklarla karşı karşıya kalmaktadır. LiDO modeli, bu zorluğu aşmak için önerilen sistematik bir tasarım çözümüdür."
Prof. Shao Zhong ve ekibi tarafından daha önce geliştirilen CertiKOS, dünya çapında biçimsel doğrulama ile "hatasız" bir işletim sistemi olarak kabul edilen ilk sistemdir ve "siber fiziksel sistem güvenliğinde bir kilometre taşı" olarak adlandırılmaktadır. Bu başarı, onların sistem güvenliği alanındaki derin birikimlerini sağlamlaştırmakla kalmamış, aynı zamanda bu alandaki uzmanlıklarını da göstermiştir. Son yıllarda, Prof. Shao Zhong blok zinciri güvenliği üzerine derinlemesine araştırmalar yapmış, 2017 yılında öğrencisi Prof. Gu Ronghui ile birlikte biçimsel doğrulama teknolojisini akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenlik sağlama alanına entegre etmiştir ve bu sayede yüz milyar dolarlık kripto varlıklar için güvenlik koruması sağlamıştır.
LiDO, şu anda model tasarımını ve biçimsel doğrulamayı tamamladı ve ana akım kamu blok zincirleri ile merkeziyetsiz protokollerin entegrasyon olasılıklarını keşfetmeye başladı. Profesör Shao Zhong, Web3.0'daki kritik mekanizmaların doğrulanmasına odaklandıklarını, böylece Web3 işletmeleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi destekleyecek tüm döngü ürün ve hizmetleri sunacaklarını 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 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.
17 Likes
Reward
17
10
Share
Comment
0/400
BlockchainTherapist
· 08-01 13:34
Yine anlamadığım bir model
View OriginalReply0
PanicSeller
· 08-01 07:13
Devlerin hepsi web3 oynuyor ve arabaya binmezseniz çok geç
View OriginalReply0
BearHugger
· 08-01 00:51
Ne ne ne, yine bir konsepti pompalamaya mı geldin?
View OriginalReply0
Layer3Dreamer
· 07-30 11:39
teorik olarak konuşursak, LiDO'nun DAG çerçevesi muhtemelen L3 köprüleme darboğazımızı çözebilir...
View OriginalReply0
MelonField
· 07-29 17:04
Ben bakmıyorum, bu bir boğa.
View OriginalReply0
NewPumpamentals
· 07-29 17:03
Başka bir deyimle, yeni şişede eski şarap.
View OriginalReply0
BagHolderTillRetire
· 07-29 17:02
Yine kavramları speküle ediyorlar, yatırım için GMX'e bakmak gerek.
View OriginalReply0
gas_fee_therapy
· 07-29 16:48
Yine bir Konsensüs protokolü... İçinde bir şey var
View OriginalReply0
ZkProofPudding
· 07-29 16:45
Yine teorik model mi?
View OriginalReply0
WalletWhisperer
· 07-29 16:43
Bir kez daha derin ve karmaşık bir çerçeve teorisi.
Yale profesörü LiDO modelini yayınladı: Web3 Konsensüs protokolü güvenlik doğrulama yeni çerçevesi
Web3 Akademisyenler Zirvesi'nde Yale Profesörü LiDO modelini ilk kez açıkladı
2025 Web3 Akademisyenler Zirvesi yakın zamanda gerçekleştirildi. Yale Üniversitesi Bilgisayar Bilimleri Bölümü profesörü Zhao Zhong, "Ayrıştırmaya Dayalı Konsensüs Protokolü Güvenliği ve Aktiflik Kanıtı: LiDO ve Genişletmeleri" başlıklı bir ana konuşma yaptı ve bu konuşmada, ekibinin geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini ilk kez açıkladı. Bu yenilikçi sonuç, karmaşık Bizans Hatasına Dayanıklı (BFT) konsensüs protokolleri için mekanik olarak doğrulanabilir güvenlik ve aktiflik kanıtı sağlamayı amaçlamakta ve Web3 ekosisteminin güvenilirliği ve ölçeklenebilirliği için teknik bir temel oluşturmaktadır.
Prof. Shao Zhong, in his speech, pointed out that although existing consensus protocols (such as PBFT and Jolteon) are widely used, they often hide potential vulnerabilities due to implementation complexity. To address this issue, the LiDO model innovatively proposes a three-layer refined verification framework:
Şu anda, LiDO, endüstri düzeyindeki protokol Jolteon (iki aşamalı BFT) ve birçok DAG protokolünde başarılı bir şekilde uygulanmış olup, 10.000'den fazla satır Coq kodunun mekanikleştirilmiş kanıtını tamamlamıştır. Güvenlik ve canlılık doğrulaması için kod miktarı sırasıyla 4.000 satır ve 1.700 satırdır. Profesör Zhao Zhong, konuşmasında şunu vurgulamıştır: "Günümüzde, PoS konsensüs protokolleri genellikle güvenlik, canlılık ve merkeziyetsizlik üçlüsünü aynı anda sağlama konusunda zorluklarla karşı karşıya kalmaktadır. LiDO modeli, bu zorluğu aşmak için önerilen sistematik bir tasarım çözümüdür."
Prof. Shao Zhong ve ekibi tarafından daha önce geliştirilen CertiKOS, dünya çapında biçimsel doğrulama ile "hatasız" bir işletim sistemi olarak kabul edilen ilk sistemdir ve "siber fiziksel sistem güvenliğinde bir kilometre taşı" olarak adlandırılmaktadır. Bu başarı, onların sistem güvenliği alanındaki derin birikimlerini sağlamlaştırmakla kalmamış, aynı zamanda bu alandaki uzmanlıklarını da göstermiştir. Son yıllarda, Prof. Shao Zhong blok zinciri güvenliği üzerine derinlemesine araştırmalar yapmış, 2017 yılında öğrencisi Prof. Gu Ronghui ile birlikte biçimsel doğrulama teknolojisini akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenlik sağlama alanına entegre etmiştir ve bu sayede yüz milyar dolarlık kripto varlıklar için güvenlik koruması sağlamıştır.
LiDO, şu anda model tasarımını ve biçimsel doğrulamayı tamamladı ve ana akım kamu blok zincirleri ile merkeziyetsiz protokollerin entegrasyon olasılıklarını keşfetmeye başladı. Profesör Shao Zhong, Web3.0'daki kritik mekanizmaların doğrulanmasına odaklandıklarını, böylece Web3 işletmeleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi destekleyecek tüm döngü ürün ve hizmetleri sunacaklarını 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 bir geleceğe giden anahtar yol olacaktır."