Konferensi Cendekiawan Web3 Memfokuskan pada Kerangka Verifikasi Keamanan Protokol Konsensus Baru
Pada konferensi akademisi Web3 2025 yang baru-baru ini diadakan, profesor dari departemen ilmu komputer Universitas Yale, Shao Zhong, memberikan pidato utama berjudul "Bukti Keamanan dan Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Perluasannya", secara resmi memperkenalkan model LiDO yang dikembangkan oleh timnya dan kerangka perluasan LiDO-DAG. Hasil inovatif ini bertujuan untuk menyediakan bukti keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerant (BFT) yang kompleks, meletakkan dasar teknis yang kokoh untuk keandalan dan pengembangan skala ekosistem Web3.
Profesor Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada (seperti PBFT, Jolteon) telah diterapkan secara luas, tetapi karena 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 menjadi mesin status linier, memastikan konsistensi log (keamanan);
Lapisan perlindungan aktif: Memperkenalkan mekanisme "Pacemaker", menyelesaikan masalah keterlambatan jaringan melalui siaran timeout dan sinkronisasi putaran;
Lapisan Ekstensi DAG: Mendukung protokol DAG baru seperti Narwhal, Bullshark, untuk mewujudkan verifikasi efisien tanpa pemimpin Konsensus.
Saat ini, LiDO telah berhasil diterapkan pada protokol industri Jolteon (BFT dua tahap) dan beberapa protokol DAG, menyelesaikan lebih dari sepuluh ribu baris kode Coq dengan pembuktian mekanis, di mana jumlah kode untuk verifikasi keamanan dan keaktifan masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong menekankan: "Saat ini, protokol konsensus PoS umumnya menghadapi dilema di mana keamanan, keaktifan, dan desentralisasi sulit dicapai secara bersamaan. Model LiDO adalah solusi desain sistematis yang diusulkan untuk mengatasi kendala ini."
Sebagai pemimpin pengembangan sistem operasi "tanpa celah" CertiKOS yang pertama di dunia melalui verifikasi formal, Profesor Shao Zhong dan timnya telah mengumpulkan kekuatan teknis yang mendalam di bidang keamanan sistem. Prestasi ini tidak hanya meletakkan dasar yang kokoh untuk penelitian mereka selanjutnya, tetapi juga menunjukkan kontribusi luar biasa mereka di bidang keamanan sistem. Dalam beberapa tahun terakhir, Profesor Shao Zhong telah mengalihkan fokus penelitiannya ke keamanan blockchain, berkomitmen untuk menerapkan teknologi verifikasi formal untuk perlindungan keamanan kontrak pintar dan protokol di atas rantai, memberikan perlindungan keamanan untuk aset kripto senilai miliaran dolar.
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 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.
16 Suka
Hadiah
16
7
Posting ulang
Bagikan
Komentar
0/400
ApeWithAPlan
· 33menit yang lalu
Akhirnya ada terobosan baru! luar biasa
Lihat AsliBalas0
GasDevourer
· 11jam yang lalu
bull ah ge satu langkah sampai
Lihat AsliBalas0
MoonRocketman
· 11jam yang lalu
Jebakan protokol ini adalah bahan bakar pasokan yang diperlukan untuk menembus atmosfer. Lihat lebih banyak.
Web3 baru Konsensus protokol kerangka verifikasi keamanan LiDO diperkenalkan di konferensi ilmiah
Konferensi Cendekiawan Web3 Memfokuskan pada Kerangka Verifikasi Keamanan Protokol Konsensus Baru
Pada konferensi akademisi Web3 2025 yang baru-baru ini diadakan, profesor dari departemen ilmu komputer Universitas Yale, Shao Zhong, memberikan pidato utama berjudul "Bukti Keamanan dan Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Perluasannya", secara resmi memperkenalkan model LiDO yang dikembangkan oleh timnya dan kerangka perluasan LiDO-DAG. Hasil inovatif ini bertujuan untuk menyediakan bukti keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerant (BFT) yang kompleks, meletakkan dasar teknis yang kokoh untuk keandalan dan pengembangan skala ekosistem Web3.
Profesor Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada (seperti PBFT, Jolteon) telah diterapkan secara luas, tetapi karena 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 industri Jolteon (BFT dua tahap) dan beberapa protokol DAG, menyelesaikan lebih dari sepuluh ribu baris kode Coq dengan pembuktian mekanis, di mana jumlah kode untuk verifikasi keamanan dan keaktifan masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong menekankan: "Saat ini, protokol konsensus PoS umumnya menghadapi dilema di mana keamanan, keaktifan, dan desentralisasi sulit dicapai secara bersamaan. Model LiDO adalah solusi desain sistematis yang diusulkan untuk mengatasi kendala ini."
Sebagai pemimpin pengembangan sistem operasi "tanpa celah" CertiKOS yang pertama di dunia melalui verifikasi formal, Profesor Shao Zhong dan timnya telah mengumpulkan kekuatan teknis yang mendalam di bidang keamanan sistem. Prestasi ini tidak hanya meletakkan dasar yang kokoh untuk penelitian mereka selanjutnya, tetapi juga menunjukkan kontribusi luar biasa mereka di bidang keamanan sistem. Dalam beberapa tahun terakhir, Profesor Shao Zhong telah mengalihkan fokus penelitiannya ke keamanan blockchain, berkomitmen untuk menerapkan teknologi verifikasi formal untuk perlindungan keamanan kontrak pintar dan protokol di atas rantai, memberikan perlindungan keamanan untuk aset kripto senilai miliaran dolar.
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 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."