Web3 Akademisyenleri Zirvesi Konsensüs Protokolü Güvenliği ve Aktiflik Kanıtına Odaklanıyor
2025 Web3 Akademisyen Zirvesi'nde, ünlü bir bilgisayar bilimi profesörü "Ayrıştırılmış Konsensüs Protokolü Güvenliği ve Aktiflik Kanıtı: LiDO ve Genişletmeleri" başlıklı bir ana konuşma yaptı ve ilk kez ekibinin geliştirdiği LiDO modelini ve LiDO-DAG genişletme çerçevesini kamuoyuna tanıttı. Bu çığır açan başarı, karmaşık Bizans hata toleransı (BFT) konsensüs protokollerine mekanik olarak doğrulanabilir güvenlik ve aktiflik kanıtları sunmayı amaçlamakta olup, Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknik bir temel oluşturmaktadır.
Konuşmacı, mevcut Konsensüs protokolleri (örneğin PBFT, Jolteon) geniş uygulama alanına sahip olmasına rağmen, karmaşık gerçekleştirme 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 makinesi olarak 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ı, zaman aşımı yayını ve tur senkronizasyonunu kullanarak tanıtır;
DAG genişletme katmanı: Narwhal, Bullshark gibi yeni DAG protokollerini destekleyerek lider olmadan Konsensüs'ün etkili 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ıştır. Güvenlik ve canlılık doğrulama kod miktarları sırasıyla 4000 satır ve 1700 satırdır. Profesör, konuşmasında şunları belirtti: "Mevcut durumda, PoS konsensüs protokolleri genellikle güvenlik, canlılık ve merkeziyetsizlik arasında elde edilmesi zor bir ikilemle karşı karşıyadır. LiDO modeli, bu ikilemi kırmak için önerilen sistematik bir tasarım çözümüdür."
Bu profesör, dünyada biçimsel doğrulama ile "hatasız" işletim sistemi CertiKOS'u geliştiren ekibe liderlik etti ve "siber fiziksel sistem güvenliğinde bir dönüm noktası" olarak adlandırıldı. Bu başarı, sadece sistem güvenliği alanındaki derin birikimini pekiştirmekle kalmadı, aynı zamanda sonraki blockchain güvenliği araştırmaları için de bir temel sağladı.
LiDO şu anda model tasarımını ve formel doğrulamayı tamamladı ve ana akım genel zincirler ve merkeziyetsiz protokoller ile entegrasyon olanaklarını keşfetmeye başladı. Profesör, Web3.0'daki kritik mekanizmaları doğrulamaya odaklandıklarını belirtti; bu, tam döngü ürün ve hizmetleri sunarak Web3 işletmelerinin ve ekosisteminin uzun vadeli gelişim stratejisini daha iyi destekleyecektir. Konuşmasının sonunda, "Güvenilir, güvenli, doğrulanabilir ağ protokol yığını, gerçek 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
10
Share
Comment
0/400
WalletWhisperer
· 35m ago
hm. desen tanıma, mevcut mutabakat uç durumlarını düzeltme olasılığının %76,2 olduğunu öne sürüyor
View OriginalReply0
CryptoTarotReader
· 07-26 09:57
Sonunda yeni bir model var, iyi yorumlar.
View OriginalReply0
AltcoinMarathoner
· 07-24 19:08
başka bir protokol yarışa katılıyor... bu maraton kalabalıklaşıyor ama temeller güçlü kalıyor
View OriginalReply0
TokenCreatorOP
· 07-24 17:20
Güvenlik neden bu kadar önemseniyor?
View OriginalReply0
AirdropLicker
· 07-24 17:13
Yine enayileri oyuna getirmeye geldik.
View OriginalReply0
MidnightSnapHunter
· 07-24 17:12
Ayrıntılı doğrulama açıkları çözebilir.
View OriginalReply0
SchrodingerAirdrop
· 07-24 17:04
Paranın olması güzel.
View OriginalReply0
OnchainGossiper
· 07-24 16:55
O kadar çok konuşma, yeter ki sakin ol.
View OriginalReply0
HodlNerd
· 07-24 16:53
oyun teorisinin resmi doğrulama ile buluşmasının büyüleyici olduğu... gerçek bir matematiksel güzellik
Web3突破：LiDO modeli, Konsensüs protokolü güvenliği ve aktivite doğrulamasına yardımcı oluyor
Web3 Akademisyenleri Zirvesi Konsensüs Protokolü Güvenliği ve Aktiflik Kanıtına Odaklanıyor
2025 Web3 Akademisyen Zirvesi'nde, ünlü bir bilgisayar bilimi profesörü "Ayrıştırılmış Konsensüs Protokolü Güvenliği ve Aktiflik Kanıtı: LiDO ve Genişletmeleri" başlıklı bir ana konuşma yaptı ve ilk kez ekibinin geliştirdiği LiDO modelini ve LiDO-DAG genişletme çerçevesini kamuoyuna tanıttı. Bu çığır açan başarı, karmaşık Bizans hata toleransı (BFT) konsensüs protokollerine mekanik olarak doğrulanabilir güvenlik ve aktiflik kanıtları sunmayı amaçlamakta olup, Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknik bir temel oluşturmaktadır.
Konuşmacı, mevcut Konsensüs protokolleri (örneğin PBFT, Jolteon) geniş uygulama alanına sahip olmasına rağmen, karmaşık gerçekleştirme 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ıştır. Güvenlik ve canlılık doğrulama kod miktarları sırasıyla 4000 satır ve 1700 satırdır. Profesör, konuşmasında şunları belirtti: "Mevcut durumda, PoS konsensüs protokolleri genellikle güvenlik, canlılık ve merkeziyetsizlik arasında elde edilmesi zor bir ikilemle karşı karşıyadır. LiDO modeli, bu ikilemi kırmak için önerilen sistematik bir tasarım çözümüdür."
Bu profesör, dünyada biçimsel doğrulama ile "hatasız" işletim sistemi CertiKOS'u geliştiren ekibe liderlik etti ve "siber fiziksel sistem güvenliğinde bir dönüm noktası" olarak adlandırıldı. Bu başarı, sadece sistem güvenliği alanındaki derin birikimini pekiştirmekle kalmadı, aynı zamanda sonraki blockchain güvenliği araştırmaları için de bir temel sağladı.
LiDO şu anda model tasarımını ve formel doğrulamayı tamamladı ve ana akım genel zincirler ve merkeziyetsiz protokoller ile entegrasyon olanaklarını keşfetmeye başladı. Profesör, Web3.0'daki kritik mekanizmaları doğrulamaya odaklandıklarını belirtti; bu, tam döngü ürün ve hizmetleri sunarak Web3 işletmelerinin ve ekosisteminin uzun vadeli gelişim stratejisini daha iyi destekleyecektir. Konuşmasının sonunda, "Güvenilir, güvenli, doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz bir geleceğe giden ana yol olacaktır." diye vurguladı.