8 Nisan'da Hong Kong'da düzenlenen 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ü 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 kamuya açıkladı. Bu çığır açan buluş, karmaşık Bizans hata toleransı (BFT) konsensüs protokollerine mekanik doğrulama ile güvenlik ve aktiflik kanıtları sağlamayı amaçlamakta olup, Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknik bir temel oluşturmaktadır.
Bu konuşmada, Profesör Shao Zhong, mevcut konsensüs protokollerinin (örneğin PBFT, Jolteon) yaygın olarak kullanıldığını ancak karmaşık uygulanabilirliklerinin gizli potansiyel açıkları barındırdığını belirtti. Bu sorunu çözmek için, LiDO modeli yenilikçi bir şekilde üç katmanlı detaylı doğrulama çerçevesi önermektedir:
Güvenli soyutlama katmanı: Protokolü lineerleştirilmiş durum makinesine eşlemek, günlük tutma tutarlılığını sağlamak (güvenlik);
Aktif Güvence Katmanı: Aşırı zamanlı yayılım ve tur senkronizasyonu ile ağ gecikmesi sorununu aşmak için "Pacemaker" mekanizması getirildi;
DAG genişleme katmanı: Narwhal, Bullshark gibi yeni DAG protokollerini destekleyerek lidersiz konsensüsün etkili doğrulamasını sağlar.
Şu anda LiDO, 4.000 güvenlik satırı ve 1.700 satır etkinlik doğrulama kodu ile 10.000'den fazla Coq kodu satırının mekanize kanıtını tamamlayarak endüstriyel sınıf protokol Jolteon'a (iki aşamalı BFT) ve çoklu DAG protokollerine başarıyla uygulanmıştır. Profesör Shao Zhong konuşmasında, "Şu anda, PoS konsensüs protokolleri genellikle güvenlik, uygulanabilirlik ve ademi merkeziyetçilik ikilemiyle karşı karşıya" dedi. "LiDO modeli, bu ikilemi kırmak için sistematik bir tasarım çözümüdür."
Profesör Shao Zhong ve ekibi tarafından geliştirilen CertiKOS, resmi doğrulamayı geçen dünyanın ilk "güvenlik açığı olmayan" işletim sistemidir ve "siber-fiziksel sistem güvenliğinde bir kilometre taşı" olarak selamlanmıştır. Bu başarı, yalnızca güvenlik şirketi CertiK'in teknolojisinin temelini atmakla kalmıyor, aynı zamanda sistem güvenliği alanındaki derin deneyimini de gösteriyor. Son yıllarda, Profesör Shao Zhong, blok zinciri güvenliğine derinden dahil oldu ve 2017 yılında öğrencisi Profesör Gu Ronghui ile birlikte CertiK'yi kurdu, akıllı sözleşmelerin ve zincir üstü protokollerin güvenliğine resmi doğrulama teknolojisini getirdi ve yüz milyarlarca dolarlık kripto varlıklarının güvenliğine eşlik etti.
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 kritik mekanizmaları doğrulamaya kendini adadığını, böylece tüm döngü ürün ve hizmetleri sunarak Web3 şirketleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi destekleyeceğini belirtti. Konuşmasının sonunda, Profesör Shao Zhong şunları vurguladı: "Güvenilir, güvenli ve doğrulanabilir 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 ortak kurucusu Prof. Zhao Zhong, Web3 Akademisyenler Zirvesi'ne katıldı ve LiDO modelini ilk kez kamuoyuna açıkladı.
8 Nisan'da Hong Kong'da düzenlenen 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ü 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 kamuya açıkladı. Bu çığır açan buluş, karmaşık Bizans hata toleransı (BFT) konsensüs protokollerine mekanik doğrulama ile güvenlik ve aktiflik kanıtları sağlamayı amaçlamakta olup, Web3 ekosisteminin güvenilirliği ve ölçeklenebilir gelişimi için teknik bir temel oluşturmaktadır.
Bu konuşmada, Profesör Shao Zhong, mevcut konsensüs protokollerinin (örneğin PBFT, Jolteon) yaygın olarak kullanıldığını ancak karmaşık uygulanabilirliklerinin gizli potansiyel açıkları barındırdığını belirtti. Bu sorunu çözmek için, LiDO modeli yenilikçi bir şekilde üç katmanlı detaylı doğrulama çerçevesi önermektedir:
Güvenli soyutlama katmanı: Protokolü lineerleştirilmiş durum makinesine eşlemek, günlük tutma tutarlılığını sağlamak (güvenlik);
Aktif Güvence Katmanı: Aşırı zamanlı yayılım ve tur senkronizasyonu ile ağ gecikmesi sorununu aşmak için "Pacemaker" mekanizması getirildi;
DAG genişleme katmanı: Narwhal, Bullshark gibi yeni DAG protokollerini destekleyerek lidersiz konsensüsün etkili doğrulamasını sağlar.
Şu anda LiDO, 4.000 güvenlik satırı ve 1.700 satır etkinlik doğrulama kodu ile 10.000'den fazla Coq kodu satırının mekanize kanıtını tamamlayarak endüstriyel sınıf protokol Jolteon'a (iki aşamalı BFT) ve çoklu DAG protokollerine başarıyla uygulanmıştır. Profesör Shao Zhong konuşmasında, "Şu anda, PoS konsensüs protokolleri genellikle güvenlik, uygulanabilirlik ve ademi merkeziyetçilik ikilemiyle karşı karşıya" dedi. "LiDO modeli, bu ikilemi kırmak için sistematik bir tasarım çözümüdür."
Profesör Shao Zhong ve ekibi tarafından geliştirilen CertiKOS, resmi doğrulamayı geçen dünyanın ilk "güvenlik açığı olmayan" işletim sistemidir ve "siber-fiziksel sistem güvenliğinde bir kilometre taşı" olarak selamlanmıştır. Bu başarı, yalnızca güvenlik şirketi CertiK'in teknolojisinin temelini atmakla kalmıyor, aynı zamanda sistem güvenliği alanındaki derin deneyimini de gösteriyor. Son yıllarda, Profesör Shao Zhong, blok zinciri güvenliğine derinden dahil oldu ve 2017 yılında öğrencisi Profesör Gu Ronghui ile birlikte CertiK'yi kurdu, akıllı sözleşmelerin ve zincir üstü protokollerin güvenliğine resmi doğrulama teknolojisini getirdi ve yüz milyarlarca dolarlık kripto varlıklarının güvenliğine eşlik etti.
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 kritik mekanizmaları doğrulamaya kendini adadığını, böylece tüm döngü ürün ve hizmetleri sunarak Web3 şirketleri ve ekosisteminin uzun vadeli gelişim stratejilerini daha iyi destekleyeceğini belirtti. Konuşmasının sonunda, Profesör Shao Zhong şunları vurguladı: "Güvenilir, güvenli ve doğrulanabilir ağ protokol yığını, gerçek merkeziyetsiz geleceğe giden anahtar yol olacaktır."