Di Konferensi Cendekiawan Web3, Profesor Yale Pertama Kali Mengungkap Model LiDO
Konferensi Cendekiawan Web3 2025 diadakan hari ini, Profesor Zhao Zhong dari Departemen Ilmu Komputer Universitas Yale memberikan pidato utama berjudul "Keamanan dan Bukti Aktivitas Protokol Konsensus Berbasis Refinement: LiDO dan Ekstensi-nya". Ia pertama kali mempublikasikan model LiDO yang dikembangkan oleh timnya serta kerangka ekstensi LiDO-DAG, pencapaian terobosan ini bertujuan untuk memberikan bukti keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerant (BFT) yang kompleks, serta meletakkan dasar teknis untuk keandalan dan pengembangan skala Web3.
Profesor Shao Zhong menunjukkan bahwa protokol konsensus yang ada (seperti PBFT, Jolteon) meskipun banyak digunakan, tetapi karena kompleksitas implementasinya sering menyembunyikan kerentanan yang potensial. Untuk mengatasi masalah ini, model LiDO secara inovatif mengusulkan kerangka verifikasi tiga lapis yang terperinci:
Lapisan abstraksi keamanan: Memetakan protokol ke dalam mesin status yang dilinierkan, memastikan konsistensi log (keamanan);
Lapisan Jaminan Aktivitas: Memperkenalkan mekanisme "Pacemaker", untuk mengatasi masalah keterlambatan jaringan melalui penyiaran timeout dan sinkronisasi putaran;
Lapisan Ekstensi DAG: Mendukung protokol DAG baru seperti Narwhal, Bullshark, untuk mencapai verifikasi yang efisien tanpa pemimpin.
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 verifikasi keamanan dan aktivasi masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong dalam pidatonya menunjuk bahwa: "Saat ini, protokol konsensus PoS secara umum menghadapi dilema di mana keamanan, aktivasi, dan desentralisasi sulit untuk dicapai secara bersamaan. Model LiDO adalah solusi desain sistematis yang diajukan untuk memecahkan dilema ini."
CertiKOS yang dikembangkan oleh Profesor Shao Zhong dan timnya adalah sistem operasi "tanpa celah" pertama di dunia yang telah melalui verifikasi formal, dan dianggap sebagai "tonggak keamanan sistem fisik jaringan". Prestasi ini tidak hanya menetapkan dasar teknis dalam bidang keamanan, tetapi juga menunjukkan akumulasi mendalam dalam bidang keamanan sistem. Dalam beberapa tahun terakhir, Profesor Shao Zhong telah mendalami keamanan blockchain, dan pada tahun 2017, bersama muridnya Profesor Gu Ronghui, ia mendirikan sebuah perusahaan keamanan blockchain, memperkenalkan teknologi verifikasi formal ke dalam jaminan keamanan kontrak pintar dan protokol di blockchain, melindungi keamanan aset kripto senilai miliaran dolar.
LiDO saat ini telah menyelesaikan desain model dan verifikasi formal, serta mulai menjelajahi 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 perusahaan dan ekosistem Web3 dengan lebih baik. Di akhir presentasi, 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."
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.
13 Suka
Hadiah
13
5
Bagikan
Komentar
0/400
CountdownToBroke
· 3jam yang lalu
Datang lagi, datang lagi, sekelompok konsep yang tidak dimengerti menipu orang.
Lihat AsliBalas0
consensus_failure
· 08-03 18:27
Juga tidak bisa diterapkan, hanya berkutat pada teori.
Profesor Yale Pertama Kali Mengungkap LiDO: Terobosan Keamanan Protokol Konsensus Web3
Di Konferensi Cendekiawan Web3, Profesor Yale Pertama Kali Mengungkap Model LiDO
Konferensi Cendekiawan Web3 2025 diadakan hari ini, Profesor Zhao Zhong dari Departemen Ilmu Komputer Universitas Yale memberikan pidato utama berjudul "Keamanan dan Bukti Aktivitas Protokol Konsensus Berbasis Refinement: LiDO dan Ekstensi-nya". Ia pertama kali mempublikasikan model LiDO yang dikembangkan oleh timnya serta kerangka ekstensi LiDO-DAG, pencapaian terobosan ini bertujuan untuk memberikan bukti keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerant (BFT) yang kompleks, serta meletakkan dasar teknis untuk keandalan dan pengembangan skala Web3.
Profesor Shao Zhong menunjukkan bahwa protokol konsensus yang ada (seperti PBFT, Jolteon) meskipun banyak digunakan, tetapi karena kompleksitas implementasinya sering menyembunyikan kerentanan yang potensial. Untuk mengatasi masalah ini, model LiDO secara inovatif mengusulkan kerangka verifikasi tiga lapis yang terperinci:
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 verifikasi keamanan dan aktivasi masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong dalam pidatonya menunjuk bahwa: "Saat ini, protokol konsensus PoS secara umum menghadapi dilema di mana keamanan, aktivasi, dan desentralisasi sulit untuk dicapai secara bersamaan. Model LiDO adalah solusi desain sistematis yang diajukan untuk memecahkan dilema ini."
CertiKOS yang dikembangkan oleh Profesor Shao Zhong dan timnya adalah sistem operasi "tanpa celah" pertama di dunia yang telah melalui verifikasi formal, dan dianggap sebagai "tonggak keamanan sistem fisik jaringan". Prestasi ini tidak hanya menetapkan dasar teknis dalam bidang keamanan, tetapi juga menunjukkan akumulasi mendalam dalam bidang keamanan sistem. Dalam beberapa tahun terakhir, Profesor Shao Zhong telah mendalami keamanan blockchain, dan pada tahun 2017, bersama muridnya Profesor Gu Ronghui, ia mendirikan sebuah perusahaan keamanan blockchain, memperkenalkan teknologi verifikasi formal ke dalam jaminan keamanan kontrak pintar dan protokol di blockchain, melindungi keamanan aset kripto senilai miliaran dolar.
LiDO saat ini telah menyelesaikan desain model dan verifikasi formal, serta mulai menjelajahi 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 perusahaan dan ekosistem Web3 dengan lebih baik. Di akhir presentasi, 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."