Konferensi Cendekiawan Web3 Memfokuskan pada Keamanan Konsensus dan Pembuktian Aktivitas
Pada KTT Cendekiawan Web3 2025 yang diadakan baru-baru ini, seorang profesor ilmu komputer terkenal memberikan pidato utama berjudul "Keamanan dan Pembuktian Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Ekstensinya", yang pertama kali mempublikasikan model LiDO yang dikembangkan oleh timnya serta kerangka ekstensi LiDO-DAG. Hasil terobosan ini bertujuan untuk memberikan pembuktian keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerant (BFT) yang kompleks, meletakkan dasar teknologi untuk keandalan dan pengembangan skala ekosistem Web3.
Dalam pidatonya, profesor tersebut 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 diperhalus dalam tiga lapisan:
Lapisan abstraksi keamanan: memetakan protokol ke dalam mesin status linier, memastikan konsistensi log (keamanan);
Lapisan perlindungan aktif: Memperkenalkan mekanisme "Pacemaker", yang menyelesaikan masalah keterlambatan jaringan melalui siaran timeout 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 tingkat industri Jolteon (BFT dua tahap) dan beberapa protokol DAG, menyelesaikan lebih dari sepuluh ribu baris kode Coq untuk pembuktian mekanis, dengan jumlah kode untuk verifikasi keamanan dan aktivasi masing-masing mencapai 4000 baris dan 1700 baris. "Saat ini, protokol konsensus PoS secara umum menghadapi dilema di mana keamanan, aktivasi, dan desentralisasi sulit dicapai secara bersamaan," kata profesor tersebut dalam pidatonya. "Model LiDO adalah solusi desain sistematis yang diusulkan untuk memecahkan dilema ini."
Profesor ini pernah memimpin tim yang mengembangkan sistem operasi "tanpa celah" pertama di dunia melalui verifikasi formal, yang dianggap sebagai "tonggak keamanan sistem fisik jaringan". Prestasi ini tidak hanya meletakkan dasar teknologi untuk perusahaan keamanan yang didirikannya, tetapi juga menunjukkan akumulasi mendalamnya di bidang keamanan sistem. Dalam beberapa tahun terakhir, profesor tersebut menggeluti keamanan blockchain, membawa teknologi verifikasi formal ke dalam keamanan kontrak pintar dan protokol di blockchain, menjaga keamanan aset kripto senilai miliaran dolar.
LiDO saat ini telah menyelesaikan desain model dan verifikasi formal, serta 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, serta mendukung strategi pengembangan jangka panjang untuk perusahaan dan ekosistem Web3 dengan lebih baik. 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."
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.
21 Suka
Hadiah
21
7
Bagikan
Komentar
0/400
MEV_Whisperer
· 07-25 08:35
Apakah kode sumber sudah ada di GitHub?
Lihat AsliBalas0
NewPumpamentals
· 07-23 00:58
Sekali lagi membicarakan bukti matematis
Lihat AsliBalas0
LayerZeroHero
· 07-22 12:45
Verifikasi keamanan protokol harus dilakukan secara rinci, jika tidak, semuanya hanya omong kosong!
Lihat AsliBalas0
WalletDetective
· 07-22 12:44
Satu lagi proyek udara ya.
Lihat AsliBalas0
RamenDeFiSurvivor
· 07-22 12:40
Pemain ramen terdesentralisasi dengan penghasilan bulanan 500U, membenci validator yang memplay people for suckers.
Terobosan baru dalam konsensus Web3: Model LiDO mewujudkan bukti mekanisasi keamanan dan aktivitas
Konferensi Cendekiawan Web3 Memfokuskan pada Keamanan Konsensus dan Pembuktian Aktivitas
Pada KTT Cendekiawan Web3 2025 yang diadakan baru-baru ini, seorang profesor ilmu komputer terkenal memberikan pidato utama berjudul "Keamanan dan Pembuktian Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Ekstensinya", yang pertama kali mempublikasikan model LiDO yang dikembangkan oleh timnya serta kerangka ekstensi LiDO-DAG. Hasil terobosan ini bertujuan untuk memberikan pembuktian keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerant (BFT) yang kompleks, meletakkan dasar teknologi untuk keandalan dan pengembangan skala ekosistem Web3.
Dalam pidatonya, profesor tersebut 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 diperhalus dalam tiga lapisan:
Saat ini, LiDO telah berhasil diterapkan pada protokol tingkat industri Jolteon (BFT dua tahap) dan beberapa protokol DAG, menyelesaikan lebih dari sepuluh ribu baris kode Coq untuk pembuktian mekanis, dengan jumlah kode untuk verifikasi keamanan dan aktivasi masing-masing mencapai 4000 baris dan 1700 baris. "Saat ini, protokol konsensus PoS secara umum menghadapi dilema di mana keamanan, aktivasi, dan desentralisasi sulit dicapai secara bersamaan," kata profesor tersebut dalam pidatonya. "Model LiDO adalah solusi desain sistematis yang diusulkan untuk memecahkan dilema ini."
Profesor ini pernah memimpin tim yang mengembangkan sistem operasi "tanpa celah" pertama di dunia melalui verifikasi formal, yang dianggap sebagai "tonggak keamanan sistem fisik jaringan". Prestasi ini tidak hanya meletakkan dasar teknologi untuk perusahaan keamanan yang didirikannya, tetapi juga menunjukkan akumulasi mendalamnya di bidang keamanan sistem. Dalam beberapa tahun terakhir, profesor tersebut menggeluti keamanan blockchain, membawa teknologi verifikasi formal ke dalam keamanan kontrak pintar dan protokol di blockchain, menjaga keamanan aset kripto senilai miliaran dolar.
LiDO saat ini telah menyelesaikan desain model dan verifikasi formal, serta 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, serta mendukung strategi pengembangan jangka panjang untuk perusahaan dan ekosistem Web3 dengan lebih baik. 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."