Di Konferensi Cendekiawan Web3, Profesor Yale Secara Perdana Mengungkap Model LiDO
Pada konferensi ilmuwan Web3 2025 yang baru-baru ini diadakan, profesor dari departemen ilmu komputer Universitas Yale, Shao Zhong, menyampaikan pidato utama berjudul "Keamanan dan Pembuktian Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Ekspansinya," yang pertama kali memperkenalkan model LiDO dan kerangka ekspansi LiDO-DAG yang dikembangkan oleh timnya kepada publik. Inovasi ini bertujuan untuk menyediakan pembuktian keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerant (BFT) yang kompleks, membuka jalan bagi keandalan dan pengembangan berskala besar ekosistem Web3.
Prof. Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada (seperti PBFT, Jolteon) digunakan secara luas, sering kali terdapat potensi risiko keamanan akibat kompleksitas implementasi. Untuk mengatasi masalah ini, model LiDO mengusulkan kerangka verifikasi tiga lapis yang inovatif:
Lapisan Abstraksi Keamanan: Memetakan protokol menjadi mesin status linier, memastikan konsistensi log, dan menjamin keamanan;
Lapisan Perlindungan Aktif: Memperkenalkan mekanisme "Pacemaker" untuk mengatasi masalah keterlambatan jaringan melalui siaran waktu habis dan sinkronisasi putaran;
Lapisan Ekstensi DAG: Mendukung protokol DAG baru seperti Narwhal, Bullshark, dan mewujudkan verifikasi konsensus tanpa pemimpin yang efisien.
Saat ini, LiDO telah berhasil diterapkan pada protokol industri Jolteon (BFT dua tahap) serta 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 menekankan dalam pidatonya: "Saat ini, protokol konsensus PoS umumnya menghadapi dilema di mana sulit untuk mencapai keamanan, aktivitas, dan desentralisasi secara bersamaan. Model LiDO adalah solusi desain sistematis yang diusulkan untuk memecahkan dilema ini."
Tim yang dipimpin oleh Profesor Shao Zhong sebelumnya telah mengembangkan CertiKOS, yang merupakan sistem operasi "tanpa celah" pertama di dunia yang diverifikasi secara formal, yang dianggap sebagai "tonggak keamanan sistem fisik jaringan" oleh industri. Prestasi ini tidak hanya meletakkan dasar untuk teknologi terkait, tetapi juga menunjukkan akumulasi mendalam tim di bidang keamanan sistem. Dalam beberapa tahun terakhir, Profesor Shao Zhong telah mendalami penelitian keamanan blockchain, dan pada tahun 2017 bersama rekan-rekannya mendirikan sebuah perusahaan keamanan, memperkenalkan teknologi verifikasi formal ke dalam perlindungan keamanan kontrak pintar dan protokol on-chain, memberikan perlindungan keamanan untuk aset kripto yang bernilai ratusan miliar dolar.
LiDO saat ini telah menyelesaikan desain model dan verifikasi formal, serta 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, guna 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 terverifikasi, akan menjadi jalan 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.
15 Suka
Hadiah
15
7
Bagikan
Komentar
0/400
LiquidityWitch
· 07-25 10:19
Gelombang ini bisa dibilang benar-benar tembus pertahanan.
Lihat AsliBalas0
CryptoMotivator
· 07-24 15:10
Jauh dari kenyataan, masih saja meneliti model ini.
Lihat AsliBalas0
New_Ser_Ngmi
· 07-22 16:54
Jujur, masih mempelajari Byzantium?
Lihat AsliBalas0
FlyingLeek
· 07-22 16:53
Blockchain pemegang saham, satu jaringan satu jaringan satu jaringan rugi
Profesor Yale meluncurkan model LiDO: menyediakan verifikasi formal untuk protokol konsensus Web3
Di Konferensi Cendekiawan Web3, Profesor Yale Secara Perdana Mengungkap Model LiDO
Pada konferensi ilmuwan Web3 2025 yang baru-baru ini diadakan, profesor dari departemen ilmu komputer Universitas Yale, Shao Zhong, menyampaikan pidato utama berjudul "Keamanan dan Pembuktian Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Ekspansinya," yang pertama kali memperkenalkan model LiDO dan kerangka ekspansi LiDO-DAG yang dikembangkan oleh timnya kepada publik. Inovasi ini bertujuan untuk menyediakan pembuktian keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerant (BFT) yang kompleks, membuka jalan bagi keandalan dan pengembangan berskala besar ekosistem Web3.
Prof. Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada (seperti PBFT, Jolteon) digunakan secara luas, sering kali terdapat potensi risiko keamanan akibat kompleksitas implementasi. Untuk mengatasi masalah ini, model LiDO mengusulkan kerangka verifikasi tiga lapis yang inovatif:
Saat ini, LiDO telah berhasil diterapkan pada protokol industri Jolteon (BFT dua tahap) serta 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 menekankan dalam pidatonya: "Saat ini, protokol konsensus PoS umumnya menghadapi dilema di mana sulit untuk mencapai keamanan, aktivitas, dan desentralisasi secara bersamaan. Model LiDO adalah solusi desain sistematis yang diusulkan untuk memecahkan dilema ini."
Tim yang dipimpin oleh Profesor Shao Zhong sebelumnya telah mengembangkan CertiKOS, yang merupakan sistem operasi "tanpa celah" pertama di dunia yang diverifikasi secara formal, yang dianggap sebagai "tonggak keamanan sistem fisik jaringan" oleh industri. Prestasi ini tidak hanya meletakkan dasar untuk teknologi terkait, tetapi juga menunjukkan akumulasi mendalam tim di bidang keamanan sistem. Dalam beberapa tahun terakhir, Profesor Shao Zhong telah mendalami penelitian keamanan blockchain, dan pada tahun 2017 bersama rekan-rekannya mendirikan sebuah perusahaan keamanan, memperkenalkan teknologi verifikasi formal ke dalam perlindungan keamanan kontrak pintar dan protokol on-chain, memberikan perlindungan keamanan untuk aset kripto yang bernilai ratusan miliar dolar.
LiDO saat ini telah menyelesaikan desain model dan verifikasi formal, serta 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, guna 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 terverifikasi, akan menjadi jalan kunci menuju masa depan yang benar-benar terdesentralisasi."