Web3 Akademisyenler Zirvesi Konsensüs Protokolü Güvenliği ve Aktiflik Kanıtına Odaklanıyor
2025 Web3 Akademisyenler Zirvesi'nde, tanınmış bir bilgisayar bilimi profesörü "Ayrıntılı Konsensüs Protokolü Güvenliği ve Aktiflik Kanıtı: LiDO ve Genişletmeleri" başlıklı bir anahtar teslim konuşması yaptı ve ekibinin geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini ilk kez kamuoyuna duyurdu. Bu çığır açan sonuç, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerine mekanik olarak doğrulanabilir güvenlik ve aktiflik kanıtı sağlamak amacıyla Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknik bir temel oluşturmayı amaçlamaktadır.
Konuşmacı, mevcut konsensüs protokollerinin (örneğin PBFT, Jolteon) yaygın olarak kullanılsa da, karmaşık uygulama nedeniyle gizli potansiyel açıkları barındırdığını belirtti. Bu sorunu çözmek için, LiDO modeli yenilikçi bir şekilde üç katmanlı ayrıntılı doğrulama çerçevesi önerdi:
Güvenli soyut katman: Protokolü lineerleştirilmiş durum makinesine haritalamak, günlük tutma tutarlılığını sağlamak (güvenlik);
Aktif Güvence Katmanı: Aşırı zamanlı yayın ve tur senkronizasyonu aracılığıyla ağ gecikmesi sorununu çözmek için "Pacemaker" mekanizmasını tanıtır;
DAG genişleme katmanı: Narwhal, Bullshark gibi yeni DAG protokollerini destekleyerek lider olmadan Konsensüs'ün etkili doğrulanmasını sağlar.
Şu anda, LiDO endüstriyel düzeyde Jolteon protokolü (iki aşamalı BFT) ve birden fazla DAG protokolünde başarıyla uygulanmıştır, on binlerce Coq kodunun mekanik kanıtlanmasını tamamlamıştır ve güvenlik ile aktivite doğrulama kodu sırasıyla 4000 ve 1700 satıra ulaşmıştır. Konuşmacı vurguladı: "Günümüzde, PoS Konsensüs protokolü güvenlik, aktivite ve merkeziyetsizlik üçlüsünde zorluklarla karşı karşıyadır. LiDO modeli, bu zorluğu aşmak için önerilen sistematik bir tasarım çözümüdür."
Bu profesörün daha önce liderlik ettiği ekip tarafından geliştirilen CertiKOS, dünya üzerindeki ilk "hatasız" işletim sistemi olarak biçimsel doğrulama ile onaylanan bir sistemdir ve "siber fiziksel sistem güvenliğinde bir dönüm noktası" olarak övülmektedir. Bu başarı sadece sistem güvenliği alanındaki derin birikimini pekiştirmekle kalmadı, aynı zamanda sonraki araştırmalar için önemli bir temel sağladı.
LiDO şu anda model tasarımını ve biçimsel doğrulamayı tamamladı ve ana akım kamu blok zincirleri ve merkeziyetsiz protokollerle entegrasyon olasılıklarını keşfetmeye başladı. Konuşmacılar, Web3.0'daki kritik mekanizmaları doğrulamaya kararlı olduklarını belirterek, tam döngü ürün ve hizmetler sunarak Web3 işletmeleri ve ekosistemlerinin uzun vadeli gelişim stratejilerini daha iyi desteklemeyi amaçladıklarını ifade ettiler.
Konferansın sonunda, profesör şunu vurguladı: "Güvenilir, güvenli ve doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz bir geleceğe giden ana yol olacaktır." Bu görüş, katılımcı akademisyenler arasında geniş bir tartışma başlattı ve Web3 teknolojisinin gelecekteki gelişimine yön gösterdi.
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.
10 Likes
Reward
10
3
Repost
Share
Comment
0/400
PumpDetector
· 08-02 04:48
sadece başka bir teorik çerçeve... mt gox günlerinden beri çok fazla gördüm açıkçası
View OriginalReply0
MonkeySeeMonkeyDo
· 07-30 05:34
Yine eski para mı? Kuşkusuz PBFT kanıtı eski para.
Çığır açan LiDO modeli: Web3 Konsensüs protokolüne mekanik güvenlik doğrulaması sağlar
Web3 Akademisyenler Zirvesi Konsensüs Protokolü Güvenliği ve Aktiflik Kanıtına Odaklanıyor
2025 Web3 Akademisyenler Zirvesi'nde, tanınmış bir bilgisayar bilimi profesörü "Ayrıntılı Konsensüs Protokolü Güvenliği ve Aktiflik Kanıtı: LiDO ve Genişletmeleri" başlıklı bir anahtar teslim konuşması yaptı ve ekibinin geliştirdiği LiDO modeli ve LiDO-DAG genişletme çerçevesini ilk kez kamuoyuna duyurdu. Bu çığır açan sonuç, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerine mekanik olarak doğrulanabilir güvenlik ve aktiflik kanıtı sağlamak amacıyla Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknik bir temel oluşturmayı amaçlamaktadır.
Konuşmacı, mevcut konsensüs protokollerinin (örneğin PBFT, Jolteon) yaygın olarak kullanılsa da, karmaşık uygulama nedeniyle gizli potansiyel açıkları barındırdığını 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üzeyde Jolteon protokolü (iki aşamalı BFT) ve birden fazla DAG protokolünde başarıyla uygulanmıştır, on binlerce Coq kodunun mekanik kanıtlanmasını tamamlamıştır ve güvenlik ile aktivite doğrulama kodu sırasıyla 4000 ve 1700 satıra ulaşmıştır. Konuşmacı vurguladı: "Günümüzde, PoS Konsensüs protokolü güvenlik, aktivite ve merkeziyetsizlik üçlüsünde zorluklarla karşı karşıyadır. LiDO modeli, bu zorluğu aşmak için önerilen sistematik bir tasarım çözümüdür."
Bu profesörün daha önce liderlik ettiği ekip tarafından geliştirilen CertiKOS, dünya üzerindeki ilk "hatasız" işletim sistemi olarak biçimsel doğrulama ile onaylanan bir sistemdir ve "siber fiziksel sistem güvenliğinde bir dönüm noktası" olarak övülmektedir. Bu başarı sadece sistem güvenliği alanındaki derin birikimini pekiştirmekle kalmadı, aynı zamanda sonraki araştırmalar için önemli bir temel sağladı.
LiDO şu anda model tasarımını ve biçimsel doğrulamayı tamamladı ve ana akım kamu blok zincirleri ve merkeziyetsiz protokollerle entegrasyon olasılıklarını keşfetmeye başladı. Konuşmacılar, Web3.0'daki kritik mekanizmaları doğrulamaya kararlı olduklarını belirterek, tam döngü ürün ve hizmetler sunarak Web3 işletmeleri ve ekosistemlerinin uzun vadeli gelişim stratejilerini daha iyi desteklemeyi amaçladıklarını ifade ettiler.
Konferansın sonunda, profesör şunu vurguladı: "Güvenilir, güvenli ve doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz bir geleceğe giden ana yol olacaktır." Bu görüş, katılımcı akademisyenler arasında geniş bir tartışma başlattı ve Web3 teknolojisinin gelecekteki gelişimine yön gösterdi.