Dari kerugian sebesar 3,353 juta dolar AS, pandangan terhadap ambisi pencatatan saham CertiK: Bagaimana AI akan mengubah keamanan Web3

Di bawah sorotan di Davos, pendiri CertiK, Gu Ronghui, mengumumkan sebuah berita besar: perusahaan keamanan Web3 terbesar di dunia ini sedang aktif mendorong rencana go public, dengan target menjadi " saham infrastruktur Web3 pertama". Di balik ambisi ini, terdapat seperangkat teknologi inti yang menggabungkan AI dan verifikasi formal—mesin Spoq. Dan semua ini terjadi di tengah krisis keamanan yang serius yang sedang dialami industri Web3.

Inovasi Teknologi: AI Mengubah Bentuk Verifikasi Formal

Gu Ronghui dalam wawancara mendetail menjelaskan terobosan teknologi CertiK. Mesin Spoq melalui integrasi mendalam AI dan sistem verifikasi formal secara signifikan meningkatkan skalabilitas dan efisiensi eksekusi verifikasi. Ini bukan sekadar teori—hasil ini telah diverifikasi oleh konferensi akademik top dunia seperti OSDI 2023 dan ASPLOS 2026.

Mengapa ini sangat penting

Verifikasi formal memiliki posisi yang tak tergantikan dalam keamanan Web3, tetapi metode tradisional memiliki titik sakit yang jelas: kompleksitas verifikasi tinggi, efisiensi rendah, dan sulit untuk skala aplikasi. Kehadiran AI mengubah situasi ini. Dengan mengubah penelitian akademik terdepan menjadi alat produktivitas, CertiK mampu memberikan jaminan keamanan setara matematis kepada klien institusional di seluruh dunia.

Latar Belakang Pasar: Kebutuhan Keamanan yang Mendesak

Mengapa rencana go public CertiK bisa dikatakan? Cukup lihat data berikut. Berdasarkan laporan “2025 Skynet Hack3D Web3 Security Report” yang dirilis CertiK, pada tahun 2025 industri Web3 mengalami 630 insiden keamanan, dengan kerugian total sekitar 3,353 miliar dolar AS, setara dengan PDB satu kota menengah selama satu tahun. Jumlah dana yang dicuri meningkat 37,06% secara berurutan.

Ini bukan pasar yang menyusut, melainkan kebutuhan yang berkembang pesat. Hanya dari insiden Bybit saja, kerugian mencapai sekitar 1,4 miliar dolar AS. Dalam konteks ini, perusahaan yang mampu menyediakan solusi keamanan yang andal secara esensial adalah infrastruktur tingkat tinggi.

Posisi Strategis: Dari Penyedia Layanan Menjadi Infrastruktur

CertiK tidak lagi sekadar perusahaan audit keamanan. Menurut informasi terkait, mereka menyediakan audit dan sertifikasi untuk proyek-proyek seperti Fundtir, Owlto Finance, dan lainnya, menjadi peran infrastruktur dalam ekosistem Web3. Pertumbuhan proyek-proyek ini tak lepas dari dukungan keamanan dari CertiK.

Mengapa disebut “saham pertama”

Bidang infrastruktur Web3 belum memiliki perusahaan yang go public. Jika CertiK berhasil listing, ini akan mengisi kekosongan tersebut. Mengingat:

• Permintaan pasar yang terus meningkat (kerugian keamanan meningkat setiap tahun)
• Pengakuan akademik terhadap teknologi (diverifikasi oleh konferensi top)
• Basis klien dan pengaruh ekosistem yang sudah ada

Target ini tidaklah mustahil dicapai.

Pandangan Masa Depan

Dari segi teknologi, penggabungan AI dan verifikasi formal baru saja dimulai. Kemampuan mesin Spoq akan terus meningkat, dan skenario penggunaannya akan terus berkembang. Dari sudut pandang pasar, investasi dalam keamanan Web3 hanya akan bertambah, bukan berkurang, memberi ruang pertumbuhan berkelanjutan bagi CertiK.

Langkah terakhir sebelum go public apa? Biasanya adalah stabilitas data keuangan dan pengakuan pasar. Pernyataan Gu Ronghui di Davos, dalam tingkat tertentu, adalah upaya membangun momentum untuk proses ini.

Ringkasan

Rencana go public CertiK bukan sekadar angan-angan kosong, melainkan didasarkan pada tiga fondasi kokoh: pertama, inovasi teknologi (penggabungan AI dalam mesin Spoq), kedua, kebutuhan pasar (kerugian keamanan Web3 yang meningkat setiap tahun), dan ketiga, posisi ekosistem (telah menjadi jaminan keamanan untuk banyak proyek). Dari perusahaan audit keamanan menjadi infrastruktur Web3, CertiK sedang menjalani peningkatan strategi. Dalam proses ini, pengakuan akademik dan kemampuan AI dari mesin Spoq akan menjadi kekuatan kompetitif terkuat.