Yale profesörü LiDO modelini tanıttı: Konsensüs protokolü güvenliği doğrulamasında yeni bir atılım

2025-08-06 12:40:30

Web3 Akademisyenleri Zirvesi'nde Yale Profesörü Konsensüs Protokolü Güvenliği için Yeni Modeli Paylaştı

Son günlerde, 2025 Web3 Akademisyenleri Zirvesi beklenildiği gibi gerçekleşti. Zirvede, Yale Üniversitesi Bilgisayar Bilimleri Bölümü Profesörü Shao Zhong, "İnceleme Tabanlı Konsensüs Protokolü Güvenliği ve Aktiflik Kanıtı: LiDO ve Uzantıları" başlıklı bir ana konuşma yaptı ve ilk kez kamuoyuna ekibinin geliştirdiği LiDO modelini ve LiDO-DAG genişletme çerçevesini tanıttı. Bu yenilikçi çalışma, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerine mekanik olarak doğrulanabilir güvenlik ve aktiflik kanıtları sağlamayı amaçlayarak, Web3 ekosisteminin güvenilirliği ve ölçeklenebilirliği için teknik bir temel oluşturmaktadır.

Prof. Shao Zhong, konuşmasında mevcut olan konsensüs protokollerinin (örneğin PBFT, Jolteon) yaygın olarak kullanıldığını vurguladı, ancak uygulama karmaşıklığı nedeniyle genellikle potansiyel açıklar barındırdıklarını belirtti. Bu sorunu çözmek için, LiDO modeli yenilikçi bir üç katmanlı ayrıntılı doğrulama çerçevesi önerdi:

Güvenli soyutlama katmanı: Protokolü doğrusal bir durum makinesine haritalamak, günlük tutma tutarlılığını sağlamak (güvenlik);
Aktif Güvence Katmanı: Ağ gecikme sorununu çözmek için "Pacemaker" mekanizmasını, zaman aşımı yayını ve tur senkronizasyonunu kullanarak tanıtır.
DAG genişleme 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ış olup, 10,000'den fazla Coq kodu için mekanik kanıtlama tamamlanmıştır. Güvenlik ve canlılık doğrulama kod miktarı sırasıyla 4,000 satır ve 1,700 satıra ulaşmaktadır. Prof. Shao Zhong konuşmasında şunları vurgulamıştır: "Mevcut durumda, PoS konsensüs protokolleri güvenlik, canlılık ve merkeziyetsizlik arasında denge kurma zorluğu yaşamaktadır. LiDO modeli, bu zorluğu aşmak için önerilen sistematik bir tasarım çözümüdür."

Özellikle, Profesör Shao Zhong'un liderliğindeki ekibin daha önce CertiKOS'u geliştirdiği belirtilebilir; bu, 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ği için bir dönüm noktası" olarak adlandırılmaktadır. Bu başarı, yalnızca sistem güvenliği alanındaki derin birikimini göstermekle kalmayıp, aynı zamanda blok zinciri güvenliği alanındaki sonraki araştırmaları için de bir temel oluşturmuştur. 2017 yılında, Profesör Shao Zhong ve öğrencisi Profesör Gu Ronghui birlikte biçimsel doğrulama teknolojisini akıllı sözleşmeler ve zincir üstü protokollerin güvenlik sağlama alanına dahil etmişlerdir; bu, yüz milyarlarca dolarlık kripto varlık için güvenlik koruması sağlamaktadır.

LiDO modeli şu anda tasarımı ve biçimsel doğrulamasını tamamladı ve ana akım halka açık blok zincirleri ile merkeziyetsiz protokollerin entegrasyon olasılıklarını keşfetmeye başladı. Profesör Zhao Zhong, Web3.0'daki kritik mekanizmaları doğrulamaya kendilerini adadıklarını, böylece tam döngü ürün ve hizmetler sunarak Web3 işletmelerinin ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi destekleyeceklerini belirtti. Konuşmanın sonunda, Profesör Zhao Zhong şu vurguyu yaptı: "Güvenilir, güvenli, doğrulanabilir ağ protokol yığını, gerçek bir merkeziyetsiz geleceğe giden anahtar yol olacaktır."

DAG-4.83%

View Original

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.

14 Likes