CNBC mewawancarai Gu Ronghui, salah satu pendiri CertiK: Dari verifikasi formal hingga pemberdayaan AI, kami terus memperluas batas-batas kepercayaan Web3

Baru-baru ini, Gu Ronghui, salah satu pendiri CertiK dan profesor di Universitas Columbia, diwawancarai oleh CNBC Arabia, media keuangan terkenal di dunia, dan berbagi wawasannya tentang masa depan keamanan Web3 tentang topik-topik seperti penerapan industri verifikasi formal, peran AI dalam keamanan blockchain, dan risiko teknologi yang muncul.

Gu Ronghui mengatakan bahwa verifikasi formal adalah kunci untuk membangun fondasi keamanan blockchain, dan perannya adalah untuk memverifikasi secara matematis apakah perilaku kode sesuai dengan logika yang diharapkan. Pendekatan ini lebih ketat dan menantang daripada alat audit tradisional. Dia telah berulang kali menekankan bahwa esensi blockchain bukan hanya inovasi teknologi, tetapi juga rekonstruksi kepercayaan, dan sistem yang benar-benar kredibel harus dapat diverifikasi.

Verifikasi Formal: Membangun basis keamanan blockchain

sebagai metode audit ambang batas tinggi dan intensitas tinggi membutuhkan akumulasi teknis yang mendalam dan pemahaman tentang logika yang mendasarinya. Gu Ronghui menunjukkan dalam sebuah wawancara eksklusif bahwa meskipun metode ini rumit, metode ini memiliki keunggulan yang tak tergantikan dalam memastikan keamanan dan kemampuan kontrol blockchain.

Hubungannya dengan verifikasi formal dapat ditelusuri kembali ke studinya. Pada tahun 2016, ia berkolaborasi dengan profesor Universitas Yale Shao Zhong untuk berhasil mengembangkan kernel sistem operasi multi-inti pertama yang divalidasi secara formal di dunia, CertiKOS, yang dinilai tidak dapat dipecahkan oleh Google. Pencapaian ini tidak hanya memverifikasi penerapan teknologi di dunia nyata, tetapi juga meletakkan dasar untuk memasuki praktik industri.

Sejak itu, Gu Ronghui mendirikan CertiK pada tahun 2017 untuk membawa verifikasi formal ke kancah blockchain. Saat ini, teknologi ini banyak digunakan di banyak proyek terkemuka seperti ZK yang berfokus pada privasi dan keamanan, serta lembaga keuangan besar seperti Ant Group. Dalam sebuah wawancara eksklusif, Gu Ronghui mengatakan bahwa untuk meningkatkan efisiensi verifikasi formal, CertiK telah membangun alat tambahan seperti analisis cerdas AI, yang dapat digunakan untuk mengidentifikasi fitur kode secara otomatis dan menghasilkan bukti logis.

Sambil mempromosikan implementasi prestasi akademik, Gu Ronghui selalu memperhatikan ancaman baru yang dihadapi industri. Menanggapi kekhawatiran bahwa "superkomputer atau komputasi kuantum dapat mengancam keamanan blockchain", dia mengakui bahwa teknologi semacam itu memiliki potensi risiko, tetapi masih belum cukup untuk menimbulkan ancaman nyata pada tahap ini. "Kemampuan superkomputer tidak cukup untuk merusak sistem blockchain yang ada," kata Gu, "Lebih penting lagi, industri sudah secara aktif membangun algoritma anti-kuantum dan mekanisme pertahanan, dan dimungkinkan untuk memiliki solusi yang relevan."

Dalam wawancara eksklusifnya, Gu Ronghui menekankan bahwa AI membentuk kembali lanskap keamanan blockchain, terutama dalam audit kontrak pintar dan identifikasi ancaman on-chain, dan bahwa "penerapan AI yang benar dapat membawa peningkatan substansial pada sistem keamanan blockchain." Dia

lebih lanjut mengatakan bahwa penelitian CertiK menunjukkan bahwa taktik jahat dalam proyek Web3 menjadi semakin canggih, dengan beberapa program phishing dapat melacak pengguna dari waktu ke waktu dan melakukan penipuan yang ditargetkan. Tetapi dengan kemampuan model AI untuk mengidentifikasi dan mengatasi serangan semacam itu dengan cepat saat ini, mereka sekarang dapat diidentifikasi dan ditangani dalam beberapa jam.

Saat ini, CertiK telah menerapkan AI ke berbagai proses penambangan dan audit kerentanan. Dengan menganalisis data peringatan dini on-chain, ini membantu mengidentifikasi penyebab kerentanan dan jalur serangan. Pada saat yang sama, teknologi AI digunakan untuk memindai pola kerentanan yang diketahui, menganalisis logika kode dan menghasilkan laporan, dan membangun sistem audit cerdas dengan "kolaborasi manusia-mesin" sebagai intinya, memberikan dukungan matematis dan efisiensi yang kredibel untuk tim audit manual.

Tetapi karena aplikasi AI menjadi lebih umum, penyerang juga dapat menggunakannya sebagai vektor serangan yang mengeras. Gu Ronghui percaya bahwa ini berarti bahwa ambang batas untuk konfrontasi keamanan telah dinaikkan, dan industri membutuhkan solusi keamanan yang lebih kuat.

Visi Teknis: Memperluas Batas Web3 TrustGu

Ronghui selalu percaya bahwa tahap pengembangan Web3 selanjutnya akan beralih dari "tersedia" menjadi "tepercaya". Efisiensi dan inovasi bukanlah akhir, tanggung jawab dan kepercayaan adalah nilai inti dari evolusi teknologi. Hanya dengan menyematkan mekanisme keamanan yang dapat diverifikasi, blockchain dapat benar-benar menjadi infrastruktur keuangan global tepercaya.

Ini adalah misi yang telah dipatuhi CertiK sejak awal - untuk membangun sistem produk keamanan yang mencakup seluruh siklus hidup inkubasi investasi, audit keamanan, konsultasi kepatuhan, dll., dengan verifikasi formal sebagai intinya, untuk memberikan keamanan yang dapat diverifikasi untuk proyek dan menetapkan standar keamanan yang lebih tinggi untuk industri.

Bagi Gu Ronghui, ini bukan hanya strategi perusahaan, tetapi juga pilihan hidup. Dari Yale ke Columbia, dari penelitian akademis hingga praktik kewirausahaan, ia selalu fokus pada transformasi verifikasi formal dari teori menjadi praktik, dan menggunakan teknologi untuk mendorong kepercayaan industri.

Sebagai seorang profesor di Universitas Columbia dan CEO CertiK, Ronghui Gu mengangkangi dunia akademik dan bisnis, tetapi tujuannya selalu untuk mengamankan Web3. Dia telah menyebutkan bahwa filosofi pengajarannya berakar pada mengintegrasikan wawasan dunia nyata ke dalam diskusi akademis, yang bertujuan untuk membangun fondasi kognitif dan kompetensi bagi generasi berikutnya di bidang keamanan siber.

"Memastikan keamanan Web3 bukan hanya tantangan teknis, tetapi juga tanggung jawab sosial." Gu Ronghui telah menyatakan secara terbuka berkali-kali, "Tujuan kami adalah membuat industri ini lebih aman dan lebih dapat dipercaya." "