Di KTT Cendekiawan Web3, Profesor Yale Pertama Kali Mengungkap Model LiDO
Pada konferensi Web3 Scholars 2025 yang baru-baru ini diadakan, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale memberikan pidato utama berjudul "Keamanan dan Pembuktian Aktivitas Protokol Konsensus Berdasarkan Refinement: LiDO dan Ekstensi-nya", memperkenalkan untuk pertama kalinya model LiDO yang dikembangkan oleh timnya serta kerangka ekstensi LiDO-DAG. Inovasi ini bertujuan untuk memberikan pembuktian keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerance (BFT) yang kompleks, meletakkan dasar teknis bagi 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, kompleksitas implementasinya sering kali menyembunyikan kerentanan potensial. Untuk mengatasi masalah ini, model LiDO secara inovatif mengusulkan kerangka verifikasi tiga lapis yang diperhalus:
Lapisan abstraksi keamanan: Memetakan protokol menjadi mesin status linier, memastikan konsistensi log (keamanan);
Lapisan Jaminan Aktif: Memperkenalkan mekanisme "Pacemaker", yang mengatasi masalah latensi jaringan melalui siaran timeout dan sinkronisasi putaran;
Lapisan Ekstensi DAG: Mendukung protokol DAG baru seperti Narwhal, Bullshark, untuk mewujudkan verifikasi efisien 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 untuk pembuktian mekanis, di mana jumlah kode untuk verifikasi keamanan dan aktivitas masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong menekankan dalam pidatonya: "Saat ini, protokol konsensus PoS secara umum menghadapi dilema sulitnya mencapai keamanan, aktivitas, dan desentralisasi sekaligus. Model LiDO adalah solusi sistematis yang diusulkan untuk mengatasi hambatan ini."
Perlu dicatat bahwa Profesor Shao Zhong pernah memimpin tim yang mengembangkan sistem operasi "tanpa cacat" CertiKOS yang pertama di dunia melalui verifikasi formal, yang dianggap sebagai "tonggak sejarah keamanan sistem fisik dan jaringan" oleh industri. Prestasi ini tidak hanya menunjukkan akumulasi mendalam timnya di bidang keamanan sistem, tetapi juga meletakkan dasar yang kokoh untuk penelitian selanjutnya. Dalam beberapa tahun terakhir, Profesor Shao Zhong telah mengalihkan fokus penelitiannya ke keamanan blockchain, dan pada tahun 2017, ia bersama mitra mendirikan sebuah perusahaan keamanan blockchain, yang berkomitmen untuk menerapkan teknologi verifikasi formal dalam 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 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 bagi perusahaan dan ekosistem Web3. Di akhir pidatonya, Profesor Shao Zhong menekankan: "Membangun tumpukan protokol jaringan yang dapat dipercaya, aman, dan dapat diverifikasi, akan menjadi jalur kunci menuju masa depan yang benar-benar terdesentralisasi."
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
Profesor Yale Mengungkap LiDO: Melampaui Kendala Verifikasi Keamanan Konsensus Protokol
Di KTT Cendekiawan Web3, Profesor Yale Pertama Kali Mengungkap Model LiDO
Pada konferensi Web3 Scholars 2025 yang baru-baru ini diadakan, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale memberikan pidato utama berjudul "Keamanan dan Pembuktian Aktivitas Protokol Konsensus Berdasarkan Refinement: LiDO dan Ekstensi-nya", memperkenalkan untuk pertama kalinya model LiDO yang dikembangkan oleh timnya serta kerangka ekstensi LiDO-DAG. Inovasi ini bertujuan untuk memberikan pembuktian keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerance (BFT) yang kompleks, meletakkan dasar teknis bagi 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, kompleksitas implementasinya sering kali menyembunyikan kerentanan potensial. Untuk mengatasi masalah ini, model LiDO secara inovatif mengusulkan kerangka verifikasi tiga lapis yang diperhalus:
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 untuk pembuktian mekanis, di mana jumlah kode untuk verifikasi keamanan dan aktivitas masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong menekankan dalam pidatonya: "Saat ini, protokol konsensus PoS secara umum menghadapi dilema sulitnya mencapai keamanan, aktivitas, dan desentralisasi sekaligus. Model LiDO adalah solusi sistematis yang diusulkan untuk mengatasi hambatan ini."
Perlu dicatat bahwa Profesor Shao Zhong pernah memimpin tim yang mengembangkan sistem operasi "tanpa cacat" CertiKOS yang pertama di dunia melalui verifikasi formal, yang dianggap sebagai "tonggak sejarah keamanan sistem fisik dan jaringan" oleh industri. Prestasi ini tidak hanya menunjukkan akumulasi mendalam timnya di bidang keamanan sistem, tetapi juga meletakkan dasar yang kokoh untuk penelitian selanjutnya. Dalam beberapa tahun terakhir, Profesor Shao Zhong telah mengalihkan fokus penelitiannya ke keamanan blockchain, dan pada tahun 2017, ia bersama mitra mendirikan sebuah perusahaan keamanan blockchain, yang berkomitmen untuk menerapkan teknologi verifikasi formal dalam 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 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 bagi perusahaan dan ekosistem Web3. Di akhir pidatonya, Profesor Shao Zhong menekankan: "Membangun tumpukan protokol jaringan yang dapat dipercaya, aman, dan dapat diverifikasi, akan menjadi jalur kunci menuju masa depan yang benar-benar terdesentralisasi."