Konferensi Cendekiawan Web3: Profesor Yale Pertama Kali Mengungkap 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 pertama kali memperkenalkan kepada publik model LiDO dan kerangka perluasan LiDO-DAG yang dikembangkan oleh timnya. Inovasi ini bertujuan untuk menyediakan bukti keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerant (BFT) yang kompleks, meletakkan dasar teknis untuk keandalan dan pengembangan skala besar ekosistem Web3.
Profesor Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada (seperti PBFT, Jolteon) banyak diterapkan, namun karena kompleksitas implementasi yang tinggi, seringkali menyembunyikan kerentanan yang potensial. Untuk mengatasi masalah ini, model LiDO secara inovatif mengusulkan kerangka verifikasi tiga tingkat yang lebih rinci:
Lapisan Abstraksi Keamanan: Memetakan protokol menjadi mesin keadaan linier, memastikan konsistensi log (keamanan).
Lapisan Jaminan 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, untuk mewujudkan verifikasi efisien tanpa pemimpin konsensus.
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 yang dibuktikan secara mekanis, di mana jumlah kode untuk verifikasi keamanan dan aktivasi masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong dalam pidatonya menekankan: "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 mengatasi dilema ini."
Tim yang dipimpin oleh Profesor Shao Zhong telah mengembangkan CertiKOS, yang merupakan sistem operasi "tanpa celah" pertama di dunia yang melalui verifikasi formal, diakui sebagai "tonggak sejarah keamanan sistem fisik siber". Prestasi ini tidak hanya meletakkan dasar bagi teknologi terkait, tetapi juga menunjukkan akumulasi mendalam tim dalam bidang keamanan sistem. Dalam beberapa tahun terakhir, Profesor Shao Zhong telah mempelajari keamanan blockchain secara mendalam, dan pada tahun 2017, bersama koleganya, ia mendirikan sebuah perusahaan keamanan, membawa teknologi verifikasi formal ke dalam jaminan keamanan kontrak pintar dan protokol on-chain, untuk memberikan perlindungan keamanan bagi aset kripto senilai ratusan miliar dolar.
LiDO saat ini telah menyelesaikan desain model dan verifikasi formal, dan 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, serta mendukung strategi pengembangan jangka panjang bagi perusahaan dan ekosistem Web3. 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.
11 Suka
Hadiah
11
4
Posting ulang
Bagikan
Komentar
0/400
LayerZeroHero
· 3jam yang lalu
Tidak percaya! Barang ini ternyata masuk Yale.
Lihat AsliBalas0
OPsychology
· 3jam yang lalu
Hebat sekali Yale kali ini!
Lihat AsliBalas0
wagmi_eventually
· 3jam yang lalu
Satu lagi janji kosong web3
Lihat AsliBalas0
AltcoinAnalyst
· 3jam yang lalu
Disarankan untuk waspada terhadap ketidaklengkapan kerangka tiga lapis, data TVL menunjukkan bahwa teknologi serupa memiliki tingkat risiko mencapai 56% dalam 90 hari.
Profesor Yale pertama kali mengungkapkan model LiDO untuk menyediakan verifikasi mekanis bagi protokol konsensus Web3.
Konferensi Cendekiawan Web3: Profesor Yale Pertama Kali Mengungkap 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 pertama kali memperkenalkan kepada publik model LiDO dan kerangka perluasan LiDO-DAG yang dikembangkan oleh timnya. Inovasi ini bertujuan untuk menyediakan bukti keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerant (BFT) yang kompleks, meletakkan dasar teknis untuk keandalan dan pengembangan skala besar ekosistem Web3.
Profesor Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada (seperti PBFT, Jolteon) banyak diterapkan, namun karena kompleksitas implementasi yang tinggi, seringkali menyembunyikan kerentanan yang potensial. Untuk mengatasi masalah ini, model LiDO secara inovatif mengusulkan kerangka verifikasi tiga tingkat yang lebih rinci:
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 yang dibuktikan secara mekanis, di mana jumlah kode untuk verifikasi keamanan dan aktivasi masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong dalam pidatonya menekankan: "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 mengatasi dilema ini."
Tim yang dipimpin oleh Profesor Shao Zhong telah mengembangkan CertiKOS, yang merupakan sistem operasi "tanpa celah" pertama di dunia yang melalui verifikasi formal, diakui sebagai "tonggak sejarah keamanan sistem fisik siber". Prestasi ini tidak hanya meletakkan dasar bagi teknologi terkait, tetapi juga menunjukkan akumulasi mendalam tim dalam bidang keamanan sistem. Dalam beberapa tahun terakhir, Profesor Shao Zhong telah mempelajari keamanan blockchain secara mendalam, dan pada tahun 2017, bersama koleganya, ia mendirikan sebuah perusahaan keamanan, membawa teknologi verifikasi formal ke dalam jaminan keamanan kontrak pintar dan protokol on-chain, untuk memberikan perlindungan keamanan bagi aset kripto senilai ratusan miliar dolar.
LiDO saat ini telah menyelesaikan desain model dan verifikasi formal, dan 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, serta mendukung strategi pengembangan jangka panjang bagi perusahaan dan ekosistem Web3. 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."