Konferensi Cendekiawan Web3 Fokus pada Keamanan Konsensus dan Pembuktian Aktivitas
Pada Konferensi Akademisi Web3 2025, seorang profesor ilmu komputer terkenal memberikan pidato utama berjudul "Keamanan dan Pembuktian Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Ekstensi-nya", yang pertama kali mengungkapkan model LiDO dan kerangka ekstensi LiDO-DAG yang dikembangkan oleh timnya. Prestasi terobosan ini bertujuan untuk menyediakan pembuktian keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerant (BFT) yang kompleks, meletakkan fondasi teknologi untuk keandalan dan pengembangan skala ekosistem Web3.
Pembicara menunjukkan bahwa protokol konsensus yang ada (seperti PBFT, Jolteon) meskipun banyak digunakan, namun karena kompleksitas implementasinya sering menyembunyikan kerentanan yang potensial. Untuk mengatasi masalah ini, model LiDO secara inovatif mengusulkan kerangka verifikasi yang terperinci dalam tiga lapisan:
Lapisan abstraksi keamanan: Memetakan protokol ke mesin status linier, memastikan konsistensi log (keamanan);
Lapisan Jaminan Aktif: Memperkenalkan mekanisme "Pacemaker", melalui siaran waktu habis dan sinkronisasi putaran untuk mengatasi masalah keterlambatan jaringan;
Lapisan ekstensi DAG: mendukung protokol DAG yang muncul seperti Narwhal, Bullshark, untuk mewujudkan verifikasi efisien tanpa pemimpin Konsensus.
Saat ini, LiDO telah berhasil diterapkan pada protokol industri Jolteon (BFT dua tahap) dan beberapa protokol DAG, menyelesaikan pembuktian mekanis lebih dari sepuluh ribu baris kode Coq, dengan jumlah kode untuk verifikasi keamanan dan aktivitas masing-masing mencapai 4000 baris dan 1700 baris. Pembicara menekankan: "Saat ini, protokol konsensus PoS secara umum menghadapi dilema sulit untuk mencapai keamanan, aktivitas, dan desentralisasi secara bersamaan. Model LiDO adalah solusi desain sistematis yang diajukan untuk memecahkan dilema ini."
Profesor tersebut sebelumnya memimpin tim yang mengembangkan CertiKOS, yang merupakan sistem operasi "tanpa celah" pertama di dunia yang melalui verifikasi formal, diakui sebagai "tonggak keamanan sistem fisik jaringan". Prestasi ini tidak hanya menetapkan akumulasi mendalamnya di bidang keamanan sistem, tetapi juga menyediakan dasar penting untuk penelitian selanjutnya.
LiDO saat ini telah menyelesaikan desain model dan verifikasi formal, dan mulai mengeksplorasi kemungkinan integrasi dengan blockchain utama dan protokol terdesentralisasi. Pembicara menyatakan bahwa mereka berkomitmen untuk memverifikasi mekanisme kunci dalam Web3.0, untuk menyediakan produk dan layanan sepanjang siklus, serta lebih baik mendukung strategi pengembangan jangka panjang untuk perusahaan dan ekosistem Web3.
Di akhir pidato, profesor tersebut menekankan: "Tumpukan protokol jaringan yang dapat dipercaya, aman, dan dapat diverifikasi, akan menjadi jalur kunci menuju masa depan yang benar-benar terdesentralisasi." Pandangan ini memicu diskusi luas di antara para akademisi yang hadir, dan menunjukkan arah untuk perkembangan masa depan teknologi 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.
10 Suka
Hadiah
10
3
Posting ulang
Bagikan
Komentar
0/400
PumpDetector
· 08-02 04:48
hanya kerangka teoritis lainnya... sudah melihat terlalu banyak sejak hari-hari mt gox sejujurnya
Lihat AsliBalas0
MonkeySeeMonkeyDo
· 07-30 05:34
Lagi melihat uang tua? Tidak salah lagi adalah bukti PBFT uang tua
Lihat AsliBalas0
SerNgmi
· 07-30 05:34
Ini lagi soal sains dan teknik, sangat membosankan.
Model LiDO yang inovatif: menyediakan verifikasi keamanan yang dapat dimekanisasi untuk protokol konsensus Web3
Konferensi Cendekiawan Web3 Fokus pada Keamanan Konsensus dan Pembuktian Aktivitas
Pada Konferensi Akademisi Web3 2025, seorang profesor ilmu komputer terkenal memberikan pidato utama berjudul "Keamanan dan Pembuktian Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Ekstensi-nya", yang pertama kali mengungkapkan model LiDO dan kerangka ekstensi LiDO-DAG yang dikembangkan oleh timnya. Prestasi terobosan ini bertujuan untuk menyediakan pembuktian keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerant (BFT) yang kompleks, meletakkan fondasi teknologi untuk keandalan dan pengembangan skala ekosistem Web3.
Pembicara menunjukkan bahwa protokol konsensus yang ada (seperti PBFT, Jolteon) meskipun banyak digunakan, namun karena kompleksitas implementasinya sering menyembunyikan kerentanan yang potensial. 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 pembuktian mekanis lebih dari sepuluh ribu baris kode Coq, dengan jumlah kode untuk verifikasi keamanan dan aktivitas masing-masing mencapai 4000 baris dan 1700 baris. Pembicara menekankan: "Saat ini, protokol konsensus PoS secara umum menghadapi dilema sulit untuk mencapai keamanan, aktivitas, dan desentralisasi secara bersamaan. Model LiDO adalah solusi desain sistematis yang diajukan untuk memecahkan dilema ini."
Profesor tersebut sebelumnya memimpin tim yang mengembangkan CertiKOS, yang merupakan sistem operasi "tanpa celah" pertama di dunia yang melalui verifikasi formal, diakui sebagai "tonggak keamanan sistem fisik jaringan". Prestasi ini tidak hanya menetapkan akumulasi mendalamnya di bidang keamanan sistem, tetapi juga menyediakan dasar penting untuk penelitian selanjutnya.
LiDO saat ini telah menyelesaikan desain model dan verifikasi formal, dan mulai mengeksplorasi kemungkinan integrasi dengan blockchain utama dan protokol terdesentralisasi. Pembicara menyatakan bahwa mereka berkomitmen untuk memverifikasi mekanisme kunci dalam Web3.0, untuk menyediakan produk dan layanan sepanjang siklus, serta lebih baik mendukung strategi pengembangan jangka panjang untuk perusahaan dan ekosistem Web3.
Di akhir pidato, profesor tersebut menekankan: "Tumpukan protokol jaringan yang dapat dipercaya, aman, dan dapat diverifikasi, akan menjadi jalur kunci menuju masa depan yang benar-benar terdesentralisasi." Pandangan ini memicu diskusi luas di antara para akademisi yang hadir, dan menunjukkan arah untuk perkembangan masa depan teknologi Web3.