Web3 akademisyenleri zirvesi Konsensüs protokolü güvenliği ve canlılık kanıtına odaklanıyor
Son zamanlarda düzenlenen 2025 Web3 Akademisyenler Zirvesi'nde, tanınmış bir bilgisayar bilimi profesörü "İnceleme Tabanlı Konsensüs Protokolü Güvenliği ve Canlılık Kanıtı: LiDO ve Genişletmeleri" başlıklı bir ana konuşma yaptı ve ekibinin geliştirdiği LiDO modelini ve LiDO-DAG genişletme çerçevesini ilk kez kamuya açıkladı. Bu çığır açıcı buluş, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerine mekanik doğrulama ile güvenlik ve canlılık kanıtı sağlamayı amaçlamakta ve Web3 ekosisteminin güvenilirliği ile ölçeklenebilir gelişimini temellendirmektedir.
Konuşmasında, profesör mevcut konsensüs protokollerinin (PBFT, Jolteon gibi) yaygın olarak kullanıldığını ancak karmaşık uygulanması nedeniyle potansiyel açıkları gizleyebileceğini belirtti. Bu sorunu çözmek için, LiDO modeli yenilikçi bir şekilde üç katmanlı ayrıntılı doğrulama çerçevesi önerdi:
Güvenli soyutlama katmanı: Protokolü lineerleştirilmiş durum makinesine haritalamak, 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ı tanıtarak zaman aşımı yayını ve tur senkronizasyonu kullanır;
DAG genişleme katmanı: Narwhal, Bullshark gibi yeni DAG protokollerini destekleyerek lider olmadan Konsensüsün verimli doğrulamasını sağlar.
Şu anda, LiDO, endüstriyel düzeydeki protokol Jolteon (iki aşamalı BFT) ve birçok DAG protokolünde başarıyla uygulanmış, on binlerce satırlık Coq kodunun mekanik kanıtını tamamlamış, güvenlik ve aktivite doğrulama kodu miktarları sırasıyla 4000 satır ve 1700 satır olmuştur. Profesör, konuşmasında: "Şu anda, PoS Konsensüs protokolleri genellikle güvenlik, aktivite ve merkeziyetsizlik açısından üçlünün bir arada sağlanması güç bir durumla karşı karşıya. LiDO modeli, bu durumu aşmak için önerilen sistematik bir tasarım çözümüdür."
Özellikle, bu profesörün daha önce liderlik ettiği ekip tarafından geliştirilen CertiKOS, formel doğrulama ile "sıfır hatalı" bir işletim sistemi olarak dünya çapında ilk olma özelliğini taşımaktadır ve "siber fiziksel sistem güvenliğinde bir dönüm noktası" olarak anılmaktadır. Bu başarı, belirli bir güvenlik şirketinin teknik temellerini sağlamlaştırmakla kalmamış, aynı zamanda sistem güvenliği alanındaki derin birikimini de gözler önüne sermiştir. Son yıllarda, bu profesör blok zincir güvenliğine odaklanmakta ve formel doğrulama teknolojisini akıllı sözleşmeler ve zincir içi protokollerin güvenliğini sağlamak amacıyla entegre etmektedir, yüz milyar dolarlık kripto varlıkların güvenliğini korumaktadır.
LiDO şu anda model tasarımını 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, Web3.0'daki kritik mekanizmaları doğrulamaya adandıklarını, böylece tüm döngü ürün ve hizmetleri sağlayarak Web3 işletmeleri ve ekosisteminin uzun vadeli gelişim stratejisini daha iyi destekleyeceklerini belirtti. Konuşmanın sonunda, "Güvenilir, güvenli ve doğrulanabilir ağ protokol yığını, gerçekten merkeziyetsiz bir geleceğe giden ana yol olacaktır." diye vurguladı.
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.
16 Likes
Reward
16
4
Share
Comment
0/400
SleepTrader
· 10h ago
Çok derin yazılmış, biraz kaldırmakta zorlanıyorum.
View OriginalReply0
ShadowStaker
· 07-21 20:16
meh... başka bir akademik model ki, bence MEV botlarıyla ilk temasından sağ kalmayacak.
View OriginalReply0
quietly_staking
· 07-21 04:11
Yine şatafatlı şeyler yapıyor.
View OriginalReply0
BlockchainDecoder
· 07-21 04:10
Dağıtık sistemler üzerine yazılmış makaleler açısından, LiDO'nun üç katmanlı doğrulama çerçevesi gerçekten de Hoare mantığının asenkron ortamlardaki eksikliklerini tamamlıyor ve konsensüs sistemlerindeki pratik etkisinin derinlemesine incelenmesini hak ediyor.
LiDO modeli ilk kez tanıtıldı: Web3 Konsensüs protokolü güvenlikte devrim
Web3 akademisyenleri zirvesi Konsensüs protokolü güvenliği ve canlılık kanıtına odaklanıyor
Son zamanlarda düzenlenen 2025 Web3 Akademisyenler Zirvesi'nde, tanınmış bir bilgisayar bilimi profesörü "İnceleme Tabanlı Konsensüs Protokolü Güvenliği ve Canlılık Kanıtı: LiDO ve Genişletmeleri" başlıklı bir ana konuşma yaptı ve ekibinin geliştirdiği LiDO modelini ve LiDO-DAG genişletme çerçevesini ilk kez kamuya açıkladı. Bu çığır açıcı buluş, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerine mekanik doğrulama ile güvenlik ve canlılık kanıtı sağlamayı amaçlamakta ve Web3 ekosisteminin güvenilirliği ile ölçeklenebilir gelişimini temellendirmektedir.
Konuşmasında, profesör mevcut konsensüs protokollerinin (PBFT, Jolteon gibi) yaygın olarak kullanıldığını ancak karmaşık uygulanması nedeniyle potansiyel açıkları gizleyebileceğini belirtti. Bu sorunu çözmek için, LiDO modeli yenilikçi bir şekilde üç katmanlı ayrıntılı doğrulama çerçevesi önerdi:
Şu anda, LiDO, endüstriyel düzeydeki protokol Jolteon (iki aşamalı BFT) ve birçok DAG protokolünde başarıyla uygulanmış, on binlerce satırlık Coq kodunun mekanik kanıtını tamamlamış, güvenlik ve aktivite doğrulama kodu miktarları sırasıyla 4000 satır ve 1700 satır olmuştur. Profesör, konuşmasında: "Şu anda, PoS Konsensüs protokolleri genellikle güvenlik, aktivite ve merkeziyetsizlik açısından üçlünün bir arada sağlanması güç bir durumla karşı karşıya. LiDO modeli, bu durumu aşmak için önerilen sistematik bir tasarım çözümüdür."
Özellikle, bu profesörün daha önce liderlik ettiği ekip tarafından geliştirilen CertiKOS, formel doğrulama ile "sıfır hatalı" bir işletim sistemi olarak dünya çapında ilk olma özelliğini taşımaktadır ve "siber fiziksel sistem güvenliğinde bir dönüm noktası" olarak anılmaktadır. Bu başarı, belirli bir güvenlik şirketinin teknik temellerini sağlamlaştırmakla kalmamış, aynı zamanda sistem güvenliği alanındaki derin birikimini de gözler önüne sermiştir. Son yıllarda, bu profesör blok zincir güvenliğine odaklanmakta ve formel doğrulama teknolojisini akıllı sözleşmeler ve zincir içi protokollerin güvenliğini sağlamak amacıyla entegre etmektedir, yüz milyar dolarlık kripto varlıkların güvenliğini korumaktadır.
LiDO şu anda model tasarımını 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, Web3.0'daki kritik mekanizmaları doğrulamaya adandıklarını, böylece tüm döngü ürün ve hizmetleri sağlayarak Web3 işletmeleri ve ekosisteminin uzun vadeli gelişim stratejisini daha iyi destekleyeceklerini belirtti. Konuşmanın sonunda, "Güvenilir, güvenli ve doğrulanabilir ağ protokol yığını, gerçekten merkeziyetsiz bir geleceğe giden ana yol olacaktır." diye vurguladı.