KTT Cendekiawan Web3: Profesor Universitas Yale Mengumumkan Model LiDO dan Kerangka Perluasannya
Pada Konferensi Akademisi Web3 2025, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale memberikan pidato utama berjudul "Keamanan dan Pembuktian Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Ekstensi-nya", yang pertama kali memperkenalkan model LiDO dan kerangka ekstensi LiDO-DAG yang dikembangkan oleh timnya kepada publik. Hasil inovatif ini bertujuan untuk memberikan verifikasi keamanan dan pembuktian aktivitas yang dapat dimekanisasikan untuk protokol konsensus Byzantine Fault Tolerance (BFT) yang kompleks, serta meletakkan dasar teknis untuk keandalan dan pengembangan skala ekosistem Web3.
Profesor Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada (seperti PBFT dan Jolteon) digunakan secara luas, karena kompleksitas implementasi, mereka sering menyembunyikan kerentanan yang potensial. Untuk mengatasi masalah ini, model LiDO secara inovatif memperkenalkan kerangka verifikasi tiga lapis yang lebih rinci:
Lapisan abstraksi keamanan: Memetakan protokol ke dalam mesin keadaan linier, memastikan konsistensi log (keamanan);
Lapisan Jaminan Aktivitas: Memperkenalkan mekanisme "Pacemaker" untuk mengatasi masalah keterlambatan jaringan melalui siaran waktu habis dan sinkronisasi putaran;
Lapisan Ekstensi DAG: Mendukung protokol DAG baru seperti Narwhal, Bullshark, untuk mewujudkan verifikasi efisien tanpa konsensus pemimpin.
Saat ini, LiDO telah berhasil diterapkan pada protokol tingkat industri Jolteon (BFT dua tahap) serta beberapa protokol DAG, menyelesaikan lebih dari sepuluh ribu baris kode Coq yang dibuktikan secara mekanis, di mana jumlah kode untuk verifikasi keamanan dan aktivitas masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong dalam pidatonya menekankan: "Saat ini, protokol konsensus PoS secara umum menghadapi kesulitan untuk mencapai ketiga aspek keamanan, aktivitas, dan desentralisasi. Model LiDO adalah solusi desain sistematis yang dirancang untuk memecahkan masalah ini."
Sebagai pengembang sistem operasi "tanpa kerentanan" CertiKOS yang pertama di dunia melalui verifikasi formal, Profesor Shao Zhong dan timnya telah mengumpulkan pengalaman yang mendalam di bidang keamanan sistem. Prestasi ini tidak hanya meletakkan dasar teknologi bagi perusahaan keamanan, tetapi juga menunjukkan kekuatan profesional mereka di bidang keamanan sistem. Dalam beberapa tahun terakhir, Profesor Shao Zhong telah mengalihkan fokus penelitiannya ke keamanan blockchain, dan pada tahun 2017, bersama mitra, ia mendirikan sebuah perusahaan keamanan yang membawa teknologi verifikasi formal ke dalam jaminan keamanan kontrak pintar dan protokol on-chain, memberikan perlindungan keamanan bagi aset kripto senilai ribuan miliar dolar.
LiDO saat ini telah menyelesaikan desain model dan verifikasi formal, dan mulai menjelajahi kemungkinan integrasi dengan rantai 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, guna mendukung strategi pengembangan jangka panjang bagi perusahaan dan ekosistem Web3 dengan lebih baik. Di akhir pidatonya, 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.
19 Suka
Hadiah
19
4
Posting ulang
Bagikan
Komentar
0/400
ShamedApeSeller
· 08-14 00:08
Sekali lagi penipuan
Lihat AsliBalas0
CryptoWageSlave
· 08-14 00:06
lagi satu bukti, minum teh saja sudah doomed
Lihat AsliBalas0
OfflineNewbie
· 08-14 00:03
Sekali lagi menipu para suckers untuk bermain orang demi uang.
Profesor Yale merilis model LiDO: memberikan keamanan yang dapat diverifikasi untuk protokol konsensus Web3
KTT Cendekiawan Web3: Profesor Universitas Yale Mengumumkan Model LiDO dan Kerangka Perluasannya
Pada Konferensi Akademisi Web3 2025, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale memberikan pidato utama berjudul "Keamanan dan Pembuktian Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Ekstensi-nya", yang pertama kali memperkenalkan model LiDO dan kerangka ekstensi LiDO-DAG yang dikembangkan oleh timnya kepada publik. Hasil inovatif ini bertujuan untuk memberikan verifikasi keamanan dan pembuktian aktivitas yang dapat dimekanisasikan untuk protokol konsensus Byzantine Fault Tolerance (BFT) yang kompleks, serta meletakkan dasar teknis untuk keandalan dan pengembangan skala ekosistem Web3.
Profesor Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada (seperti PBFT dan Jolteon) digunakan secara luas, karena kompleksitas implementasi, mereka sering menyembunyikan kerentanan yang potensial. Untuk mengatasi masalah ini, model LiDO secara inovatif memperkenalkan kerangka verifikasi tiga lapis yang lebih rinci:
Saat ini, LiDO telah berhasil diterapkan pada protokol tingkat industri Jolteon (BFT dua tahap) serta beberapa protokol DAG, menyelesaikan lebih dari sepuluh ribu baris kode Coq yang dibuktikan secara mekanis, di mana jumlah kode untuk verifikasi keamanan dan aktivitas masing-masing mencapai 4000 baris dan 1700 baris. Profesor Shao Zhong dalam pidatonya menekankan: "Saat ini, protokol konsensus PoS secara umum menghadapi kesulitan untuk mencapai ketiga aspek keamanan, aktivitas, dan desentralisasi. Model LiDO adalah solusi desain sistematis yang dirancang untuk memecahkan masalah ini."
Sebagai pengembang sistem operasi "tanpa kerentanan" CertiKOS yang pertama di dunia melalui verifikasi formal, Profesor Shao Zhong dan timnya telah mengumpulkan pengalaman yang mendalam di bidang keamanan sistem. Prestasi ini tidak hanya meletakkan dasar teknologi bagi perusahaan keamanan, tetapi juga menunjukkan kekuatan profesional mereka di bidang keamanan sistem. Dalam beberapa tahun terakhir, Profesor Shao Zhong telah mengalihkan fokus penelitiannya ke keamanan blockchain, dan pada tahun 2017, bersama mitra, ia mendirikan sebuah perusahaan keamanan yang membawa teknologi verifikasi formal ke dalam jaminan keamanan kontrak pintar dan protokol on-chain, memberikan perlindungan keamanan bagi aset kripto senilai ribuan miliar dolar.
LiDO saat ini telah menyelesaikan desain model dan verifikasi formal, dan mulai menjelajahi kemungkinan integrasi dengan rantai 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, guna mendukung strategi pengembangan jangka panjang bagi perusahaan dan ekosistem Web3 dengan lebih baik. Di akhir pidatonya, 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."