Konferensi Cendekiawan Web3: Profesor Yale Pertama Kali Memperkenalkan Model LiDO
Pada konferensi Web3 Scholar 2025 yang diadakan baru-baru ini, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale memberikan pidato utama berjudul "Bukti Keamanan dan Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Perluasannya", untuk pertama kalinya memperkenalkan model LiDO yang dikembangkan oleh timnya serta kerangka perluasan LiDO-DAG kepada publik. Hasil inovatif ini bertujuan untuk memberikan pembuktian keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerance (BFT) yang kompleks, serta meletakkan dasar teknis untuk keandalan dan pengembangan besar-besaran ekosistem Web3.
Prof. Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada (seperti PBFT, Jolteon) banyak digunakan, namun karena kompleksitas implementasinya yang tinggi, sering kali terdapat potensi risiko keamanan. Untuk mengatasi masalah ini, model LiDO secara inovatif mengusulkan kerangka verifikasi terperinci tiga lapis:
Lapisan Abstraksi Keamanan: Memetakan protokol ke dalam mesin status linier, memastikan konsistensi log (keamanan);
Lapisan Perlindungan Aktif: Memperkenalkan mekanisme "Pacemaker", yang mengatasi masalah keterlambatan jaringan melalui siaran timeout dan sinkronisasi putaran;
Lapisan Ekstensi DAG: Mendukung protokol DAG baru seperti Narwhal, Bullshark, untuk mewujudkan verifikasi efisien tanpa konsensus 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 dalam pidatonya menekankan: "Saat ini, protokol konsensus PoS umumnya menghadapi tantangan sulit untuk mencapai keamanan, aktivitas, dan desentralisasi secara bersamaan. Model LiDO adalah solusi desain sistematis yang diajukan untuk mengatasi tantangan ini."
Perlu dicatat bahwa Profesor Shao Zhong telah memimpin timnya untuk mengembangkan sistem operasi "tanpa celah" pertama di dunia yang diverifikasi secara formal, CertiKOS, yang dipuji oleh industri sebagai "tonggak keamanan sistem fisik jaringan". Prestasi ini tidak hanya menunjukkan akumulasi mendalam timnya di bidang keamanan sistem, tetapi juga meletakkan dasar yang kokoh untuk penelitian keamanan blockchain di masa depan. Pada tahun 2017, Profesor Shao Zhong bersama muridnya, Profesor Gu Ronghui, memperkenalkan teknologi verifikasi formal ke dalam bidang perlindungan keamanan kontrak pintar dan protokol on-chain, memberikan perlindungan keamanan untuk aset kripto senilai ratusan miliar dolar.
Model LiDO saat ini telah menyelesaikan desain dan verifikasi formal, dan mulai mengeksplorasi kemungkinan integrasi dengan blockchain mainstream dan protokol desentralisasi. Profesor Shaozhong menyatakan bahwa mereka berkomitmen untuk memverifikasi mekanisme kunci dalam Web3.0, untuk menyediakan produk dan layanan sepanjang siklus, dan lebih baik mendukung strategi pengembangan jangka panjang perusahaan dan ekosistem Web3. Di akhir presentasi, Profesor Shaozhong menekankan: "Tumpukan protokol jaringan yang dapat dipercaya, aman, dan dapat diverifikasi, akan menjadi jalur kunci menuju masa depan desentralisasi yang sejati."
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.
11 Suka
Hadiah
11
2
Bagikan
Komentar
0/400
StableNomad
· 08-02 01:55
hmm model konsensus lain... sedikit mendapatkan PTSD luna dao rn
Lihat AsliBalas0
ZKProofster
· 08-02 01:50
secara teknis, hal lido ini sebenarnya tidak benar-benar inovatif... hanya wrapper bft lainnya sejujurnya
Profesor Yale tampil di konferensi Web3: Model LiDO memecahkan dilema konsensus.
Konferensi Cendekiawan Web3: Profesor Yale Pertama Kali Memperkenalkan Model LiDO
Pada konferensi Web3 Scholar 2025 yang diadakan baru-baru ini, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale memberikan pidato utama berjudul "Bukti Keamanan dan Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Perluasannya", untuk pertama kalinya memperkenalkan model LiDO yang dikembangkan oleh timnya serta kerangka perluasan LiDO-DAG kepada publik. Hasil inovatif ini bertujuan untuk memberikan pembuktian keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerance (BFT) yang kompleks, serta meletakkan dasar teknis untuk keandalan dan pengembangan besar-besaran ekosistem Web3.
Prof. Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada (seperti PBFT, Jolteon) banyak digunakan, namun karena kompleksitas implementasinya yang tinggi, sering kali terdapat potensi risiko keamanan. Untuk mengatasi masalah ini, model LiDO secara inovatif mengusulkan kerangka verifikasi terperinci tiga lapis:
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 dalam pidatonya menekankan: "Saat ini, protokol konsensus PoS umumnya menghadapi tantangan sulit untuk mencapai keamanan, aktivitas, dan desentralisasi secara bersamaan. Model LiDO adalah solusi desain sistematis yang diajukan untuk mengatasi tantangan ini."
Perlu dicatat bahwa Profesor Shao Zhong telah memimpin timnya untuk mengembangkan sistem operasi "tanpa celah" pertama di dunia yang diverifikasi secara formal, CertiKOS, yang dipuji oleh industri sebagai "tonggak keamanan sistem fisik jaringan". Prestasi ini tidak hanya menunjukkan akumulasi mendalam timnya di bidang keamanan sistem, tetapi juga meletakkan dasar yang kokoh untuk penelitian keamanan blockchain di masa depan. Pada tahun 2017, Profesor Shao Zhong bersama muridnya, Profesor Gu Ronghui, memperkenalkan teknologi verifikasi formal ke dalam bidang perlindungan keamanan kontrak pintar dan protokol on-chain, memberikan perlindungan keamanan untuk aset kripto senilai ratusan miliar dolar.
Model LiDO saat ini telah menyelesaikan desain dan verifikasi formal, dan mulai mengeksplorasi kemungkinan integrasi dengan blockchain mainstream dan protokol desentralisasi. Profesor Shaozhong menyatakan bahwa mereka berkomitmen untuk memverifikasi mekanisme kunci dalam Web3.0, untuk menyediakan produk dan layanan sepanjang siklus, dan lebih baik mendukung strategi pengembangan jangka panjang perusahaan dan ekosistem Web3. Di akhir presentasi, Profesor Shaozhong menekankan: "Tumpukan protokol jaringan yang dapat dipercaya, aman, dan dapat diverifikasi, akan menjadi jalur kunci menuju masa depan desentralisasi yang sejati."