Konferensi Cendekiawan Web3 Memfokuskan pada Keamanan Konsensus dan Pembuktian Aktivitas Protokol
Pada konferensi Cendekiawan Web3 2025 yang diadakan baru-baru ini, seorang profesor ilmu komputer terkenal memberikan pidato utama berjudul "Keamanan dan Bukti Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Ekstensi-nya", yang pertama kali memperkenalkan model LiDO yang dikembangkan oleh timnya serta kerangka ekstensi LiDO-DAG. Penemuan terobosan 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 keandalan dan pengembangan skala ekosistem Web3.
Pembicara menunjukkan bahwa protokol konsensus yang ada (seperti PBFT, Jolteon) meskipun banyak digunakan, namun karena kompleksitas penerapannya sering menyembunyikan kerentanan yang tersembunyi. Untuk mengatasi masalah ini, model LiDO secara inovatif mengusulkan kerangka verifikasi yang terperinci dalam tiga lapisan:
Lapisan abstraksi keamanan: Memetakan protokol menjadi mesin status linier, memastikan konsistensi log (keamanan);
Lapisan Jaminan Aktif: Memperkenalkan mekanisme "Pacemaker", memecahkan 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 yang dibuktikan secara mekanis, dengan jumlah kode untuk verifikasi keamanan dan aktivasi masing-masing mencapai 4000 baris dan 1700 baris. Profesor tersebut dalam presentasinya menunjukkan: "Saat ini, protokol konsensus PoS umumnya menghadapi dilema di mana keamanan, aktivasi, dan desentralisasi sulit untuk dicapai sekaligus. Model LiDO adalah solusi desain sistematis yang diusulkan untuk mengatasi dilema ini."
Profesor tersebut pernah memimpin tim yang mengembangkan sistem operasi "tanpa celah" pertama di dunia yang melalui verifikasi formal, CertiKOS, yang dijuluki sebagai "tonggak keamanan sistem fisik siber". Prestasi ini tidak hanya menetapkan akumulasi mendalamnya di bidang keamanan sistem, tetapi juga meletakkan dasar untuk penelitian lebih lanjut di bidang keamanan blockchain.
LiDO saat ini telah menyelesaikan desain model dan verifikasi formal, dan mulai mengeksplorasi kemungkinan integrasi dengan rantai publik utama dan protokol terdesentralisasi. Profesor tersebut menyatakan bahwa mereka berkomitmen untuk memverifikasi mekanisme kunci dalam Web3.0, untuk menyediakan produk dan layanan sepanjang siklus, dan mendukung strategi pengembangan jangka panjang perusahaan dan ekosistem Web3 dengan lebih baik. Di akhir presentasi, ia 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
9
Bagikan
Komentar
0/400
CryptoTarotReader
· 18jam yang lalu
Akhirnya ada model baru, ulasan bagus
Lihat AsliBalas0
AltcoinMarathoner
· 07-24 19:08
protokol lain memasuki perlombaan... maraton ini semakin ramai tetapi fundamental tetap kuat
Lihat AsliBalas0
TokenCreatorOP
· 07-24 17:20
Mengapa keamanan begitu diperhatikan?
Lihat AsliBalas0
AirdropLicker
· 07-24 17:13
Sekali lagi datang untuk dianggap bodoh
Lihat AsliBalas0
MidnightSnapHunter
· 07-24 17:12
Memperjelas verifikasi dapat menyelesaikan celah
Lihat AsliBalas0
SchrodingerAirdrop
· 07-24 17:04
Memiliki uang itu bagus
Lihat AsliBalas0
OnchainGossiper
· 07-24 16:55
Jangan banyak bicara, yang penting stabil.
Lihat AsliBalas0
HodlNerd
· 07-24 16:53
menarik bagaimana teori permainan bertemu dengan verifikasi formal dalam ini... keindahan matematis yang sebenarnya
Web3 terobosan: Model LiDO membantu keamanan dan verifikasi aktivasi protokol konsensus
Konferensi Cendekiawan Web3 Memfokuskan pada Keamanan Konsensus dan Pembuktian Aktivitas Protokol
Pada konferensi Cendekiawan Web3 2025 yang diadakan baru-baru ini, seorang profesor ilmu komputer terkenal memberikan pidato utama berjudul "Keamanan dan Bukti Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Ekstensi-nya", yang pertama kali memperkenalkan model LiDO yang dikembangkan oleh timnya serta kerangka ekstensi LiDO-DAG. Penemuan terobosan 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 keandalan dan pengembangan skala ekosistem Web3.
Pembicara menunjukkan bahwa protokol konsensus yang ada (seperti PBFT, Jolteon) meskipun banyak digunakan, namun karena kompleksitas penerapannya sering menyembunyikan kerentanan yang tersembunyi. Untuk mengatasi masalah ini, model LiDO secara inovatif mengusulkan kerangka verifikasi yang terperinci 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 yang dibuktikan secara mekanis, dengan jumlah kode untuk verifikasi keamanan dan aktivasi masing-masing mencapai 4000 baris dan 1700 baris. Profesor tersebut dalam presentasinya menunjukkan: "Saat ini, protokol konsensus PoS umumnya menghadapi dilema di mana keamanan, aktivasi, dan desentralisasi sulit untuk dicapai sekaligus. Model LiDO adalah solusi desain sistematis yang diusulkan untuk mengatasi dilema ini."
Profesor tersebut pernah memimpin tim yang mengembangkan sistem operasi "tanpa celah" pertama di dunia yang melalui verifikasi formal, CertiKOS, yang dijuluki sebagai "tonggak keamanan sistem fisik siber". Prestasi ini tidak hanya menetapkan akumulasi mendalamnya di bidang keamanan sistem, tetapi juga meletakkan dasar untuk penelitian lebih lanjut di bidang keamanan blockchain.
LiDO saat ini telah menyelesaikan desain model dan verifikasi formal, dan mulai mengeksplorasi kemungkinan integrasi dengan rantai publik utama dan protokol terdesentralisasi. Profesor tersebut menyatakan bahwa mereka berkomitmen untuk memverifikasi mekanisme kunci dalam Web3.0, untuk menyediakan produk dan layanan sepanjang siklus, dan mendukung strategi pengembangan jangka panjang perusahaan dan ekosistem Web3 dengan lebih baik. Di akhir presentasi, ia menekankan: "Tumpukan protokol jaringan yang dapat dipercaya, aman, dan dapat diverifikasi, akan menjadi jalur kunci menuju masa depan yang benar-benar terdesentralisasi."