Bugün gerçekleştirilen 2025 Web3 Akademisyenler Zirvesi'nde, Yale Üniversitesi Bilgisayar Bilimleri Bölümü profesörü ve CertiK kurucu ortağı Zhao Zhong, "Ayrıntılı Konsensüs Protokolünün 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 ile LiDO-DAG genişletme çerçevesini ilk kez kamuoyuna tanıttı. Bu çığır açıcı sonuçlar, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerine mekanikleştirilebilir güvenlik ve aktiflik kanıtı sağlamayı amaçlamakta ve Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknik bir temel oluşturmayı hedeflemektedir.
Bu konuşmada, Profesör Shao Zhong, mevcut konsensüs protokollerinin (örneğin PBFT, Jolteon) yaygın olarak kullanıldığını, ancak karmaşık uygulama 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ı: Protokolleri lineerleştirilmiş durum makinelerine 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ı tanıtmak, zaman aşımı yayını ve tur senkronizasyonu kullanarak;
DAG genişleme katmanı: Narwhal, Bullshark gibi yeni DAG protokollerini destekleyerek lider olmadan konsensüsün etkin 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, on binlerce satırlık Coq kodunun mekanik kanıtını tamamlamıştır. Güvenlik ve aktivite doğrulama kod miktarları sırasıyla 4000 satır ve 1700 satırdır. "Mevcut durumda, PoS konsensüs protokolleri genellikle güvenlik, aktivite ve merkeziyetsizlik arasında bir denge kurmakta zorlanıyor," dedi Profesör Shao Zhong konuşmasında. "LiDO modeli, bu sıkıntıyı aşmak için önerilen sistematik bir tasarım çözümüdür."
Prof. Shao Zhong'un liderliğindeki ekip tarafından geliştirilen CertiKOS, dünya çapında biçimsel doğrulama ile "hatasız" bir işletim sistemi olarak kabul edilen ilk sistemdir ve "siber fiziksel sistem güvenliğinde bir dönüm noktası" olarak nitelendirilmektedir. Bu başarı, sadece güvenlik şirketi CertiK'in teknik temellerini atmakla kalmamış, aynı zamanda sistem güvenliği alanındaki derin birikimini de ortaya koymuştur. Son yıllarda, Prof. Shao Zhong blockchain güvenliğine yoğunlaşmış, 2017'de öğrencisi Prof. Gu Ronghui ile birlikte CertiK'i kurmuş ve biçimsel doğrulama teknolojisini akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenlik garantisine entegre ederek, milyar dolarlık kripto varlıkların güvenliğini sağlamıştır.
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ı. Profesör Shao Zhong, CertiK'nin Web3.0'daki temel mekanizmaları doğrulamaya kendini adadığını belirterek, Web3 şirketleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi desteklemek için tüm döngü ürün ve hizmetleri sunmayı hedeflediklerini ifade etti. Konuşmanın sonunda, Profesör Shao Zhong, "Güvenilir, güvenli, doğrulanabilir bir ağ protokol yığını, gerçek merkeziyetsiz geleceğe giden anahtar yol olacaktır."
The content is for reference only, not a solicitation or offer. No investment, tax, or legal advice provided. See Disclaimer for more risks disclosure.
CertiK kurucu ortağı Profesör Zhao Zhong, Web3 Akademisyen Zirvesi'ne katıldı ve LiDO modelini ilk kez kamuoyuna sundu.
Bugün gerçekleştirilen 2025 Web3 Akademisyenler Zirvesi'nde, Yale Üniversitesi Bilgisayar Bilimleri Bölümü profesörü ve CertiK kurucu ortağı Zhao Zhong, "Ayrıntılı Konsensüs Protokolünün 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 ile LiDO-DAG genişletme çerçevesini ilk kez kamuoyuna tanıttı. Bu çığır açıcı sonuçlar, karmaşık Bizans Hata Toleransı (BFT) konsensüs protokollerine mekanikleştirilebilir güvenlik ve aktiflik kanıtı sağlamayı amaçlamakta ve Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknik bir temel oluşturmayı hedeflemektedir.
Bu konuşmada, Profesör Shao Zhong, mevcut konsensüs protokollerinin (örneğin PBFT, Jolteon) yaygın olarak kullanıldığını, ancak karmaşık uygulama 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ış olup, on binlerce satırlık Coq kodunun mekanik kanıtını tamamlamıştır. Güvenlik ve aktivite doğrulama kod miktarları sırasıyla 4000 satır ve 1700 satırdır. "Mevcut durumda, PoS konsensüs protokolleri genellikle güvenlik, aktivite ve merkeziyetsizlik arasında bir denge kurmakta zorlanıyor," dedi Profesör Shao Zhong konuşmasında. "LiDO modeli, bu sıkıntıyı aşmak için önerilen sistematik bir tasarım çözümüdür."
Prof. Shao Zhong'un liderliğindeki ekip tarafından geliştirilen CertiKOS, dünya çapında biçimsel doğrulama ile "hatasız" bir işletim sistemi olarak kabul edilen ilk sistemdir ve "siber fiziksel sistem güvenliğinde bir dönüm noktası" olarak nitelendirilmektedir. Bu başarı, sadece güvenlik şirketi CertiK'in teknik temellerini atmakla kalmamış, aynı zamanda sistem güvenliği alanındaki derin birikimini de ortaya koymuştur. Son yıllarda, Prof. Shao Zhong blockchain güvenliğine yoğunlaşmış, 2017'de öğrencisi Prof. Gu Ronghui ile birlikte CertiK'i kurmuş ve biçimsel doğrulama teknolojisini akıllı sözleşmeler ve zincir üzerindeki protokollerin güvenlik garantisine entegre ederek, milyar dolarlık kripto varlıkların güvenliğini sağlamıştır.
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ı. Profesör Shao Zhong, CertiK'nin Web3.0'daki temel mekanizmaları doğrulamaya kendini adadığını belirterek, Web3 şirketleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi desteklemek için tüm döngü ürün ve hizmetleri sunmayı hedeflediklerini ifade etti. Konuşmanın sonunda, Profesör Shao Zhong, "Güvenilir, güvenli, doğrulanabilir bir ağ protokol yığını, gerçek merkeziyetsiz geleceğe giden anahtar yol olacaktır."