Web3 Akademisyenleri Zirvesi Konsensüs protokolü güvenliği ve etkinlik kanıtına odaklanıyor
2025 Web3 Akademisyenleri Zirvesi'nde, tanınmış bir bilgisayar bilimleri profesörü "Ayrıntılı Konsensüs Protokolü Güvenliği ve Aktiflik Kanıtı: LiDO ve Genişletmeleri" başlıklı bir ana konuşma yaptı ve takımının geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini ilk kez kamuoyuna açıkladı. Bu çığır açan buluş, karmaşık Bizans hata toleransı (BFT) konsensüs protokollerine mekanik olarak doğrulanabilir güvenlik ve aktiflik kanıtı sağlamayı hedeflemekte ve Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknolojik bir temel oluşturmaktadır.
Konuşma sırasında, profesör mevcut konsensüs protokollerinin (örneğin PBFT, Jolteon) yaygın olarak kullanıldığını, ancak karmaşıklıkları nedeniyle potansiyel güvenlik açıklarını gizleyebileceğini belirtti. Bu sorunu çözmek için, LiDO modeli yenilikçi bir şekilde üç katmanlı rafine doğrulama çerçevesi önermektedir:
Güvenli soyutlama katmanı: Protokolü doğrusal hale getirilmiş 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, zaman aşımı yayını ve tur senkronizasyonu aracılığıyla "Pacemaker" mekanizmasını tanıtır;
DAG genişletme katmanı: Narwhal, Bullshark gibi yeni DAG protokollerini destekleyerek lider olmayan konsensüsün etkin doğrulamasını sağlar.
Şu anda, LiDO, endüstriyel düzeyde protokol Jolteon (iki aşamalı BFT) ve birçok DAG protokolünde başarılı bir şekilde uygulanmıştır ve 10,000'den fazla satır Coq kodunun mekanik kanıtını tamamlamıştır. Güvenlik ve aktivite doğrulama kodu sırasıyla 4000 satır ve 1700 satırdır. "Mevcut durumda, PoS konsensüs protokolü genel olarak güvenlik, aktivite ve merkeziyetsizlik üçlüsünü aynı anda sağlamakta zorluk çekmektedir," diye belirtti profesör konuşmasında. "LiDO modeli, bu zorluğu aşmak için önerilen sistematik bir tasarım çözümüdür."
Bu profesör, ekibiyle birlikte küresel ölçekte biçimsel doğrulama ile "sorunsuz" bir işletim sistemi geliştiren ilk kişi olarak, "siber fizik sistem güvenliğinde bir dönüm noktası" olarak adlandırıldı. Bu başarı, kurduğu güvenlik şirketinin teknik temellerini oluşturmakla kalmayıp, aynı zamanda sistem güvenliği alanındaki derin birikimini de göstermektedir. Son yıllarda bu profesör, blok zinciri güvenliğine odaklanarak, biçimsel doğrulama teknolojisini akıllı sözleşmeler ve zincir üstü protokollerin güvenliğine entegre ederek, milyar dolarlık kripto varlık güvenliğini sağlamaktadır.
LiDO şu anda model tasarımını ve biçimsel doğrulamayı tamamladı ve ana akım halka açık blok zincirleri ve merkeziyetsiz protokollerle entegrasyon olasılıklarını keşfetmeye başladı. Profesör, Web3.0'daki kritik mekanizmaları doğrulamaya adanmış olduklarını, böylece tam döngü ürün ve hizmetler sunarak Web3 işletmeleri ve ekosisteminin uzun vadeli gelişim stratejisini daha iyi destekleyeceklerini belirtti. Konuşmanın sonunda profesör şunları vurguladı: "Güvenilir, güvenli, 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.
21 Likes
Reward
21
8
Repost
Share
Comment
0/400
MEV_Whisperer
· 07-25 08:35
Kaynak kodu GitHub'da mı?
View OriginalReply0
NewPumpamentals
· 07-23 00:58
Yine matematik kanıtı anlatılıyor.
View OriginalReply0
LayerZeroHero
· 07-22 12:45
Protokol güvenliği doğrulaması hassas bir şekilde yapılmalıdır, aksi takdirde hepsi dolandırıcılıktır!
View OriginalReply0
WalletDetective
· 07-22 12:44
Yine bir hava projesi.
View OriginalReply0
RamenDeFiSurvivor
· 07-22 12:40
Aylık 500U kazanan ramen merkeziyetsizlik oyuncusu, enayileri oyuna getiren doğrulayıcılardan nefret ediyor.
Web3 Konsensüs yeni bir atılım: LiDO modeli güvenlik ve aktivite mekanize kanıtı sağlıyor
Web3 Akademisyenleri Zirvesi Konsensüs protokolü güvenliği ve etkinlik kanıtına odaklanıyor
2025 Web3 Akademisyenleri Zirvesi'nde, tanınmış bir bilgisayar bilimleri profesörü "Ayrıntılı Konsensüs Protokolü Güvenliği ve Aktiflik Kanıtı: LiDO ve Genişletmeleri" başlıklı bir ana konuşma yaptı ve takımının geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini ilk kez kamuoyuna açıkladı. Bu çığır açan buluş, karmaşık Bizans hata toleransı (BFT) konsensüs protokollerine mekanik olarak doğrulanabilir güvenlik ve aktiflik kanıtı sağlamayı hedeflemekte ve Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknolojik bir temel oluşturmaktadır.
Konuşma sırasında, profesör mevcut konsensüs protokollerinin (örneğin PBFT, Jolteon) yaygın olarak kullanıldığını, ancak karmaşıklıkları nedeniyle potansiyel güvenlik açıklarını gizleyebileceğini belirtti. Bu sorunu çözmek için, LiDO modeli yenilikçi bir şekilde üç katmanlı rafine doğrulama çerçevesi önermektedir:
Şu anda, LiDO, endüstriyel düzeyde protokol Jolteon (iki aşamalı BFT) ve birçok DAG protokolünde başarılı bir şekilde uygulanmıştır ve 10,000'den fazla satır Coq kodunun mekanik kanıtını tamamlamıştır. Güvenlik ve aktivite doğrulama kodu sırasıyla 4000 satır ve 1700 satırdır. "Mevcut durumda, PoS konsensüs protokolü genel olarak güvenlik, aktivite ve merkeziyetsizlik üçlüsünü aynı anda sağlamakta zorluk çekmektedir," diye belirtti profesör konuşmasında. "LiDO modeli, bu zorluğu aşmak için önerilen sistematik bir tasarım çözümüdür."
Bu profesör, ekibiyle birlikte küresel ölçekte biçimsel doğrulama ile "sorunsuz" bir işletim sistemi geliştiren ilk kişi olarak, "siber fizik sistem güvenliğinde bir dönüm noktası" olarak adlandırıldı. Bu başarı, kurduğu güvenlik şirketinin teknik temellerini oluşturmakla kalmayıp, aynı zamanda sistem güvenliği alanındaki derin birikimini de göstermektedir. Son yıllarda bu profesör, blok zinciri güvenliğine odaklanarak, biçimsel doğrulama teknolojisini akıllı sözleşmeler ve zincir üstü protokollerin güvenliğine entegre ederek, milyar dolarlık kripto varlık güvenliğini sağlamaktadır.
LiDO şu anda model tasarımını ve biçimsel doğrulamayı tamamladı ve ana akım halka açık blok zincirleri ve merkeziyetsiz protokollerle entegrasyon olasılıklarını keşfetmeye başladı. Profesör, Web3.0'daki kritik mekanizmaları doğrulamaya adanmış olduklarını, böylece tam döngü ürün ve hizmetler sunarak Web3 işletmeleri ve ekosisteminin uzun vadeli gelişim stratejisini daha iyi destekleyeceklerini belirtti. Konuşmanın sonunda profesör şunları vurguladı: "Güvenilir, güvenli, doğrulanabilir bir ağ protokol yığını, gerçek merkeziyetsiz bir geleceğe giden anahtar yol olacaktır."