Di Konferensi Cendekiawan Web3, Profesor Yale Pertama Kali Mengungkap Model LiDO
Konferensi Cendekiawan Web3 2025 diadakan hari ini, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale menyampaikan pidato utama yang memperkenalkan model LiDO dan kerangka perluasan LiDO-DAG yang dikembangkan oleh timnya. Inovasi ini bertujuan untuk menyediakan keamanan dan bukti aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerance (BFT) yang kompleks, serta meletakkan dasar teknis untuk pengembangan keandalan dan skalabilitas ekosistem Web3.
Profesor Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada (seperti PBFT dan Jolteon) telah digunakan secara luas, sering kali terdapat potensi kerentanan karena kompleksitas implementasinya. Untuk mengatasi masalah ini, model LiDO mengusulkan kerangka verifikasi yang dirinci dalam tiga lapisan:
Lapisan abstraksi keamanan: Memetakan protokol menjadi mesin status linier, memastikan konsistensi log (keamanan);
Lapisan Perlindungan Aktif: Memperkenalkan mekanisme "Pacemaker", yang mengatasi masalah keterlambatan jaringan melalui siaran timeout dan sinkronisasi putaran;
Lapisan Ekstensi DAG: Mendukung protokol DAG baru seperti Narwhal, Bullshark, untuk mewujudkan verifikasi yang efisien tanpa pemimpin.
Model 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 antaranya, jumlah kode untuk verifikasi keamanan dan aktivitas masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong menekankan dalam presentasinya: "Saat ini, protokol konsensus PoS umumnya menghadapi dilema di mana keamanan, aktivitas, dan desentralisasi sulit dicapai secara bersamaan. Model LiDO adalah solusi desain sistematis yang diusulkan untuk memecahkan dilema ini."
Sebagai pengembang utama dari sistem operasi "tanpa celah" CertiKOS yang pertama di dunia yang telah melalui verifikasi formal, Profesor Shao Zhong memiliki akumulasi yang mendalam di bidang keamanan sistem. Dalam beberapa tahun terakhir, ia telah mengalihkan fokus penelitiannya ke keamanan blockchain, berkomitmen untuk menerapkan teknologi verifikasi formal untuk perlindungan keamanan kontrak pintar dan protokol on-chain, memberikan perlindungan keamanan untuk aset kripto senilai miliaran dolar.
Model LiDO saat ini telah menyelesaikan desain dan verifikasi formal, sedang menjajaki kemungkinan integrasi dengan blockchain publik 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.
Profesor Shao Zhong menekankan di akhir pidatonya: "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.
14 Suka
Hadiah
14
4
Posting ulang
Bagikan
Komentar
0/400
WalletInspector
· 08-12 05:33
Teknologi ini terlalu cepat iterasinya.
Lihat AsliBalas0
SleepyValidator
· 08-12 05:25
Aduh, satu lagi model verifikasi, para pro Kriptografi semua sedang bersaing.
Lihat AsliBalas0
metaverse_hermit
· 08-12 05:10
Sekarang bft menjadi jauh lebih elegan.
Lihat AsliBalas0
NotSatoshi
· 08-12 05:05
Botol lama berisi anggur baru, tidak ada terobosan yang berarti.
Profesor Yale Mengumumkan Model LiDO untuk Menyediakan Verifikasi Keamanan Formal bagi Ekosistem Web3
Di Konferensi Cendekiawan Web3, Profesor Yale Pertama Kali Mengungkap Model LiDO
Konferensi Cendekiawan Web3 2025 diadakan hari ini, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale menyampaikan pidato utama yang memperkenalkan model LiDO dan kerangka perluasan LiDO-DAG yang dikembangkan oleh timnya. Inovasi ini bertujuan untuk menyediakan keamanan dan bukti aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerance (BFT) yang kompleks, serta meletakkan dasar teknis untuk pengembangan keandalan dan skalabilitas ekosistem Web3.
Profesor Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada (seperti PBFT dan Jolteon) telah digunakan secara luas, sering kali terdapat potensi kerentanan karena kompleksitas implementasinya. Untuk mengatasi masalah ini, model LiDO mengusulkan kerangka verifikasi yang dirinci dalam tiga lapisan:
Model 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 antaranya, jumlah kode untuk verifikasi keamanan dan aktivitas masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong menekankan dalam presentasinya: "Saat ini, protokol konsensus PoS umumnya menghadapi dilema di mana keamanan, aktivitas, dan desentralisasi sulit dicapai secara bersamaan. Model LiDO adalah solusi desain sistematis yang diusulkan untuk memecahkan dilema ini."
Sebagai pengembang utama dari sistem operasi "tanpa celah" CertiKOS yang pertama di dunia yang telah melalui verifikasi formal, Profesor Shao Zhong memiliki akumulasi yang mendalam di bidang keamanan sistem. Dalam beberapa tahun terakhir, ia telah mengalihkan fokus penelitiannya ke keamanan blockchain, berkomitmen untuk menerapkan teknologi verifikasi formal untuk perlindungan keamanan kontrak pintar dan protokol on-chain, memberikan perlindungan keamanan untuk aset kripto senilai miliaran dolar.
Model LiDO saat ini telah menyelesaikan desain dan verifikasi formal, sedang menjajaki kemungkinan integrasi dengan blockchain publik 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.
Profesor Shao Zhong menekankan di akhir pidatonya: "Protokol jaringan yang dapat dipercaya, aman, dan dapat diverifikasi, akan menjadi jalur kunci menuju masa depan yang benar-benar terdesentralisasi."