Profesor Yale Mengungkap Model LiDO untuk Pertama Kalinya di Konferensi Cendekiawan Web3
Pada Konferensi Cendekiawan Web3 2025, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale memberikan pidato dengan judul "Keamanan dan Bukti Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Perluasannya", yang pertama kali memperkenalkan model LiDO yang dikembangkan oleh timnya dan kerangka perluasan LiDO-DAG. Inovasi ini bertujuan untuk menyediakan bukti keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerant (BFT) yang kompleks, serta meletakkan dasar teknis untuk keandalan dan pengembangan skala ekosistem Web3.
Profesor Shao Zhong dalam pidatonya menunjukkan bahwa konsensus yang ada (seperti PBFT, Jolteon) meskipun diterapkan secara luas, namun karena kompleksitas implementasinya, sering kali menyembunyikan kerentanan yang potensial. Untuk mengatasi masalah ini, model LiDO mengusulkan kerangka verifikasi tiga lapis yang lebih rinci:
Lapisan abstraksi keamanan: Memetakan protokol menjadi mesin keadaan linier, memastikan konsistensi log (keamanan);
Lapisan perlindungan aktif: Memperkenalkan mekanisme "Pacemaker" untuk mengatasi masalah keterlambatan jaringan melalui penyiaran waktu habis dan sinkronisasi putaran;
Lapisan ekspansi DAG: Mendukung protokol DAG yang muncul, mewujudkan verifikasi efisien tanpa pemimpin.
Saat ini, LiDO telah berhasil diterapkan pada protokol industri Jolteon (BFT dua tahap) dan beberapa protokol DAG, menyelesaikan lebih dari sepuluh ribu baris kode Coq yang telah dibuktikan secara mekanis, dengan jumlah kode untuk verifikasi keamanan dan aktivitas masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong dalam presentasinya menekankan: "Saat ini, protokol konsensus PoS secara umum menghadapi dilema di mana keamanan, aktivitas, dan desentralisasi sulit dicapai secara bersamaan. Model LiDO adalah solusi desain sistematis yang diajukan untuk mengatasi dilema ini."
Tim yang dipimpin oleh Profesor Shao Zhong sebelumnya mengembangkan CertiKOS, yang merupakan sistem operasi "tanpa celah" pertama di dunia yang melalui verifikasi formal, dianggap sebagai "tonggak keamanan sistem fisik jaringan". Prestasi ini tidak hanya menunjukkan akumulasi mendalamnya di bidang keamanan sistem, tetapi juga meletakkan dasar untuk penelitian selanjutnya di bidang keamanan blockchain. Pada tahun 2017, Profesor Shao Zhong mulai mendalami penelitian keamanan blockchain, memperkenalkan teknologi verifikasi formal ke dalam perlindungan keamanan kontrak pintar dan protokol on-chain, memberikan perlindungan keamanan bagi banyak aset kripto.
Model LiDO saat ini telah menyelesaikan desain dan verifikasi formal, dan 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 presentasi, 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.
9 Suka
Hadiah
9
6
Posting ulang
Bagikan
Komentar
0/400
AltcoinMarathoner
· 5jam yang lalu
akhirnya... seperti di kilometer 23 maraton crypto, protokol konsensus sedang menemukan ritmenya. model lido adalah angin kedua yang kita butuhkan sejujurnya
Lihat AsliBalas0
SchrodingerWallet
· 18jam yang lalu
Yale juga bermain dengan Byzantine, bisa diatur.
Lihat AsliBalas0
NftMetaversePainter
· 18jam yang lalu
akhirnya... seseorang membahas estetika algoritmik dari protokol konsensus. ini adalah puisi komputasi murni, jujur.
Lihat AsliBalas0
PensionDestroyer
· 18jam yang lalu
Sekarang web3 bisa memperbaiki bug sendiri.
Lihat AsliBalas0
AirdropATM
· 18jam yang lalu
Tunggu, ini kan hanya menulis lapisan keamanan, sudah seperti anggur lama dalam botol baru.
Profesor Yale Meluncurkan Model LiDO untuk Membantu Verifikasi Keamanan Protokol Konsensus Web3
Profesor Yale Mengungkap Model LiDO untuk Pertama Kalinya di Konferensi Cendekiawan Web3
Pada Konferensi Cendekiawan Web3 2025, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale memberikan pidato dengan judul "Keamanan dan Bukti Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Perluasannya", yang pertama kali memperkenalkan model LiDO yang dikembangkan oleh timnya dan kerangka perluasan LiDO-DAG. Inovasi ini bertujuan untuk menyediakan bukti keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerant (BFT) yang kompleks, serta meletakkan dasar teknis untuk keandalan dan pengembangan skala ekosistem Web3.
Profesor Shao Zhong dalam pidatonya menunjukkan bahwa konsensus yang ada (seperti PBFT, Jolteon) meskipun diterapkan secara luas, namun karena kompleksitas implementasinya, sering kali menyembunyikan kerentanan yang potensial. Untuk mengatasi masalah ini, model LiDO mengusulkan kerangka verifikasi tiga lapis yang lebih rinci:
Saat ini, LiDO telah berhasil diterapkan pada protokol industri Jolteon (BFT dua tahap) dan beberapa protokol DAG, menyelesaikan lebih dari sepuluh ribu baris kode Coq yang telah dibuktikan secara mekanis, dengan jumlah kode untuk verifikasi keamanan dan aktivitas masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong dalam presentasinya menekankan: "Saat ini, protokol konsensus PoS secara umum menghadapi dilema di mana keamanan, aktivitas, dan desentralisasi sulit dicapai secara bersamaan. Model LiDO adalah solusi desain sistematis yang diajukan untuk mengatasi dilema ini."
Tim yang dipimpin oleh Profesor Shao Zhong sebelumnya mengembangkan CertiKOS, yang merupakan sistem operasi "tanpa celah" pertama di dunia yang melalui verifikasi formal, dianggap sebagai "tonggak keamanan sistem fisik jaringan". Prestasi ini tidak hanya menunjukkan akumulasi mendalamnya di bidang keamanan sistem, tetapi juga meletakkan dasar untuk penelitian selanjutnya di bidang keamanan blockchain. Pada tahun 2017, Profesor Shao Zhong mulai mendalami penelitian keamanan blockchain, memperkenalkan teknologi verifikasi formal ke dalam perlindungan keamanan kontrak pintar dan protokol on-chain, memberikan perlindungan keamanan bagi banyak aset kripto.
Model LiDO saat ini telah menyelesaikan desain dan verifikasi formal, dan 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 presentasi, 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."