Di Konferensi Cendekiawan Web3, Profesor Yale Mempresentasikan Model Verifikasi Protokol Konsensus Inovatif
Pada Konferensi Cendekiawan Web3 2025, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale memberikan pidato utama berjudul "Pembuktian Keamanan dan Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Perluasannya", yang pertama kali memperkenalkan model LiDO dan kerangka perluasan LiDO-DAG yang dikembangkan oleh timnya. Terobosan ini bertujuan untuk memberikan pembuktian keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus toleran kesalahan Byzantine (BFT) yang kompleks, meletakkan dasar teknis untuk keandalan dan pengembangan skala ekosistem Web3.
Profesor Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada (seperti PBFT, Jolteon) digunakan secara luas, namun kompleksitas implementasinya sering kali 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 sebagai mesin status linier, memastikan konsistensi log (keamanan);
Lapisan Jaminan Aktivitas: Memperkenalkan mekanisme "Pacemaker", melalui siaran waktu habis dan sinkronisasi putaran untuk menyelesaikan masalah keterlambatan jaringan;
Lapisan ekstensi DAG: mendukung protokol DAG baru seperti Narwhal, Bullshark, dan mewujudkan verifikasi yang efisien dengan konsensus 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 aktivasi masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong dalam pidatonya menekankan: "Saat ini, protokol konsensus PoS umumnya menghadapi dilema di mana sulit untuk mendapatkan keamanan, aktivasi, dan desentralisasi secara bersamaan. Model LiDO adalah solusi desain sistematis yang diajukan untuk memecahkan dilema ini."
Sebagai pengembang sistem operasi "tanpa celah" CertiKOS yang pertama di dunia melalui verifikasi formal, Profesor Shao Zhong memiliki akumulasi yang mendalam di bidang keamanan sistem. Dalam beberapa tahun terakhir, ia mengalihkan fokus penelitiannya ke keamanan blockchain, dan pada tahun 2017, ia bersama mitra mendirikan sebuah perusahaan keamanan, membawa teknologi verifikasi formal ke dalam perlindungan keamanan kontrak pintar dan protokol di atas rantai, untuk menyediakan perlindungan keamanan bagi aset kripto dalam skala besar.
Model LiDO saat ini telah menyelesaikan desain dan verifikasi formal, dan mulai mengeksplorasi 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 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 terverifikasi, akan menjadi jalur kunci menuju masa depan desentralisasi yang sejati."
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.
9 Suka
Hadiah
9
5
Bagikan
Komentar
0/400
AltcoinMarathoner
· 07-12 03:10
LiDO: tonggak teknologi utama!
Lihat AsliBalas0
OfflineNewbie
· 07-10 04:41
Penelitian ini terlalu mutakhir, saya tidak mengerti.
Profesor Yale merilis LiDO: memberikan jaminan keamanan yang dapat diverifikasi untuk protokol konsensus Web3
Di Konferensi Cendekiawan Web3, Profesor Yale Mempresentasikan Model Verifikasi Protokol Konsensus Inovatif
Pada Konferensi Cendekiawan Web3 2025, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale memberikan pidato utama berjudul "Pembuktian Keamanan dan Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Perluasannya", yang pertama kali memperkenalkan model LiDO dan kerangka perluasan LiDO-DAG yang dikembangkan oleh timnya. Terobosan ini bertujuan untuk memberikan pembuktian keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus toleran kesalahan Byzantine (BFT) yang kompleks, meletakkan dasar teknis untuk keandalan dan pengembangan skala ekosistem Web3.
Profesor Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada (seperti PBFT, Jolteon) digunakan secara luas, namun kompleksitas implementasinya sering kali 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, di mana jumlah kode untuk verifikasi keamanan dan aktivasi masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong dalam pidatonya menekankan: "Saat ini, protokol konsensus PoS umumnya menghadapi dilema di mana sulit untuk mendapatkan keamanan, aktivasi, dan desentralisasi secara bersamaan. Model LiDO adalah solusi desain sistematis yang diajukan untuk memecahkan dilema ini."
Sebagai pengembang sistem operasi "tanpa celah" CertiKOS yang pertama di dunia melalui verifikasi formal, Profesor Shao Zhong memiliki akumulasi yang mendalam di bidang keamanan sistem. Dalam beberapa tahun terakhir, ia mengalihkan fokus penelitiannya ke keamanan blockchain, dan pada tahun 2017, ia bersama mitra mendirikan sebuah perusahaan keamanan, membawa teknologi verifikasi formal ke dalam perlindungan keamanan kontrak pintar dan protokol di atas rantai, untuk menyediakan perlindungan keamanan bagi aset kripto dalam skala besar.
Model LiDO saat ini telah menyelesaikan desain dan verifikasi formal, dan mulai mengeksplorasi 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 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 terverifikasi, akan menjadi jalur kunci menuju masa depan desentralisasi yang sejati."