Konferensi Akademisi Web3: Profesor Yale Mengungkap Model LiDO, Mendukung Peningkatan Keamanan Protokol Konsensus

Pada KTT Cendekiawan Web3 2025, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale menyampaikan pidato kunci berjudul "Bukti Keamanan dan Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Perluasannya", di mana ia pertama kali memperkenalkan model LiDO yang dikembangkan oleh timnya dan kerangka perluasan LiDO-DAG. Hasil inovatif ini bertujuan untuk menyediakan bukti keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerant (BFT) yang kompleks, meletakkan dasar teknis untuk pengembangan keandalan dan skalabilitas ekosistem Web3.

Profesor Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada (seperti PBFT, Jolteon) digunakan secara luas, kompleksitas implementasinya sering kali mengakibatkan potensi kerentanan keamanan. Untuk mengatasi masalah ini, model LiDO telah mengusulkan sebuah kerangka verifikasi tiga lapis yang inovatif:

1. Lapisan Abstraksi Keamanan: Memetakan protokol ke dalam mesin status linier, memastikan konsistensi log (keamanan).
2. Lapisan Jaminan Aktif: Memperkenalkan mekanisme "Pacemaker" untuk menyelesaikan masalah keterlambatan jaringan melalui siaran timeout dan sinkronisasi putaran.
3. Lapisan Ekspansi DAG: Mendukung protokol DAG baru seperti Narwhal, Bullshark, untuk mencapai verifikasi efisien tanpa pemimpin Konsensus.

Saat ini, LiDO telah berhasil diterapkan pada protokol industri Jolteon (BFT dua tahap) dan beberapa protokol DAG, menyelesaikan lebih dari 10.000 baris kode Coq untuk pembuktian 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 dilema di mana sulit untuk mendapatkan keamanan, aktivitas, dan desentralisasi secara bersamaan. Model LiDO adalah solusi desain sistematis yang diajukan untuk memecahkan dilema ini."

Perlu dicatat bahwa Profesor Shao Zhong sebelumnya memimpin tim yang mengembangkan CertiKOS, yang merupakan sistem operasi "tanpa celah" pertama di dunia yang melalui verifikasi formal, dan diakui sebagai "tonggak sejarah dalam keamanan sistem fisik jaringan". Capaian ini tidak hanya meletakkan dasar yang kuat dalam bidang keamanan sistem, tetapi juga menyediakan landasan yang solid untuk penelitian selanjutnya di bidang keamanan blockchain. Pada tahun 2017, Profesor Shao Zhong dan mahasiswanya, Profesor Gu Ronghui, bersama-sama memperkenalkan teknologi verifikasi formal ke dalam bidang perlindungan keamanan kontrak pintar dan protokol on-chain, memberikan perlindungan keamanan untuk aset kripto senilai miliaran dolar.

Model LiDO saat ini telah menyelesaikan desain dan verifikasi formal, sedang mengeksplorasi kemungkinan integrasi dengan blockchain publik utama dan protokol terdesentralisasi. Profesor Shao Zhong menyatakan bahwa mereka berkomitmen untuk memverifikasi mekanisme kunci dalam Web3.0, untuk memberikan produk dan layanan sepanjang siklus, serta lebih baik mendukung strategi pengembangan jangka panjang untuk perusahaan dan ekosistem Web3.

Pada akhir pidato, Profesor Shao Zhong menekankan: "Tumpukan protokol jaringan yang dapat dipercaya, aman, dan dapat diverifikasi, akan menjadi jalur kunci menuju masa depan yang benar-benar terdesentralisasi." Pandangan ini menyoroti pentingnya model LiDO dalam mendorong perkembangan teknologi Web3 dan jaminan keamanan.