Konferensi Cendekiawan Web3 Mengungkap Model Keamanan Protokol Konsensus Generasi Baru
Pada Konferensi Cendekiawan Web3 2025 yang diadakan baru-baru ini, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale memberikan pidato kunci berjudul "Keamanan dan Bukti Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Ekstensi-nya", di mana ia untuk pertama kalinya mengungkapkan model LiDO yang dikembangkan oleh timnya dan kerangka ekstensi LiDO-DAG. Penemuan terobosan ini bertujuan untuk menyediakan bukti keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerant (BFT) yang kompleks, sehingga meletakkan dasar teknis bagi keandalan dan pengembangan skala ekosistem Web3.
Profesor Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada seperti PBFT dan Jolteon telah digunakan secara luas, mereka sering menyembunyikan kerentanan yang potensial karena kompleksitas implementasinya. Untuk mengatasi masalah ini, model LiDO secara inovatif mengusulkan kerangka verifikasi yang diperinci dalam tiga lapisan:
Lapisan Abstraksi Keamanan: Memetakan protokol sebagai mesin status linier, memastikan konsistensi log (keamanan);
Lapisan Jaminan Aktivitas: Memperkenalkan mekanisme "Pacemaker", yang mengatasi masalah keterlambatan jaringan melalui siaran waktu habis dan sinkronisasi putaran;
Lapisan Ekstensi DAG: Mendukung protokol DAG baru seperti Narwhal, Bullshark, untuk mewujudkan verifikasi konsensus tanpa pemimpin yang efisien.
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 untuk pembuktian mekanis, di mana jumlah kode untuk verifikasi keamanan dan aktivitas masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong menekankan: "Saat ini, protokol konsensus PoS secara umum menghadapi dilema sulit untuk mendapatkan keamanan, aktivitas, dan desentralisasi secara bersamaan. Model LiDO adalah solusi desain sistematis yang diajukan untuk memecahkan dilema ini."
Sebagai pendiri sistem operasi "tanpa celah" CertiKOS yang divalidasi secara formal di dunia, Profesor Shao Zhong memiliki akumulasi mendalam di bidang keamanan sistem. Prestasi ini tidak hanya meletakkan dasar bagi posisinya di bidang teknologi keamanan, tetapi juga menunjukkan keahlian profesionalnya dalam keamanan sistem. Dalam beberapa tahun terakhir, Profesor Shao Zhong mengalihkan fokus penelitiannya ke keamanan blockchain, berkomitmen untuk menerapkan teknologi verifikasi formal dalam perlindungan keamanan kontrak pintar dan protokol on-chain, memberikan perlindungan keamanan untuk aset kripto senilai ratusan miliar dolar.
Model LiDO telah selesai merancang dan melakukan 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 untuk 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." Pandangan ini menyoroti pentingnya membangun infrastruktur yang aman dan andal untuk mendorong perkembangan sehat seluruh ekosistem di era Web3.
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
7
Bagikan
Komentar
0/400
CrashHotline
· 07-24 20:28
Model penelitian ini tidak ada gunanya.
Lihat AsliBalas0
ZenChainWalker
· 07-24 09:30
Hehe, lagi pamer dan hebat.
Lihat AsliBalas0
BTCBeliefStation
· 07-24 07:52
dang masih tidak bisa membuka tiga kue tua
Lihat AsliBalas0
MoneyBurnerSociety
· 07-21 20:58
Satu alasan lagi untuk mengosongkan dompet... Saya langsung menelitinya!
Lihat AsliBalas0
MEV_Whisperer
· 07-21 20:58
Model baru dan protokol, benar-benar pintar.
Lihat AsliBalas0
LiquidationWatcher
· 07-21 20:58
Sekali lagi membahas teori, cara yang paling nyata untuk menghasilkan uang.
Web3 Scholars Summit Besar: Model LiDO Menandai Era Baru untuk Keamanan Protokol Konsensus
Konferensi Cendekiawan Web3 Mengungkap Model Keamanan Protokol Konsensus Generasi Baru
Pada Konferensi Cendekiawan Web3 2025 yang diadakan baru-baru ini, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale memberikan pidato kunci berjudul "Keamanan dan Bukti Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Ekstensi-nya", di mana ia untuk pertama kalinya mengungkapkan model LiDO yang dikembangkan oleh timnya dan kerangka ekstensi LiDO-DAG. Penemuan terobosan ini bertujuan untuk menyediakan bukti keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerant (BFT) yang kompleks, sehingga meletakkan dasar teknis bagi keandalan dan pengembangan skala ekosistem Web3.
Profesor Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada seperti PBFT dan Jolteon telah digunakan secara luas, mereka sering menyembunyikan kerentanan yang potensial karena kompleksitas implementasinya. Untuk mengatasi masalah ini, model LiDO secara inovatif mengusulkan kerangka verifikasi yang diperinci dalam tiga lapisan:
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 untuk pembuktian mekanis, di mana jumlah kode untuk verifikasi keamanan dan aktivitas masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong menekankan: "Saat ini, protokol konsensus PoS secara umum menghadapi dilema sulit untuk mendapatkan keamanan, aktivitas, dan desentralisasi secara bersamaan. Model LiDO adalah solusi desain sistematis yang diajukan untuk memecahkan dilema ini."
Sebagai pendiri sistem operasi "tanpa celah" CertiKOS yang divalidasi secara formal di dunia, Profesor Shao Zhong memiliki akumulasi mendalam di bidang keamanan sistem. Prestasi ini tidak hanya meletakkan dasar bagi posisinya di bidang teknologi keamanan, tetapi juga menunjukkan keahlian profesionalnya dalam keamanan sistem. Dalam beberapa tahun terakhir, Profesor Shao Zhong mengalihkan fokus penelitiannya ke keamanan blockchain, berkomitmen untuk menerapkan teknologi verifikasi formal dalam perlindungan keamanan kontrak pintar dan protokol on-chain, memberikan perlindungan keamanan untuk aset kripto senilai ratusan miliar dolar.
Model LiDO telah selesai merancang dan melakukan 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 untuk 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." Pandangan ini menyoroti pentingnya membangun infrastruktur yang aman dan andal untuk mendorong perkembangan sehat seluruh ekosistem di era Web3.