KTT Cendekiawan Web3: Profesor Yale Mengusulkan Model Verifikasi Protokol Konsensus Inovatif
Konferensi Puncak Akademisi Web3 2025 baru-baru ini diadakan, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale memberikan pidato kunci, untuk pertama kalinya mengungkapkan model LiDO yang dikembangkan oleh timnya serta kerangka perluasan LiDO-DAG. Hasil terobosan ini bertujuan untuk menyediakan verifikasi mekanis yang dapat dipercaya untuk keamanan dan bukti aktivitas dari protokol konsensus Byzantine Fault Tolerant (BFT) yang kompleks, membangun dasar teknis untuk keandalan dan pengembangan skala ekosistem Web3.
Profesor Shao Zhong dalam pidatonya menunjukkan bahwa protokol konsensus yang ada meskipun banyak digunakan, namun karena kompleksitas implementasinya sering menyembunyikan celah-celah potensial. Untuk mengatasi masalah ini, model LiDO secara inovatif mengusulkan kerangka verifikasi tiga lapis yang lebih rinci:
Lapisan abstraksi keamanan: Memetakan protokol menjadi mesin status linier, memastikan konsistensi log (keamanan);
Lapisan jaminan aktif: Memperkenalkan mekanisme "Pacemaker", memecahkan masalah keterlambatan jaringan melalui siaran timeout dan sinkronisasi putaran;
Lapisan Ekstensi DAG: Mendukung protokol DAG yang muncul, untuk mewujudkan verifikasi yang efisien tanpa pemimpin.
Saat ini, LiDO telah berhasil diterapkan pada protokol tingkat industri dan beberapa protokol DAG, menyelesaikan lebih dari sepuluh ribu baris kode Coq untuk pembuktian mekanis, dengan jumlah kode untuk verifikasi keamanan dan aktivasi masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong dalam pidatonya menunjukkan: "Saat ini, protokol konsensus PoS secara umum menghadapi dilema sulit untuk mendapatkan keamanan, aktivasi, dan desentralisasi secara bersamaan. Model LiDO adalah solusi desain sistematis yang diusulkan untuk mengatasi dilema ini."
CertiKOS yang dikembangkan oleh Profesor Shao Zhong dan timnya adalah sistem operasi "tanpa celah" pertama di dunia yang telah melalui verifikasi formal, dan dianggap sebagai "tonggak sejarah dalam keamanan sistem fisik jaringan". Prestasi ini tidak hanya meletakkan dasar teknis bagi perusahaan tersebut, tetapi juga menunjukkan akumulasi mendalam mereka di bidang keamanan sistem. Dalam beberapa tahun terakhir, Profesor Shao Zhong telah mendalami keamanan blockchain, dan pada tahun 2017 bersama muridnya Profesor Gu Ronghui, mendirikan perusahaan untuk membawa teknologi verifikasi formal ke dalam jaminan keamanan kontrak cerdas dan protokol on-chain, melindungi keamanan aset kripto senilai miliaran dolar.
LiDO saat ini telah menyelesaikan desain model dan verifikasi formal, serta mulai mengeksplorasi kemungkinan integrasi dengan rantai 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 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."
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 merilis model LiDO yang mengatasi tantangan verifikasi protokol konsensus Web3
KTT Cendekiawan Web3: Profesor Yale Mengusulkan Model Verifikasi Protokol Konsensus Inovatif
Konferensi Puncak Akademisi Web3 2025 baru-baru ini diadakan, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale memberikan pidato kunci, untuk pertama kalinya mengungkapkan model LiDO yang dikembangkan oleh timnya serta kerangka perluasan LiDO-DAG. Hasil terobosan ini bertujuan untuk menyediakan verifikasi mekanis yang dapat dipercaya untuk keamanan dan bukti aktivitas dari protokol konsensus Byzantine Fault Tolerant (BFT) yang kompleks, membangun dasar teknis untuk keandalan dan pengembangan skala ekosistem Web3.
Profesor Shao Zhong dalam pidatonya menunjukkan bahwa protokol konsensus yang ada meskipun banyak digunakan, namun karena kompleksitas implementasinya sering menyembunyikan celah-celah potensial. Untuk mengatasi masalah ini, model LiDO secara inovatif mengusulkan kerangka verifikasi tiga lapis yang lebih rinci:
Saat ini, LiDO telah berhasil diterapkan pada protokol tingkat industri dan beberapa protokol DAG, menyelesaikan lebih dari sepuluh ribu baris kode Coq untuk pembuktian mekanis, dengan jumlah kode untuk verifikasi keamanan dan aktivasi masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong dalam pidatonya menunjukkan: "Saat ini, protokol konsensus PoS secara umum menghadapi dilema sulit untuk mendapatkan keamanan, aktivasi, dan desentralisasi secara bersamaan. Model LiDO adalah solusi desain sistematis yang diusulkan untuk mengatasi dilema ini."
CertiKOS yang dikembangkan oleh Profesor Shao Zhong dan timnya adalah sistem operasi "tanpa celah" pertama di dunia yang telah melalui verifikasi formal, dan dianggap sebagai "tonggak sejarah dalam keamanan sistem fisik jaringan". Prestasi ini tidak hanya meletakkan dasar teknis bagi perusahaan tersebut, tetapi juga menunjukkan akumulasi mendalam mereka di bidang keamanan sistem. Dalam beberapa tahun terakhir, Profesor Shao Zhong telah mendalami keamanan blockchain, dan pada tahun 2017 bersama muridnya Profesor Gu Ronghui, mendirikan perusahaan untuk membawa teknologi verifikasi formal ke dalam jaminan keamanan kontrak cerdas dan protokol on-chain, melindungi keamanan aset kripto senilai miliaran dolar.
LiDO saat ini telah menyelesaikan desain model dan verifikasi formal, serta mulai mengeksplorasi kemungkinan integrasi dengan rantai 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 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."