Web3 Akademisyenleri Zirvesi Konsensüs protokolü güvenliği araştırmalarına odaklandı, yeni LiDO modeli dikkat çekti
Son günlerde gerçekleştirilen 2025 Web3 Akademisyen Zirvesi'nde, tanınmış 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 ekibinin geliştirdiği LiDO modeli ile LiDO-DAG genişletme çerçevesini ilk kez kamuoyuna duyurdu. Bu yenilikçi sonuç, karmaşık Bizans hata toleransı (BFT) konsensüs protokollerine mekanik olarak doğrulanabilir güvenlik ve aktiflik kanıtı sunmayı amaçlamakta ve Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknik bir temel oluşturmaktadır.
Konuşmasında, profesör mevcut Konsensüs protokollerinin (örneğin PBFT, Jolteon) yaygın olarak kullanıldığını, ancak karmaşık uygulanabilirlikleri nedeniyle potansiyel açıkları gizleyebileceğini belirtti. Bu sorunu çözmek için, LiDO modeli yenilikçi bir şekilde üç katmanlı detaylı 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 zaman aşımı yayını ve tur senkronizasyonu aracılığıyla "Pacemaker" mekanizmasının tanıtılması;
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, sanayi düzeyinde protokol olan Jolteon (iki aşamalı BFT) ve birçok DAG protokolünde başarıyla uygulanmış olup, on binlerce satırlık Coq kodunun mekanik kanıtını tamamlamıştır; güvenlik ve canlılık doğrulama kodu sırasıyla 4000 satır ve 1700 satıra ulaşmıştır. Profesör, konuşmasında şunları belirtmiştir: "Mevcut durumda, PoS konsensüs protokolleri genellikle güvenlik, canlılık ve merkeziyetsizlik üçlüsünü aynı anda sağlamada zorluk yaşamaktadır. LiDO modeli, bu zorluğu aşmak için önerilen sistematik bir tasarım çözümüdür."
Özellikle, bu profesörün daha önce liderlik ettiği ekibin geliştirdiği CertiKOS, dünya çapında biçimsel doğrulama ile "sıfır hata" işletim sistemi olan ilk sistemdir ve "siber fiziksel sistem güvenliğinde bir dönüm noktası" olarak kabul edilmektedir. Bu başarı, bir güvenlik şirketinin teknik temelini oluşturmakla kalmayıp, aynı zamanda sistem güvenliği alanındaki derin birikimini de ortaya koymaktadır. 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ğini sağlamak için kullanarak 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 blockchain ve merkeziyetsiz protokollerle entegrasyon olasılıklarını keşfetmeye başladı. Profesör, Web3.0'daki kritik mekanizmaları doğrulamaya odaklandıklarını, böylece tam döngü ürün ve hizmetleri sunarak Web3 işletmeleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi destekleyeceklerini belirtti. Konuşmanın sonunda, "Güvenilir, güvenli, doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz bir geleceğe giden kritik yol olacak" 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.
15 Likes
Reward
15
4
Repost
Share
Comment
0/400
TokenDustCollector
· 22h ago
Yine yeni model üzerinde çalışıyorlar, dinlemiyorum, dinlemiyorum.
View OriginalReply0
ImpermanentPhilosopher
· 22h ago
Yine bilim insanları güvenlikten bahsediyor. Ben bir çita havuzuyla bunu halledebilirim.
View OriginalReply0
SelfStaking
· 22h ago
Bu konsensüs protokolünü oldukça garip bir şekilde anlatıyorsun.
Web3 akademisyenleri zirvesinde LiDO modeli ilk kez tanıtıldı, Konsensüs protokolü güvenliği yeni bir seviyeye ulaşıyor.
Web3 Akademisyenleri Zirvesi Konsensüs protokolü güvenliği araştırmalarına odaklandı, yeni LiDO modeli dikkat çekti
Son günlerde gerçekleştirilen 2025 Web3 Akademisyen Zirvesi'nde, tanınmış 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 ekibinin geliştirdiği LiDO modeli ile LiDO-DAG genişletme çerçevesini ilk kez kamuoyuna duyurdu. Bu yenilikçi sonuç, karmaşık Bizans hata toleransı (BFT) konsensüs protokollerine mekanik olarak doğrulanabilir güvenlik ve aktiflik kanıtı sunmayı amaçlamakta ve Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknik bir temel oluşturmaktadır.
Konuşmasında, profesör mevcut Konsensüs protokollerinin (örneğin PBFT, Jolteon) yaygın olarak kullanıldığını, ancak karmaşık uygulanabilirlikleri nedeniyle potansiyel açıkları gizleyebileceğini belirtti. Bu sorunu çözmek için, LiDO modeli yenilikçi bir şekilde üç katmanlı detaylı doğrulama çerçevesi önerdi:
Şu anda, LiDO, sanayi düzeyinde protokol olan Jolteon (iki aşamalı BFT) ve birçok DAG protokolünde başarıyla uygulanmış olup, on binlerce satırlık Coq kodunun mekanik kanıtını tamamlamıştır; güvenlik ve canlılık doğrulama kodu sırasıyla 4000 satır ve 1700 satıra ulaşmıştır. Profesör, konuşmasında şunları belirtmiştir: "Mevcut durumda, PoS konsensüs protokolleri genellikle güvenlik, canlılık ve merkeziyetsizlik üçlüsünü aynı anda sağlamada zorluk yaşamaktadır. LiDO modeli, bu zorluğu aşmak için önerilen sistematik bir tasarım çözümüdür."
Özellikle, bu profesörün daha önce liderlik ettiği ekibin geliştirdiği CertiKOS, dünya çapında biçimsel doğrulama ile "sıfır hata" işletim sistemi olan ilk sistemdir ve "siber fiziksel sistem güvenliğinde bir dönüm noktası" olarak kabul edilmektedir. Bu başarı, bir güvenlik şirketinin teknik temelini oluşturmakla kalmayıp, aynı zamanda sistem güvenliği alanındaki derin birikimini de ortaya koymaktadır. 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ğini sağlamak için kullanarak 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 blockchain ve merkeziyetsiz protokollerle entegrasyon olasılıklarını keşfetmeye başladı. Profesör, Web3.0'daki kritik mekanizmaları doğrulamaya odaklandıklarını, böylece tam döngü ürün ve hizmetleri sunarak Web3 işletmeleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi destekleyeceklerini belirtti. Konuşmanın sonunda, "Güvenilir, güvenli, doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz bir geleceğe giden kritik yol olacak" diye vurguladı.