Di KTT Cendekiawan Web3, Profesor Yale Pertama Kali Memperkenalkan Model LiDO
Konferensi Cendekiawan Web3 2025 diadakan hari ini, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale memberikan pidato utama berjudul "Keamanan dan Pembuktian Aktivitas Protokol Konsensus Berbasis Refinement: LiDO dan Ekstensi-nya". Ia untuk pertama kalinya mengungkapkan model LiDO yang dikembangkan oleh timnya dan kerangka ekstensi LiDO-DAG. Terobosan ini bertujuan untuk menyediakan pembuktian keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerant (BFT) yang kompleks, serta meletakkan dasar teknologi untuk keandalan dan pengembangan skala Web3.
Profesor Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada seperti PBFT dan Jolteon banyak digunakan, kompleksitas implementasinya sering kali menyembunyikan kerentanan yang potensial. Untuk mengatasi masalah ini, model LiDO dengan inovatif mengusulkan kerangka verifikasi tiga lapis yang lebih terperinci:
Lapisan abstraksi keamanan: Memetakan protokol menjadi mesin status linier, memastikan konsistensi log (keamanan);
Lapisan Perlindungan Aktif: Memperkenalkan mekanisme "Pacemaker" untuk mengatasi 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.
Saat ini, LiDO telah berhasil diterapkan pada protokol tingkat industri Jolteon (BFT dua tahap) dan beberapa protokol DAG, menyelesaikan pembuktian mekanis lebih dari seribu baris kode Coq, dengan 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 secara umum menghadapi kesulitan untuk mencapai keamanan, aktivasi, dan desentralisasi secara bersamaan. Model LiDO adalah solusi desain sistematis yang diajukan untuk memecahkan masalah ini."
Sebagai pengembang sistem operasi "tanpa celah" CertiKOS yang pertama di dunia yang melalui verifikasi formal, Profesor Shao Zhong memiliki akumulasi yang mendalam di bidang keamanan sistem. Prestasi ini dianggap sebagai "tonggak sejarah keamanan sistem siber fisik". Dalam beberapa tahun terakhir, Profesor Shao Zhong telah mengalihkan fokus penelitiannya ke keamanan blockchain, dan pada tahun 2017, bersama muridnya Profesor Gu Ronghui, mendirikan sebuah perusahaan keamanan yang memperkenalkan teknologi verifikasi formal untuk jaminan keamanan kontrak pintar dan protokol on-chain, memberikan perlindungan keamanan untuk aset kripto bernilai 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, serta mendukung strategi pengembangan jangka panjang perusahaan dan ekosistem Web3 dengan lebih baik.
Di akhir pidato, Profesor Shao Zhong menekankan: "Protokol jaringan yang dapat dipercaya, aman, dan dapat diverifikasi, akan menjadi jalur kunci menuju masa depan yang benar-benar terdesentralisasi."
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
9 Suka
Hadiah
9
5
Bagikan
Komentar
0/400
GweiWatcher
· 20jam yang lalu
Yale University nb ah, mengalahkan universitas-universitas dalam negeri.
Lihat AsliBalas0
SellTheBounce
· 07-07 01:57
Sama seperti PBFT, akhirnya tetap saja ini adalah mimpi buruk Bear Market.
Lihat AsliBalas0
LiquidityWitch
· 07-07 01:46
Segala sesuatu bisa ape, pro Yale cap!
Lihat AsliBalas0
QuorumVoter
· 07-07 01:45
Siapa yang memasak makan malam malam ini? Para ilmuwan sedang meneliti hal-hal kosong.
Lihat AsliBalas0
not_your_keys
· 07-07 01:38
Saya sedikit bingung, masih meneliti protokol konsensus ya.
Profesor Yale meluncurkan model LiDO, verifikasi keamanan protokol konsensus mencapai terobosan
Di KTT Cendekiawan Web3, Profesor Yale Pertama Kali Memperkenalkan Model LiDO
Konferensi Cendekiawan Web3 2025 diadakan hari ini, Profesor Shao Zhong dari Departemen Ilmu Komputer Universitas Yale memberikan pidato utama berjudul "Keamanan dan Pembuktian Aktivitas Protokol Konsensus Berbasis Refinement: LiDO dan Ekstensi-nya". Ia untuk pertama kalinya mengungkapkan model LiDO yang dikembangkan oleh timnya dan kerangka ekstensi LiDO-DAG. Terobosan ini bertujuan untuk menyediakan pembuktian keamanan dan aktivitas yang dapat diverifikasi secara mekanis untuk protokol konsensus Byzantine Fault Tolerant (BFT) yang kompleks, serta meletakkan dasar teknologi untuk keandalan dan pengembangan skala Web3.
Profesor Shao Zhong dalam pidatonya menunjukkan bahwa meskipun protokol konsensus yang ada seperti PBFT dan Jolteon banyak digunakan, kompleksitas implementasinya sering kali menyembunyikan kerentanan yang potensial. Untuk mengatasi masalah ini, model LiDO dengan inovatif mengusulkan kerangka verifikasi tiga lapis yang lebih terperinci:
Saat ini, LiDO telah berhasil diterapkan pada protokol tingkat industri Jolteon (BFT dua tahap) dan beberapa protokol DAG, menyelesaikan pembuktian mekanis lebih dari seribu baris kode Coq, dengan 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 secara umum menghadapi kesulitan untuk mencapai keamanan, aktivasi, dan desentralisasi secara bersamaan. Model LiDO adalah solusi desain sistematis yang diajukan untuk memecahkan masalah ini."
Sebagai pengembang sistem operasi "tanpa celah" CertiKOS yang pertama di dunia yang melalui verifikasi formal, Profesor Shao Zhong memiliki akumulasi yang mendalam di bidang keamanan sistem. Prestasi ini dianggap sebagai "tonggak sejarah keamanan sistem siber fisik". Dalam beberapa tahun terakhir, Profesor Shao Zhong telah mengalihkan fokus penelitiannya ke keamanan blockchain, dan pada tahun 2017, bersama muridnya Profesor Gu Ronghui, mendirikan sebuah perusahaan keamanan yang memperkenalkan teknologi verifikasi formal untuk jaminan keamanan kontrak pintar dan protokol on-chain, memberikan perlindungan keamanan untuk aset kripto bernilai 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, serta mendukung strategi pengembangan jangka panjang perusahaan dan ekosistem Web3 dengan lebih baik.
Di akhir pidato, Profesor Shao Zhong menekankan: "Protokol jaringan yang dapat dipercaya, aman, dan dapat diverifikasi, akan menjadi jalur kunci menuju masa depan yang benar-benar terdesentralisasi."