Di KTT Cendekiawan Web3, Model LiDO Diperkenalkan Secara Publik untuk Memberikan Pemikiran Baru tentang Keamanan Protokol Konsensus

Pada konferensi ilmuwan Web3 2025 yang diadakan baru-baru ini, seorang profesor dari departemen ilmu komputer Universitas Yale memberikan pidato utama berjudul "Keamanan dan Bukti Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Ekstensi-nya", yang pertama kali memperkenalkan model LiDO yang dikembangkan oleh timnya dan kerangka ekstensi LiDO-DAG kepada publik. Hasil inovasi ini bertujuan untuk menyediakan keamanan dan bukti aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerant (BFT) yang kompleks, serta meletakkan dasar teknis untuk keandalan dan pengembangan skala Web3.

Profesor tersebut dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada (seperti PBFT, Jolteon) telah diterapkan secara luas, namun karena kompleksitas implementasinya yang tinggi, sering kali menyembunyikan potensi kerentanan keamanan. Untuk mengatasi masalah ini, model LiDO secara inovatif mengusulkan kerangka verifikasi yang diperinci dalam tiga lapisan:

1. Lapisan abstraksi keamanan: memetakan protokol sebagai mesin status linier, memastikan konsistensi log (keamanan);
2. Lapisan jaminan aktif: Memperkenalkan mekanisme "Pacemaker", menyelesaikan masalah keterlambatan jaringan melalui siaran waktu habis dan sinkronisasi putaran;
3. Lapisan Ekstensi DAG: Mendukung protokol DAG baru seperti Narwhal, Bullshark, untuk mewujudkan verifikasi yang efisien dengan konsensus tanpa pemimpin.

Saat ini, LiDO telah berhasil diterapkan pada protokol tingkat industri Jolteon (BFT dua tahap) dan beberapa protokol DAG, menyelesaikan lebih dari sepuluh ribu baris kode Coq yang dibuktikan secara mekanis, dengan jumlah kode untuk verifikasi keamanan dan aktivasi masing-masing mencapai 4000 baris dan 1700 baris. Profesor tersebut menekankan dalam presentasinya: "Saat ini, protokol konsensus PoS secara umum menghadapi dilema sulitnya mencapai keamanan, aktivasi, dan desentralisasi secara bersamaan. Model LiDO adalah solusi desain sistematis yang diajukan untuk memecahkan kendala ini."

Perlu dicatat bahwa profesor ini sebelumnya memimpin tim yang mengembangkan sistem operasi "tanpa celah" pertama di dunia melalui verifikasi formal, CertiKOS, yang dihormati oleh industri sebagai "tonggak keamanan sistem fisik siber". Prestasi ini tidak hanya menetapkan dasar teknis untuk perusahaan keamanan yang didirikan kemudian, tetapi juga menunjukkan akumulasi mendalamnya di bidang keamanan sistem. Dalam beberapa tahun terakhir, profesor ini telah melakukan penelitian mendalam tentang keamanan blockchain, membawa teknologi verifikasi formal ke dalam bidang perlindungan keamanan kontrak pintar dan protokol di jaringan, memberikan perlindungan keamanan untuk aset kripto senilai ratusan miliar dolar.

Model LiDO telah selesai dirancang dan diverifikasi secara formal, dan mulai menjelajahi kemungkinan integrasi dengan blockchain publik utama dan protokol terdesentralisasi. Profesor tersebut 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, ia menekankan: "Tumpukan protokol jaringan yang dapat dipercaya, aman, dan dapat diverifikasi, akan menjadi jalur kunci menuju masa depan yang benar-benar terdesentralisasi."