Pada 8 April, di Hong Kong, pada Konferensi Cendekiawan Web3 2025, Profesor Departemen Ilmu Komputer Universitas Yale dan salah satu pendiri CertiK, Shao Zhong, memberikan pidato utama berjudul "Keamanan dan Bukti Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Ekstensi-nya", yang pertama kali memperkenalkan model LiDO dan kerangka ekstensi LiDO-DAG yang dikembangkan oleh timnya. Penemuan revolusioner 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 keandalan dan pengembangan skala ekosistem Web3.
Dalam pembicaraan ini, Profesor Shao Zhong menunjukkan bahwa meskipun protokol konsensus yang ada (seperti PBFT dan Jolteon) banyak digunakan, mereka sering menyembunyikan potensi kerentanan karena implementasinya yang kompleks. Untuk mengatasi masalah ini, model LiDO secara inovatif mengusulkan kerangka verifikasi terperinci tiga lapis:
Lapisan Abstraksi Keamanan: Memetakan protokol menjadi mesin status linier, memastikan konsistensi log (keamanan);
**Lapisan Perlindungan Aktif: ** Memperkenalkan mekanisme "Pacemaker", untuk memecahkan masalah keterlambatan jaringan melalui siaran waktu habis dan sinkronisasi putaran;
Lapisan Ekstensi DAG: Mendukung protokol DAG baru seperti Narwhal, Bullshark, untuk mewujudkan verifikasi efisien dengan konsensus tanpa pemimpin.
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 untuk pembuktian mekanis, dengan jumlah kode verifikasi keamanan dan aktivitas masing-masing mencapai 4000 baris dan 1700 baris. "Saat ini, protokol konsensus PoS umumnya menghadapi dilema sulit untuk mencapai keamanan, aktivitas, dan desentralisasi secara bersamaan," kata Profesor Shao Zhong dalam presentasinya. "Model LiDO adalah solusi desain sistematis yang diusulkan untuk mengatasi dilema ini."
Profesor Shao Zhong memimpin tim yang mengembangkan CertiKOS, yaitu sistem operasi "tanpa celah" pertama di dunia yang diverifikasi secara formal, yang diakui sebagai "tonggak sejarah keamanan sistem fisik jaringan". Prestasi ini tidak hanya meletakkan dasar teknis bagi perusahaan keamanan CertiK, tetapi juga menunjukkan akumulasi mendalamnya di bidang keamanan sistem. Dalam beberapa tahun terakhir, Profesor Shao Zhong telah mendalami keamanan blockchain, dan pada tahun 2017 bersama muridnya Profesor Gu Ronghui, mendirikan CertiK, membawa teknologi verifikasi formal ke dalam perlindungan keamanan kontrak pintar dan protokol on-chain, menjaga keamanan aset kripto senilai miliaran dolar.
LiDO saat ini telah menyelesaikan desain model dan verifikasi formal, serta mulai mengeksplorasi kemungkinan integrasi dengan blockchain publik utama dan protokol terdesentralisasi. Profesor Shao Zhong menyatakan bahwa CertiK berkomitmen untuk memverifikasi mekanisme kunci dalam Web3.0, untuk menyediakan produk dan layanan sepanjang siklus, serta lebih baik mendukung strategi pengembangan jangka panjang perusahaan dan ekosistem Web3. 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."
Konten ini hanya untuk referensi, bukan ajakan atau tawaran. Tidak ada nasihat investasi, pajak, atau hukum yang diberikan. Lihat Penafian untuk pengungkapan risiko lebih lanjut.
Profesor Shao Zhong, pendiri CertiK, hadir di Konferensi Cendekiawan Web3, memperkenalkan model LiDO untuk pertama kalinya.
Pada 8 April, di Hong Kong, pada Konferensi Cendekiawan Web3 2025, Profesor Departemen Ilmu Komputer Universitas Yale dan salah satu pendiri CertiK, Shao Zhong, memberikan pidato utama berjudul "Keamanan dan Bukti Aktivitas Protokol Konsensus yang Diperhalus: LiDO dan Ekstensi-nya", yang pertama kali memperkenalkan model LiDO dan kerangka ekstensi LiDO-DAG yang dikembangkan oleh timnya. Penemuan revolusioner 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 keandalan dan pengembangan skala ekosistem Web3.
Dalam pembicaraan ini, Profesor Shao Zhong menunjukkan bahwa meskipun protokol konsensus yang ada (seperti PBFT dan Jolteon) banyak digunakan, mereka sering menyembunyikan potensi kerentanan karena implementasinya yang kompleks. Untuk mengatasi masalah ini, model LiDO secara inovatif mengusulkan kerangka verifikasi terperinci tiga lapis:
Lapisan Abstraksi Keamanan: Memetakan protokol menjadi mesin status linier, memastikan konsistensi log (keamanan);
**Lapisan Perlindungan Aktif: ** Memperkenalkan mekanisme "Pacemaker", untuk memecahkan masalah keterlambatan jaringan melalui siaran waktu habis dan sinkronisasi putaran;
Lapisan Ekstensi DAG: Mendukung protokol DAG baru seperti Narwhal, Bullshark, untuk mewujudkan verifikasi efisien dengan konsensus tanpa pemimpin.
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 untuk pembuktian mekanis, dengan jumlah kode verifikasi keamanan dan aktivitas masing-masing mencapai 4000 baris dan 1700 baris. "Saat ini, protokol konsensus PoS umumnya menghadapi dilema sulit untuk mencapai keamanan, aktivitas, dan desentralisasi secara bersamaan," kata Profesor Shao Zhong dalam presentasinya. "Model LiDO adalah solusi desain sistematis yang diusulkan untuk mengatasi dilema ini."
Profesor Shao Zhong memimpin tim yang mengembangkan CertiKOS, yaitu sistem operasi "tanpa celah" pertama di dunia yang diverifikasi secara formal, yang diakui sebagai "tonggak sejarah keamanan sistem fisik jaringan". Prestasi ini tidak hanya meletakkan dasar teknis bagi perusahaan keamanan CertiK, tetapi juga menunjukkan akumulasi mendalamnya di bidang keamanan sistem. Dalam beberapa tahun terakhir, Profesor Shao Zhong telah mendalami keamanan blockchain, dan pada tahun 2017 bersama muridnya Profesor Gu Ronghui, mendirikan CertiK, membawa teknologi verifikasi formal ke dalam perlindungan keamanan kontrak pintar dan protokol on-chain, menjaga keamanan aset kripto senilai miliaran dolar.
LiDO saat ini telah menyelesaikan desain model dan verifikasi formal, serta mulai mengeksplorasi kemungkinan integrasi dengan blockchain publik utama dan protokol terdesentralisasi. Profesor Shao Zhong menyatakan bahwa CertiK berkomitmen untuk memverifikasi mekanisme kunci dalam Web3.0, untuk menyediakan produk dan layanan sepanjang siklus, serta lebih baik mendukung strategi pengembangan jangka panjang perusahaan dan ekosistem Web3. 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."