Pada konferensi Web3 Scholars Conference 2025 yang diadakan hari ini, Profesor Departemen Ilmu Komputer Universitas Yale dan salah satu pendiri CertiK, Shao Zhong, memberikan pidato utama berjudul "Keamanan dan Bukti Aktivitas Protokol Konsensus Berdasarkan Refinement: LiDO dan Ekstensi-nya". Ini adalah pertama kalinya ia mempublikasikan model LiDO yang dikembangkan oleh timnya serta kerangka ekstensi LiDO-DAG. Penemuan 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 untuk keandalan dan pengembangan skala Web3.
Dalam presentasi ini, Profesor Shao Zhong menunjukkan bahwa protokol konsensus yang ada (seperti PBFT, Jolteon) meskipun banyak digunakan, tetapi karena kompleksitas implementasinya sering menyembunyikan celah 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" untuk mengatasi masalah keterlambatan jaringan melalui penyiaran waktu habis 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 kelas industri Jolteon (BFT dua tahap) dan beberapa protokol DAG, menyelesaikan bukti mekanis lebih dari 10.000 baris kode Coq, dengan 4.000 baris keamanan dan 1.700 baris kode verifikasi aktivitas. "Saat ini, protokol konsensus PoS umumnya menghadapi dilema bahwa sulit untuk mencapai keamanan, kelangsungan hidup dan desentralisasi," Profesor Shao Zhong menunjukkan dalam pidatonya. "Model LiDO adalah solusi desain sistematis untuk memecahkan dilema ini."
CertiKOS yang dikembangkan oleh Profesor Shao Zhong dan timnya adalah sistem operasi "tanpa celah" pertama di dunia yang telah melalui verifikasi formal, dan diakui sebagai "tonggak keamanan sistem fisik jaringan". Prestasi ini tidak hanya membentuk dasar teknis perusahaan keamanan CertiK, tetapi juga menunjukkan akumulasi mendalamnya di bidang keamanan sistem. Dalam beberapa tahun terakhir, Profesor Shao Zhong telah fokus pada keamanan blockchain, dan pada tahun 2017, bersama muridnya Profesor Gu Ronghui, ia mendirikan CertiK, membawa teknologi verifikasi formal ke dalam perlindungan keamanan kontrak pintar dan protokol on-chain, melindungi keamanan aset kripto senilai miliaran dolar.
LiDO saat ini telah menyelesaikan desain model dan verifikasi formal, serta mulai mengeksplorasi kemungkinan integrasi dengan blockchain 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, guna 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."
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 Zhao Zhong, salah satu pendiri CertiK, hadir di Web3 Scholar Summit, dan untuk pertama kalinya mengungkapkan model LiDO.
Pada konferensi Web3 Scholars Conference 2025 yang diadakan hari ini, Profesor Departemen Ilmu Komputer Universitas Yale dan salah satu pendiri CertiK, Shao Zhong, memberikan pidato utama berjudul "Keamanan dan Bukti Aktivitas Protokol Konsensus Berdasarkan Refinement: LiDO dan Ekstensi-nya". Ini adalah pertama kalinya ia mempublikasikan model LiDO yang dikembangkan oleh timnya serta kerangka ekstensi LiDO-DAG. Penemuan 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 untuk keandalan dan pengembangan skala Web3.
Dalam presentasi ini, Profesor Shao Zhong menunjukkan bahwa protokol konsensus yang ada (seperti PBFT, Jolteon) meskipun banyak digunakan, tetapi karena kompleksitas implementasinya sering menyembunyikan celah 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 kelas industri Jolteon (BFT dua tahap) dan beberapa protokol DAG, menyelesaikan bukti mekanis lebih dari 10.000 baris kode Coq, dengan 4.000 baris keamanan dan 1.700 baris kode verifikasi aktivitas. "Saat ini, protokol konsensus PoS umumnya menghadapi dilema bahwa sulit untuk mencapai keamanan, kelangsungan hidup dan desentralisasi," Profesor Shao Zhong menunjukkan dalam pidatonya. "Model LiDO adalah solusi desain sistematis untuk memecahkan dilema ini."
CertiKOS yang dikembangkan oleh Profesor Shao Zhong dan timnya adalah sistem operasi "tanpa celah" pertama di dunia yang telah melalui verifikasi formal, dan diakui sebagai "tonggak keamanan sistem fisik jaringan". Prestasi ini tidak hanya membentuk dasar teknis perusahaan keamanan CertiK, tetapi juga menunjukkan akumulasi mendalamnya di bidang keamanan sistem. Dalam beberapa tahun terakhir, Profesor Shao Zhong telah fokus pada keamanan blockchain, dan pada tahun 2017, bersama muridnya Profesor Gu Ronghui, ia mendirikan CertiK, membawa teknologi verifikasi formal ke dalam perlindungan keamanan kontrak pintar dan protokol on-chain, melindungi keamanan aset kripto senilai miliaran dolar.
LiDO saat ini telah menyelesaikan desain model dan verifikasi formal, serta mulai mengeksplorasi kemungkinan integrasi dengan blockchain 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, guna 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."