Model LiDO Debut: Inovasi Keamanan Protokol Konsensus Web3

robot
Pembuatan abstrak sedang berlangsung

Konferensi Cendekiawan Web3 Memfokuskan pada Keamanan Protokol Konsensus dan Pembuktian Aktivitas

Pada konferensi ilmuwan Web3 2025 yang diadakan baru-baru ini, seorang profesor ilmu komputer terkenal memberikan pidato utama yang berjudul "Keamanan dan Pembuktian Aktivitas pada Protokol Konsensus yang Diperhalus: LiDO dan Ekstensinya", yang pertama kali mengungkapkan model LiDO dan kerangka ekspansi LiDO-DAG yang dikembangkan oleh timnya. Hasil terobosan ini bertujuan untuk menyediakan pembuktian keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerance (BFT) yang kompleks, dan untuk meletakkan dasar teknis bagi keandalan dan pengembangan skala Web3.

Professor Shao Zhong, co-founder of CertiK, hadir di KTT Akademisi Web3, pertama kali memperkenalkan model LiDO

Dalam pidatonya, profesor tersebut menunjukkan bahwa protokol konsensus yang ada (seperti PBFT, Jolteon) meskipun banyak digunakan, namun karena kompleksitas implementasinya sering menyembunyikan potensi kerentanan. Untuk mengatasi masalah ini, model LiDO secara inovatif mengusulkan kerangka verifikasi yang terperinci dalam tiga lapisan:

  1. Lapisan abstraksi keamanan: memetakan protokol menjadi mesin status linier, memastikan konsistensi log (keamanan);
  2. Lapisan Perlindungan Aktif: Memperkenalkan mekanisme "Pacemaker", untuk memecahkan masalah keterlambatan jaringan melalui siaran waktu habis dan sinkronisasi putaran;
  3. Lapisan Ekstensi DAG: Mendukung protokol DAG baru seperti Narwhal, Bullshark, untuk mewujudkan verifikasi yang efisien tanpa kepemimpinan.

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, dengan jumlah kode verifikasi keamanan dan aktivitas masing-masing mencapai 4000 baris dan 1700 baris. Profesor tersebut dalam presentasinya menunjukkan: "Saat ini, protokol konsensus PoS umumnya menghadapi dilema di mana keamanan, aktivitas, dan desentralisasi sulit untuk dicapai secara bersamaan. Model LiDO adalah solusi desain sistematis yang diajukan untuk memecahkan dilema ini."

Perlu dicatat bahwa profesor tersebut sebelumnya memimpin tim yang mengembangkan CertiKOS, sistem operasi "tanpa celah" pertama di dunia yang telah melalui verifikasi formal, yang dianggap sebagai "tonggak keamanan sistem fisik-siber". Prestasi ini tidak hanya meletakkan dasar teknologi untuk perusahaan keamanan tertentu, tetapi juga menunjukkan akumulasi mendalamnya di bidang keamanan sistem. Dalam beberapa tahun terakhir, profesor tersebut telah mendalami keamanan blockchain, memperkenalkan teknologi verifikasi formal ke dalam perlindungan keamanan kontrak pintar dan protokol di blockchain, menjaga keamanan aset kripto senilai miliaran dolar.

LiDO saat ini telah menyelesaikan desain model dan verifikasi formal, dan mulai mengeksplorasi kemungkinan integrasi dengan blockchain utama dan protokol desentralisasi. Profesor tersebut menyatakan bahwa mereka berkomitmen untuk memverifikasi mekanisme kunci dalam Web3.0, untuk menyediakan produk dan layanan sepanjang siklus, guna 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."

DAG8.58%
Lihat Asli
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.
  • Hadiah
  • 2
  • Bagikan
Komentar
0/400
quietly_stakingvip
· 12jam yang lalu
Sekali lagi melakukan hal-hal yang berlebihan
Lihat AsliBalas0
BlockchainDecodervip
· 12jam yang lalu
Dari sudut pandang makalah sistem terdistribusi, kerangka verifikasi tiga lapis LiDO memang melengkapi kekurangan logika Hoare dalam lingkungan asinkron, dan layak untuk diteliti lebih dalam mengenai efek praktiknya dalam sistem konsensus.
Lihat AsliBalas0
  • Sematkan
Perdagangkan Kripto Di Mana Saja Kapan Saja
qrCode
Pindai untuk mengunduh aplikasi Gate
Komunitas
Bahasa Indonesia
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)