Konferensi Cendekiawan Web3 Membahas Dengan Hangat: Profesor Yale Memperkenalkan Model LiDO Untuk Pertama Kalinya
Pada konferensi Akademisi Web3 2025 yang diadakan baru-baru ini, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale memberikan pidato utama tentang "Keamanan dan Bukti Aktivitas Protokol Konsensus Berbasis Refinement: LiDO dan Perluasannya", memperkenalkan untuk pertama kalinya kepada publik model LiDO yang dikembangkan oleh timnya dan kerangka perluasan LiDO-DAG. Hasil inovatif ini bertujuan untuk memberikan verifikasi keamanan dan bukti aktivitas yang dapat dimekanisasi untuk protokol konsensus Byzantine Fault Tolerance (BFT) yang kompleks, meletakkan dasar teknis untuk keandalan dan pengembangan skala besar ekosistem Web3.
Profesor Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada (seperti PBFT, Jolteon) telah diterapkan secara luas, kompleksitas implementasinya seringkali menyembunyikan celah-celah yang berpotensi. Untuk mengatasi masalah ini, model LiDO mengusulkan kerangka verifikasi tiga lapis yang inovatif:
Lapisan Abstraksi Keamanan: Memetakan protokol ke dalam mesin keadaan linier, memastikan konsistensi log (keamanan);
Lapisan Jaminan Aktivitas: Memperkenalkan mekanisme "Pacemaker" untuk menyelesaikan masalah keterlambatan jaringan melalui penyiaran waktu habis dan sinkronisasi putaran;
Lapisan Ekstensi DAG: Mendukung protokol DAG baru seperti Narwhal, Bullshark, untuk mewujudkan 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, di mana jumlah kode untuk verifikasi keamanan dan aktivitas masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong menekankan dalam pidatonya: "Saat ini, protokol konsensus PoS umumnya menghadapi tantangan sulit untuk mencapai keamanan, aktivitas, dan desentralisasi secara bersamaan. Model LiDO adalah solusi desain sistematis yang diusulkan untuk memecahkan dilema ini."
Perlu dicatat bahwa tim yang dipimpin oleh Profesor Shao Zhong sebelumnya mengembangkan CertiKOS, yang merupakan sistem operasi "tanpa celah" pertama di dunia yang telah melalui verifikasi formal, dan dianggap sebagai "tonggak keamanan sistem fisik jaringan" oleh industri. Prestasi ini tidak hanya menunjukkan akumulasi mendalamnya di bidang keamanan sistem, tetapi juga meletakkan dasar yang kokoh untuk penelitian keamanan blockchain di masa mendatang. Sejak 2017, Profesor Shao Zhong telah berkomitmen untuk membawa teknologi verifikasi formal ke dalam bidang perlindungan keamanan kontrak pintar dan protokol on-chain, memberikan kontribusi penting untuk melindungi keamanan aset kripto senilai ratusan miliar dolar.
Saat ini, LiDO telah menyelesaikan desain model dan verifikasi formal, serta mulai menjelajahi kemungkinan integrasi dengan blockchain mainstream dan protokol terdesentralisasi. Profesor Shao Zhong menyatakan bahwa mereka berkomitmen untuk memverifikasi mekanisme kunci dalam Web3.0, untuk menyediakan produk dan layanan sepanjang siklus penuh, serta mendukung strategi pengembangan jangka panjang perusahaan dan ekosistem Web3 dengan lebih baik. Di akhir pidato, 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.
12 Suka
Hadiah
12
8
Posting ulang
Bagikan
Komentar
0/400
NFTragedy
· 21jam yang lalu
Ada sesuatu, dunia akademis gila.
Lihat AsliBalas0
ForkMaster
· 08-13 13:09
Proyek white hat lainnya? Mari kita lihat bagaimana kerentanan diaudit... Semua hacker putih paham.
Lihat AsliBalas0
MidnightGenesis
· 08-13 03:40
Malam-malam lagi membongkar kode, seperti yang diduga, masalah lama masih ada.
Lihat AsliBalas0
0xDreamChaser
· 08-11 02:29
Lihat lihat, sekali lagi membuat jebakan itu
Lihat AsliBalas0
MetaMisfit
· 08-10 20:55
Sekali lagi mengangkat konsep. Melakukan ini lebih baik langsung menggunakan pbft.
Lihat AsliBalas0
ThatsNotARugPull
· 08-10 20:39
bull, bisakah kita berbicara dalam bahasa Mandarin?
Lihat AsliBalas0
LiquidatedAgain
· 08-10 20:36
Keamanan hanya untuk bersenang-senang. Ingat pelajaran dari terakhir kali saya dibersihkan.
Profesor Yale Pertama Kali Mengungkap Model LiDO untuk Membantu Verifikasi Keamanan Protokol Konsensus Web3
Konferensi Cendekiawan Web3 Membahas Dengan Hangat: Profesor Yale Memperkenalkan Model LiDO Untuk Pertama Kalinya
Pada konferensi Akademisi Web3 2025 yang diadakan baru-baru ini, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale memberikan pidato utama tentang "Keamanan dan Bukti Aktivitas Protokol Konsensus Berbasis Refinement: LiDO dan Perluasannya", memperkenalkan untuk pertama kalinya kepada publik model LiDO yang dikembangkan oleh timnya dan kerangka perluasan LiDO-DAG. Hasil inovatif ini bertujuan untuk memberikan verifikasi keamanan dan bukti aktivitas yang dapat dimekanisasi untuk protokol konsensus Byzantine Fault Tolerance (BFT) yang kompleks, meletakkan dasar teknis untuk keandalan dan pengembangan skala besar ekosistem Web3.
Profesor Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada (seperti PBFT, Jolteon) telah diterapkan secara luas, kompleksitas implementasinya seringkali menyembunyikan celah-celah yang berpotensi. Untuk mengatasi masalah ini, model LiDO mengusulkan kerangka verifikasi tiga lapis yang inovatif:
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, di mana jumlah kode untuk verifikasi keamanan dan aktivitas masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong menekankan dalam pidatonya: "Saat ini, protokol konsensus PoS umumnya menghadapi tantangan sulit untuk mencapai keamanan, aktivitas, dan desentralisasi secara bersamaan. Model LiDO adalah solusi desain sistematis yang diusulkan untuk memecahkan dilema ini."
Perlu dicatat bahwa tim yang dipimpin oleh Profesor Shao Zhong sebelumnya mengembangkan CertiKOS, yang merupakan sistem operasi "tanpa celah" pertama di dunia yang telah melalui verifikasi formal, dan dianggap sebagai "tonggak keamanan sistem fisik jaringan" oleh industri. Prestasi ini tidak hanya menunjukkan akumulasi mendalamnya di bidang keamanan sistem, tetapi juga meletakkan dasar yang kokoh untuk penelitian keamanan blockchain di masa mendatang. Sejak 2017, Profesor Shao Zhong telah berkomitmen untuk membawa teknologi verifikasi formal ke dalam bidang perlindungan keamanan kontrak pintar dan protokol on-chain, memberikan kontribusi penting untuk melindungi keamanan aset kripto senilai ratusan miliar dolar.
Saat ini, LiDO telah menyelesaikan desain model dan verifikasi formal, serta mulai menjelajahi kemungkinan integrasi dengan blockchain mainstream dan protokol terdesentralisasi. Profesor Shao Zhong menyatakan bahwa mereka berkomitmen untuk memverifikasi mekanisme kunci dalam Web3.0, untuk menyediakan produk dan layanan sepanjang siklus penuh, serta mendukung strategi pengembangan jangka panjang perusahaan dan ekosistem Web3 dengan lebih baik. Di akhir pidato, 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."