Di KTT Cendekiawan Web3, Profesor Yale Mengungkap Model Keamanan Protokol Konsensus Baru

Dalam konferensi Puncak Cendekiawan Web3 2025 yang baru-baru ini diadakan, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale memberikan pidato yang menarik, memperkenalkan model LiDO terbaru yang dikembangkan oleh timnya serta kerangka perluasan LiDO-DAG. Hasil inovatif ini bertujuan untuk memberikan keamanan dan bukti keaktifan yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerance (BFT) yang kompleks, serta meletakkan dasar teknis yang kuat untuk pengembangan keandalan dan skalabilitas ekosistem Web3.

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

1. Lapisan abstraksi keamanan: Memetakan protokol sebagai mesin status linier, memastikan konsistensi log;
2. Lapisan perlindungan aktif: Memperkenalkan mekanisme "Pacemaker" untuk mengatasi masalah latensi jaringan melalui siaran waktu habis dan sinkronisasi putaran;
3. Lapisan ekstensi DAG: mendukung protokol DAG baru seperti Narwhal, Bullshark, untuk mewujudkan verifikasi konsensus tanpa pemimpin yang efisien.

Saat ini, LiDO telah berhasil diterapkan pada protokol tingkat industri Jolteon (BFT dua tahap) serta beberapa protokol DAG, menyelesaikan lebih dari sepuluh ribu baris kode Coq untuk pembuktian mekanik. Di antaranya, jumlah kode untuk verifikasi keamanan dan keaktifan masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong menekankan dalam presentasinya: "Saat ini, protokol konsensus PoS secara umum menghadapi dilema di mana keamanan, keaktifan, dan desentralisasi sulit dicapai secara bersamaan. Model LiDO adalah solusi desain sistematis yang diajukan untuk memecahkan dilema ini."

Profesor Shao Zhong dan timnya sebelumnya mengembangkan CertiKOS, yang dijuluki sebagai "tonggak keamanan sistem fisik jaringan", adalah sistem operasi "tanpa celah" pertama di dunia yang melalui verifikasi formal. Prestasi ini tidak hanya menunjukkan akumulasi mendalam tim di bidang keamanan sistem, tetapi juga meletakkan dasar teknis yang kokoh untuk penelitian mereka selanjutnya. Pada tahun 2017, Profesor Shao Zhong bersama mahasiswanya, Profesor Gu Ronghui, secara bersama-sama memasukkan teknologi verifikasi formal ke dalam bidang perlindungan keamanan kontrak pintar dan protokol on-chain, memberikan perlindungan keamanan untuk aset kripto bernilai ratusan miliar dolar.

Model LiDO saat ini telah menyelesaikan desain dan verifikasi formal, dan mulai mengeksplorasi kemungkinan integrasi dengan rantai publik 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 bagi perusahaan dan ekosistem Web3 dengan lebih baik.

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 wawasan mendalam beliau mengenai arah perkembangan teknologi Web3, serta memberikan arah pemikiran baru untuk keamanan blockchain dan sistem terdesentralisasi di masa depan.