Di Konferensi Cendekiawan Web3, Profesor Yale Pertama Kali Memperkenalkan Model LiDO

Dalam Konferensi Cendekiawan Web3 2025 yang baru-baru ini diadakan, Profesor Zhao Zhong dari Departemen Ilmu Komputer Universitas Yale memberikan pidato kunci berjudul "Keamanan dan Bukti Aktivitas Protokol Konsensus Berbasis Refinement: LiDO dan Ekspansiannya", yang pertama kali mengungkap model LiDO yang dikembangkan oleh timnya dan kerangka ekspansi LiDO-DAG. Hasil inovatif ini bertujuan untuk memberikan keamanan dan bukti aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerance (BFT) yang kompleks, serta meletakkan dasar teknis untuk keandalan dan pengembangan skala besar ekosistem Web3.

Prof. Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada (seperti PBFT, Jolteon) banyak digunakan, namun karena kompleksitas implementasinya, mereka sering menyimpan potensi kerentanan. Untuk mengatasi masalah ini, model LiDO secara inovatif mengusulkan kerangka verifikasi tiga lapis yang lebih rinci:

1. Lapisan Abstraksi Keamanan: Memetakan protokol menjadi mesin status linier, memastikan konsistensi log (keamanan);
2. Lapisan Jaminan Aktivitas: Memperkenalkan mekanisme "Pacemaker" untuk mengatasi masalah keterlambatan jaringan melalui siaran waktu habis dan sinkronisasi putaran;
3. Lapisan Ekstensi DAG: Mendukung protokol DAG baru seperti Narwhal, Bullshark, untuk mencapai verifikasi efisien tanpa pemimpin.

Saat ini, LiDO telah berhasil diterapkan pada protokol tingkat industri Jolteon (BFT dua tahap) dan beberapa protokol DAG, menyelesaikan lebih dari 10.000 baris kode Coq dengan bukti mekanis, di mana jumlah kode untuk verifikasi keamanan dan aktivitas masing-masing mencapai 4.000 baris dan 1.700 baris. Profesor Shao Zhong menekankan dalam pidatonya: "Saat ini, protokol konsensus PoS secara umum menghadapi tantangan sulit untuk mengakomodasi keamanan, aktivitas, dan desentralisasi. Model LiDO adalah solusi sistematis yang diusulkan untuk mengatasi kesulitan ini."

Tim yang dipimpin oleh Profesor Shao Zhong telah mengembangkan CertiKOS, yang merupakan sistem operasi "tanpa celah" pertama di dunia yang melalui verifikasi formal, diakui sebagai "tonggak sejarah dalam keamanan sistem fisik jaringan". Prestasi ini tidak hanya meletakkan dasar yang kuat bagi mereka di bidang keamanan sistem, tetapi juga menunjukkan pengalaman kaya mereka di bidang tersebut. Dalam beberapa tahun terakhir, Profesor Shao Zhong telah fokus pada penelitian keamanan blockchain, dan pada tahun 2017, bersama rekan-rekannya, mendirikan sebuah perusahaan keamanan, memperkenalkan teknologi verifikasi formal ke dalam keamanan kontrak pintar dan protokol di blockchain, memberikan perlindungan keamanan untuk aset kripto senilai ratusan miliar dolar.

LiDO saat ini telah menyelesaikan desain model dan verifikasi formal, serta mulai mengeksplorasi kemungkinan integrasi dengan blockchain utama dan protokol terdesentralisasi. Profesor Shao Zhong menyatakan bahwa mereka berkomitmen untuk memverifikasi mekanisme kunci dalam Web3.0 untuk menyediakan produk dan layanan sepanjang siklus, serta lebih baik mendukung strategi pengembangan jangka panjang bagi perusahaan dan ekosistem Web3. Di akhir presentasi, Profesor Shao Zhong menekankan: "Tumpukan protokol jaringan yang dapat dipercaya, aman, dan dapat diverifikasi, akan menjadi jalur kunci menuju masa depan terdesentralisasi yang sejati."