Konferensi Cendekiawan Web3 Mengungkap Model LiDO untuk Verifikasi Mekanis Protokol Konsensus yang Kompleks

Pada KTT Cendekiawan Web3 2025, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale menyampaikan pidato utama berjudul "Bukti Keamanan dan Aktivitas Protokol Konsensus Berbasis Refinement: LiDO dan Ekstensi-nya", yang secara resmi memperkenalkan model LiDO yang dikembangkan oleh timnya serta kerangka ekstensi LiDO-DAG. Terobosan ini bertujuan untuk memberikan bukti keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerant (BFT) yang kompleks, serta meletakkan dasar teknis untuk keandalan dan pengembangan skala ekosistem Web3.

Profesor Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada (seperti PBFT, Jolteon) telah diterapkan secara luas, namun karena kompleksitas implementasinya, seringkali menyembunyikan kerentanan yang potensial. Untuk mengatasi masalah ini, model LiDO secara inovatif mengusulkan kerangka verifikasi tiga lapis yang terperinci:

1. Lapisan abstraksi keamanan: Memetakan protokol menjadi mesin status linier, memastikan konsistensi log (keamanan);
2. Lapisan Perlindungan Aktif: Memperkenalkan mekanisme "Pacemaker" untuk mengatasi masalah keterlambatan jaringan melalui penyiaran waktu habis dan sinkronisasi putaran;
3. Lapisan Ekstensi DAG: Mendukung protokol DAG baru seperti Narwhal, Bullshark, untuk mewujudkan verifikasi efisien tanpa pemimpin dalam konsensus.

Saat ini, LiDO telah berhasil diterapkan pada protokol tingkat industri Jolteon (BFT dua tahap) dan beberapa protokol DAG, menyelesaikan pembuktian mekanis lebih dari sepuluh ribu baris kode Coq, di mana jumlah kode untuk verifikasi keamanan dan aktivitas masing-masing mencapai 4000 dan 1700 baris. Profesor Shao Zhong menekankan: "Saat ini, protokol konsensus PoS umumnya menghadapi kesulitan untuk mencapai tiga hal: keamanan, aktivitas, dan desentralisasi. Model LiDO adalah solusi desain sistematis yang diusulkan untuk memecahkan kesulitan ini."

Sebagai pengembang utama sistem operasi "tanpa celah" CertiKOS yang divalidasi secara formal di dunia, Profesor Shao Zhong telah mengakumulasi pengalaman yang mendalam di bidang keamanan sistem. Prestasi ini tidak hanya menetapkan posisinya di bidang teknologi keamanan, tetapi juga menunjukkan kemampuan profesional timnya dalam keamanan sistem. Dalam beberapa tahun terakhir, Profesor Shao Zhong telah mengalihkan fokus penelitiannya ke keamanan blockchain, dan pada tahun 2017, ia bersama mitra mendirikan perusahaan yang berfokus pada keamanan blockchain, memperkenalkan teknologi validasi formal untuk perlindungan keamanan kontrak pintar dan protokol on-chain, memberikan perlindungan keamanan untuk aset kripto senilai ratusan miliar dolar.

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