Di KTT Cendekiawan Web3, Profesor Yale Pertama Kali Memperkenalkan Model LiDO
Konferensi Cendekiawan Web3 2025 baru-baru ini diadakan, di mana Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale menyampaikan pidato utama berjudul "Keamanan dan Pembuktian Aktivitas Protokol Konsensus Berbasis Refinement: LiDO dan Perluasannya", yang pertama kali mengungkapkan model LiDO dan kerangka perluasan LiDO-DAG yang dikembangkan oleh timnya. Hasil inovatif ini bertujuan untuk memberikan keamanan dan bukti aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerance (BFT) yang kompleks, serta meletakkan dasar teknis untuk pengembangan keandalan dan skalabilitas ekosistem Web3.
Profesor Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada (seperti PBFT dan Jolteon) digunakan secara luas, mereka sering menyembunyikan kerentanan potensial karena kompleksitas implementasinya. Untuk mengatasi masalah ini, model LiDO dengan inovatif mengusulkan kerangka verifikasi tiga lapis yang diperinci:
Lapisan Abstraksi Keamanan: Memetakan protokol ke dalam mesin status linier, memastikan konsistensi log (keamanan);
Lapisan Jaminan Aktif: Memperkenalkan mekanisme "Pacemaker" untuk 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 pemimpin.
Saat ini, LiDO telah berhasil diterapkan pada protokol tingkat industri Jolteon (BFT dua tahap) dan beberapa protokol DAG, menyelesaikan lebih dari 10.000 baris kode Coq yang dibuktikan secara mekanis, di mana jumlah kode untuk verifikasi keamanan dan aktivasi masing-masing mencapai 4.000 baris dan 1.700 baris. Profesor Shao Zhong dalam pidatonya menekankan: "Saat ini, protokol konsensus PoS secara umum menghadapi dilema di mana keamanan, aktivasi, dan desentralisasi sulit untuk dicapai secara bersamaan. Model LiDO adalah solusi desain sistematis yang diajukan untuk memecahkan dilema ini."
Prof. Shao Zhong dan timnya sebelumnya mengembangkan CertiKOS, sistem operasi "tanpa celah" pertama di dunia yang divalidasi secara formal, yang dijuluki sebagai "tonggak sejarah dalam keamanan sistem fisik jaringan". Prestasi ini tidak hanya membangun akumulasi mendalam mereka di bidang keamanan sistem, tetapi juga menunjukkan kemampuan profesional mereka di bidang ini. Dalam beberapa tahun terakhir, Prof. Shao Zhong telah mendalami penelitian tentang keamanan blockchain, dan pada tahun 2017 bersama mahasiswanya, Prof. Gu Ronghui, mereka secara bersama-sama memperkenalkan teknologi validasi formal ke dalam bidang perlindungan keamanan kontrak pintar dan protokol on-chain, memberikan perlindungan keamanan bagi aset kripto senilai 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, serta 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 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.
17 Suka
Hadiah
17
10
Bagikan
Komentar
0/400
BlockchainTherapist
· 08-01 13:34
Satu model lagi yang tidak bisa dipahami
Lihat AsliBalas0
PanicSeller
· 08-01 07:13
Giant sudah bermain web3, jika tidak masukkan posisi sekarang akan terlambat.
Lihat AsliBalas0
BearHugger
· 08-01 00:51
Apa ini lagi, pasti datang untuk memanaskan konsep lagi.
Lihat AsliBalas0
Layer3Dreamer
· 07-30 11:39
secara teoritis, kerangka DAG LiDO mungkin saja dapat menyelesaikan hambatan bridging L3 kita...
Lihat AsliBalas0
MelonField
· 07-29 17:04
Saya tidak melihatnya, itu adalah bull.
Lihat AsliBalas0
NewPumpamentals
· 07-29 17:03
Sekali lagi, ini hanya anggur lama dalam botol baru.
Lihat AsliBalas0
BagHolderTillRetire
· 07-29 17:02
Sudah datang lagi untuk menggoreng konsep, investasi tetap harus melihat gmx
Lihat AsliBalas0
gas_fee_therapy
· 07-29 16:48
Sekali lagi tentang protokol konsensus... ada rasanya lagi
Lihat AsliBalas0
ZkProofPudding
· 07-29 16:45
Mengapa ini lagi model teoretis
Lihat AsliBalas0
WalletWhisperer
· 07-29 16:43
Sekali lagi, sebuah teori kerangka yang dalam dan misterius.
Profesor Yale merilis model LiDO: kerangka verifikasi keamanan protokol konsensus Web3 yang baru
Di KTT Cendekiawan Web3, Profesor Yale Pertama Kali Memperkenalkan Model LiDO
Konferensi Cendekiawan Web3 2025 baru-baru ini diadakan, di mana Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale menyampaikan pidato utama berjudul "Keamanan dan Pembuktian Aktivitas Protokol Konsensus Berbasis Refinement: LiDO dan Perluasannya", yang pertama kali mengungkapkan model LiDO dan kerangka perluasan LiDO-DAG yang dikembangkan oleh timnya. Hasil inovatif ini bertujuan untuk memberikan keamanan dan bukti aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerance (BFT) yang kompleks, serta meletakkan dasar teknis untuk pengembangan keandalan dan skalabilitas ekosistem Web3.
Profesor Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada (seperti PBFT dan Jolteon) digunakan secara luas, mereka sering menyembunyikan kerentanan potensial karena kompleksitas implementasinya. Untuk mengatasi masalah ini, model LiDO dengan inovatif mengusulkan kerangka verifikasi tiga lapis yang diperinci:
Saat ini, LiDO telah berhasil diterapkan pada protokol tingkat industri Jolteon (BFT dua tahap) dan beberapa protokol DAG, menyelesaikan lebih dari 10.000 baris kode Coq yang dibuktikan secara mekanis, di mana jumlah kode untuk verifikasi keamanan dan aktivasi masing-masing mencapai 4.000 baris dan 1.700 baris. Profesor Shao Zhong dalam pidatonya menekankan: "Saat ini, protokol konsensus PoS secara umum menghadapi dilema di mana keamanan, aktivasi, dan desentralisasi sulit untuk dicapai secara bersamaan. Model LiDO adalah solusi desain sistematis yang diajukan untuk memecahkan dilema ini."
Prof. Shao Zhong dan timnya sebelumnya mengembangkan CertiKOS, sistem operasi "tanpa celah" pertama di dunia yang divalidasi secara formal, yang dijuluki sebagai "tonggak sejarah dalam keamanan sistem fisik jaringan". Prestasi ini tidak hanya membangun akumulasi mendalam mereka di bidang keamanan sistem, tetapi juga menunjukkan kemampuan profesional mereka di bidang ini. Dalam beberapa tahun terakhir, Prof. Shao Zhong telah mendalami penelitian tentang keamanan blockchain, dan pada tahun 2017 bersama mahasiswanya, Prof. Gu Ronghui, mereka secara bersama-sama memperkenalkan teknologi validasi formal ke dalam bidang perlindungan keamanan kontrak pintar dan protokol on-chain, memberikan perlindungan keamanan bagi aset kripto senilai 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, serta 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 dapat diverifikasi, akan menjadi jalur kunci menuju masa depan yang benar-benar terdesentralisasi."