Di KTT Cendekiawan Web3, Profesor Yale Pertama Kali Memperkenalkan Model LiDO
Pada Konferensi Cendekiawan Web3 2025, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale memberikan pidato utama berjudul "Bukti Keamanan dan Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Perluasannya", yang secara resmi memperkenalkan model LiDO dan kerangka perluasan LiDO-DAG yang dikembangkan oleh timnya. Hasil terobosan ini bertujuan untuk memberikan 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 menunjukkan bahwa meskipun protokol konsensus yang ada seperti PBFT banyak digunakan, tetapi karena kompleksitas implementasinya sering kali menyembunyikan celah yang potensial. Untuk mengatasi masalah ini, model LiDO secara inovatif mengajukan kerangka verifikasi yang dirinci dalam tiga lapisan:
Lapisan abstrak keamanan: Memetakan protokol ke dalam mesin status yang dilinierkan, memastikan konsistensi log (keamanan);
Lapisan Perlindungan Aktif: Memperkenalkan mekanisme "Pacemaker" untuk mengatasi masalah keterlambatan jaringan melalui siaran timeout dan sinkronisasi putaran;
Lapisan Ekstensi DAG: Mendukung protokol DAG yang berkembang, mewujudkan verifikasi efisien tanpa pemimpin.
Saat ini, LiDO telah berhasil diterapkan pada protokol industri Jolteon (BFT dua tahap) dan beberapa protokol DAG, menyelesaikan pembuktian mekanis lebih dari sepuluh ribu baris kode Coq, dengan jumlah kode verifikasi keamanan dan aktivasi masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong dalam pidatonya menunjukkan: "Saat ini, protokol konsensus PoS umumnya menghadapi dilema di mana keamanan, aktivasi, dan desentralisasi sulit untuk dicapai secara bersamaan. Model LiDO adalah solusi desain sistematik yang diusulkan untuk memecahkan dilema ini."
Prof. Shao Zhong yang memimpin tim mengembangkan CertiKOS, merupakan sistem operasi "tanpa celah" pertama di dunia yang melalui verifikasi formal, diakui sebagai "tonggak sejarah keamanan sistem fisik siber". Prestasi ini tidak hanya menetapkan akumulasi mendalamnya di bidang keamanan sistem, tetapi juga memberikan dasar yang kuat untuk penelitian selanjutnya. Dalam beberapa tahun terakhir, Prof. Shao Zhong telah mendalami keamanan blockchain, memperkenalkan teknologi verifikasi formal ke dalam jaminan keamanan kontrak pintar dan protokol on-chain, memberikan dukungan yang kuat untuk keamanan aset kripto.
LiDO saat ini telah menyelesaikan desain model dan verifikasi formal, dan mulai menjelajahi 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 untuk perusahaan dan ekosistem Web3 dengan lebih baik. Di akhir pidatonya, 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.
13 Suka
Hadiah
13
4
Posting ulang
Bagikan
Komentar
0/400
GweiWatcher
· 08-10 01:51
Sepanjang hari sibuk menjual kosong, saya mengerti tentang bull dan bear.
Lihat AsliBalas0
GasFeeSobber
· 08-10 01:42
Yale terlalu mahal, saya tidak mampu.
Lihat AsliBalas0
FlashLoanPrince
· 08-10 01:24
Sudah mengangkat diri lagi, ya?
Lihat AsliBalas0
GasFeeVictim
· 08-10 01:23
Konsensus protokol lagi membuat variasi baru, baiklah
Profesor Yale Meluncurkan Model LiDO untuk Membantu Terobosan Verifikasi Protokol Konsensus Web3
Di KTT Cendekiawan Web3, Profesor Yale Pertama Kali Memperkenalkan Model LiDO
Pada Konferensi Cendekiawan Web3 2025, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale memberikan pidato utama berjudul "Bukti Keamanan dan Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Perluasannya", yang secara resmi memperkenalkan model LiDO dan kerangka perluasan LiDO-DAG yang dikembangkan oleh timnya. Hasil terobosan ini bertujuan untuk memberikan 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 menunjukkan bahwa meskipun protokol konsensus yang ada seperti PBFT banyak digunakan, tetapi karena kompleksitas implementasinya sering kali menyembunyikan celah yang potensial. Untuk mengatasi masalah ini, model LiDO secara inovatif mengajukan kerangka verifikasi yang dirinci dalam tiga lapisan:
Saat ini, LiDO telah berhasil diterapkan pada protokol industri Jolteon (BFT dua tahap) dan beberapa protokol DAG, menyelesaikan pembuktian mekanis lebih dari sepuluh ribu baris kode Coq, dengan jumlah kode verifikasi keamanan dan aktivasi masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong dalam pidatonya menunjukkan: "Saat ini, protokol konsensus PoS umumnya menghadapi dilema di mana keamanan, aktivasi, dan desentralisasi sulit untuk dicapai secara bersamaan. Model LiDO adalah solusi desain sistematik yang diusulkan untuk memecahkan dilema ini."
Prof. Shao Zhong yang memimpin tim mengembangkan CertiKOS, merupakan sistem operasi "tanpa celah" pertama di dunia yang melalui verifikasi formal, diakui sebagai "tonggak sejarah keamanan sistem fisik siber". Prestasi ini tidak hanya menetapkan akumulasi mendalamnya di bidang keamanan sistem, tetapi juga memberikan dasar yang kuat untuk penelitian selanjutnya. Dalam beberapa tahun terakhir, Prof. Shao Zhong telah mendalami keamanan blockchain, memperkenalkan teknologi verifikasi formal ke dalam jaminan keamanan kontrak pintar dan protokol on-chain, memberikan dukungan yang kuat untuk keamanan aset kripto.
LiDO saat ini telah menyelesaikan desain model dan verifikasi formal, dan mulai menjelajahi 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 untuk perusahaan dan ekosistem Web3 dengan lebih baik. Di akhir pidatonya, 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."