Web3 Scholars Summit'te, CertiK Kurucu Ortağı ve Yale CS Profesörü Zhong Shao, çığır açan bir çerçeve olan LiDO ve LiDO-DAG'ı tanıttı.

Bu yenilik, Jolteon, Narwhal ve Bullshark gibi modern konsensüs protokolleri için ilk resmi, makine tarafından doğrulanmış güvenlik ve canlılık kanıtlarını getiriyor.

LiDO, üst düzey güvenlik modellerini uygulama düzeyindeki koda indirgeyerek, doğrulanabilir şekilde güvenli, ölçeklenebilir ve merkeziyetsiz bir geleceğin temelini atıyor.

Güvenlik sadece istismarları önlemekle ilgili değil, aynı zamanda sıfırdan güvenebileceğimiz sistemler inşa etmekle ilgilidir.