Di Konferensi Cendekiawan Web3, Profesor Yale Membagikan Model Keamanan Protokol Konsensus yang Baru
Baru-baru ini, Konferensi Akademisi Web3 2025 berlangsung sesuai jadwal. Dalam konferensi tersebut, 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 model LiDO dan kerangka perluasan LiDO-DAG yang dikembangkan oleh timnya kepada publik. Hasil inovatif ini bertujuan untuk memberikan bukti keamanan dan aktivitas yang dapat diverifikasi secara mekanik 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, Jolteon) telah banyak digunakan, tetapi karena kompleksitas implementasinya, mereka sering menyembunyikan kerentanan yang potensial. Untuk mengatasi masalah ini, model LiDO mengusulkan kerangka verifikasi halus tiga lapis yang inovatif:
Lapisan abstraksi keamanan: memetakan protokol ke dalam mesin keadaan linier, memastikan konsistensi log (keamanan);
Lapisan perlindungan aktif: Memperkenalkan mekanisme "Pacemaker", menyelesaikan masalah keterlambatan jaringan melalui siaran waktu habis dan sinkronisasi putaran;
Lapisan Ekstensi DAG: Mendukung protokol DAG baru seperti Narwhal dan Bullshark, untuk mewujudkan verifikasi efisien tanpa pemimpin dalam konsensus.
Saat ini, LiDO telah berhasil diterapkan pada protokol tingkat industri Jolteon (BFT dua tahap) serta beberapa protokol DAG, menyelesaikan lebih dari 10.000 baris kode Coq untuk pembuktian mekanis, di mana jumlah kode untuk verifikasi keamanan dan aktivitas masing-masing mencapai 4.000 baris dan 1.700 baris. Profesor Shao Zhong dalam pidatonya menekankan: "Saat ini, protokol konsensus PoS secara umum menghadapi kesulitan untuk mendapatkan keamanan, aktivitas, dan desentralisasi secara bersamaan. Model LiDO adalah solusi desain sistematis yang diajukan untuk memecahkan dilema ini."
Perlu dicatat bahwa tim yang dipimpin oleh Profesor Shao Zhong sebelumnya mengembangkan CertiKOS, yang merupakan sistem operasi "tanpa celah" pertama di dunia yang telah diverifikasi secara formal, dan dianggap sebagai "tonggak sejarah dalam keamanan sistem fisik siber". Prestasi ini tidak hanya menunjukkan akumulasi mendalam mereka di bidang keamanan sistem, tetapi juga meletakkan dasar untuk penelitian mereka di bidang keamanan blockchain di masa depan. Pada tahun 2017, Profesor Shao Zhong bersama dengan muridnya, Profesor Gu Ronghui, secara bersama-sama memperkenalkan teknologi verifikasi formal ke dalam bidang perlindungan keamanan kontrak pintar dan protokol di blockchain, memberikan perlindungan keamanan untuk aset kripto yang bernilai ratusan miliar dolar.
Model LiDO saat ini telah menyelesaikan desain 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 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.
15 Suka
Hadiah
15
4
Bagikan
Komentar
0/400
CryptoNomics
· 08-06 13:10
*sigh* model lain yang mengklaim dapat menyelesaikan BFT ketika masalah sebenarnya terletak pada keseimbangan teori permainan stochastik... biar saya hitung beberapa angka dengan cepat
Lihat AsliBalas0
AirdropHunterKing
· 08-06 13:09
Ini apa lagi benda mewah? Kenapa tidak segera bilang Airdrop bagaimana cara mendapatkannya?
Profesor Yale Meluncurkan Model LiDO: Terobosan Baru dalam Verifikasi Keamanan Protokol Konsensus
Di Konferensi Cendekiawan Web3, Profesor Yale Membagikan Model Keamanan Protokol Konsensus yang Baru
Baru-baru ini, Konferensi Akademisi Web3 2025 berlangsung sesuai jadwal. Dalam konferensi tersebut, 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 model LiDO dan kerangka perluasan LiDO-DAG yang dikembangkan oleh timnya kepada publik. Hasil inovatif ini bertujuan untuk memberikan bukti keamanan dan aktivitas yang dapat diverifikasi secara mekanik 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, Jolteon) telah banyak digunakan, tetapi karena kompleksitas implementasinya, mereka sering menyembunyikan kerentanan yang potensial. Untuk mengatasi masalah ini, model LiDO mengusulkan kerangka verifikasi halus tiga lapis yang inovatif:
Saat ini, LiDO telah berhasil diterapkan pada protokol tingkat industri Jolteon (BFT dua tahap) serta beberapa protokol DAG, menyelesaikan lebih dari 10.000 baris kode Coq untuk pembuktian mekanis, di mana jumlah kode untuk verifikasi keamanan dan aktivitas masing-masing mencapai 4.000 baris dan 1.700 baris. Profesor Shao Zhong dalam pidatonya menekankan: "Saat ini, protokol konsensus PoS secara umum menghadapi kesulitan untuk mendapatkan keamanan, aktivitas, dan desentralisasi secara bersamaan. Model LiDO adalah solusi desain sistematis yang diajukan untuk memecahkan dilema ini."
Perlu dicatat bahwa tim yang dipimpin oleh Profesor Shao Zhong sebelumnya mengembangkan CertiKOS, yang merupakan sistem operasi "tanpa celah" pertama di dunia yang telah diverifikasi secara formal, dan dianggap sebagai "tonggak sejarah dalam keamanan sistem fisik siber". Prestasi ini tidak hanya menunjukkan akumulasi mendalam mereka di bidang keamanan sistem, tetapi juga meletakkan dasar untuk penelitian mereka di bidang keamanan blockchain di masa depan. Pada tahun 2017, Profesor Shao Zhong bersama dengan muridnya, Profesor Gu Ronghui, secara bersama-sama memperkenalkan teknologi verifikasi formal ke dalam bidang perlindungan keamanan kontrak pintar dan protokol di blockchain, memberikan perlindungan keamanan untuk aset kripto yang bernilai ratusan miliar dolar.
Model LiDO saat ini telah menyelesaikan desain 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 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."