KTT Cendekiawan Web3: Profesor Universitas Yale Pertama Kali Mengungkap Model LiDO

Pada konferensi Web3 Scholars 2025 yang diadakan baru-baru ini, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale menyampaikan pidato kunci berjudul "Bukti Keamanan dan Aktivitas Protokol Konsensus Berbasis Refinement: LiDO dan Perluasannya", yang pertama kali memperkenalkan model LiDO yang dikembangkan oleh timnya serta kerangka perluasan LiDO-DAG kepada publik. 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 yang penting untuk keandalan dan pengembangan skala ekosistem Web3.

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

1. Lapisan abstraksi keamanan: Memetakan protokol menjadi mesin keadaan linier, memastikan konsistensi log untuk menjaga keamanan;
2. Lapisan Perlindungan Aktif: 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, yang mewujudkan 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 sepuluh ribu baris kode Coq yang telah dibuktikan secara mekanis, di mana jumlah kode untuk verifikasi keamanan dan aktivitas masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong dalam pidatonya menekankan: "Saat ini, protokol konsensus PoS secara umum menghadapi dilema di mana keamanan, aktivitas, dan desentralisasi sulit untuk dicapai secara bersamaan. Model LiDO adalah solusi desain sistematis yang diajukan untuk mengatasi batasan ini."

Perlu dicatat bahwa tim yang dipimpin oleh Profesor Shao Zhong sebelumnya mengembangkan sistem CertiKOS, yang merupakan sistem operasi "tanpa celah" pertama di dunia yang melalui verifikasi formal, diakui sebagai "tonggak keamanan sistem fisik jaringan". Prestasi ini tidak hanya menunjukkan akumulasi mendalam timnya di bidang keamanan sistem, tetapi juga meletakkan dasar yang kuat untuk penelitian keamanan blockchain selanjutnya.

Model LiDO saat ini telah menyelesaikan desain dan verifikasi formal, dan 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 mendukung strategi pengembangan jangka panjang untuk perusahaan dan ekosistem Web3.

Di 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 peran penting model LiDO dalam mendorong perkembangan teknologi Web3, memberikan pemikiran dan metode baru untuk keamanan dan keandalan sistem terdesentralisasi di masa depan.