Baru-baru ini, co-founder CertiK dan profesor Universitas Columbia Gu Ronghui diwawancarai oleh media keuangan terkemuka global CNBC saluran Arab, membahas aplikasi industri dari Verifikasi Formal, peran AI dalam keamanan Blockchain, serta risiko teknologi baru, dan berbagi wawasan mendalam tentang masa depan keamanan Web3.
Gu Ronghui menyatakan bahwa Verifikasi Formal adalah kunci dalam membangun dasar keamanan Blockchain, yang berfungsi untuk memverifikasi perilaku kode apakah sesuai dengan logika yang diharapkan menggunakan metode matematis. Metode ini lebih ketat dibandingkan dengan alat audit tradisional dan juga lebih menantang. Dia telah berulang kali menekankan bahwa esensi Blockchain bukan hanya inovasi teknologi, tetapi juga rekonstruksi kepercayaan, dan sistem yang benar-benar dapat dipercaya harus dapat diverifikasi.
Verifikasi Formal: Membangun Dasar Keamanan Blockchain
Verifikasi Formal sebagai metode audit dengan ambang batas tinggi dan intensitas tinggi, memerlukan akumulasi teknologi yang mendalam dan pemahaman tentang logika dasar. Gu Ronghui dalam wawancara eksklusifnya menunjukkan bahwa metode ini meskipun kompleks, memiliki keunggulan yang tidak tergantikan dalam menjaga keamanan dan keterkendalian Blockchain.
Keterkaitannya dengan Verifikasi Formal dapat ditelusuri kembali ke masa studinya. Pada tahun 2016, ia bekerja sama dengan Profesor Shao Zhong dari Universitas Yale dan berhasil mengembangkan kernel sistem operasi multi-core pertama di dunia yang sepenuhnya melalui Verifikasi Formal, CertiKOS, yang dinilai oleh Google sebagai tidak dapat diganggu (Unbreakable). Prestasi ini tidak hanya membuktikan peran teknologi ini dalam aplikasi dunia nyata, tetapi juga meletakkan dasar untuk masuk ke praktik industri.
Sejak itu, Gu Ronghui mendirikan CertiK pada tahun 2017, membawa Verifikasi Formal ke dalam skenario Blockchain. Saat ini, teknologi ini telah diterapkan secara luas di berbagai proyek terkemuka yang menekankan privasi dan keamanan, seperti ZK, serta lembaga keuangan besar seperti Ant Group. Dalam wawancara eksklusif, Gu Ronghui menyatakan bahwa untuk meningkatkan efisiensi Verifikasi Formal, CertiK saat ini telah membangun alat bantu seperti analisis cerdas AI, yang menggunakan identifikasi otomatis fitur kode dan menghasilkan bukti logika.
Sambil mendorong hasil akademik untuk diterapkan, Gu Ronghui juga selalu memperhatikan ancaman baru yang dihadapi industri. Menanggapi kekhawatiran bahwa "superkomputer atau komputasi kuantum dapat mengancam keamanan Blockchain", ia mengakui bahwa teknologi semacam itu memiliki risiko potensial, tetapi saat ini masih belum cukup untuk menjadi ancaman yang substansial. "Kemampuan superkomputer masih belum cukup untuk menembus sistem Blockchain yang ada," kata Gu Ronghui, "yang lebih penting adalah bahwa industri telah aktif membangun algoritma tahan kuantum dan mekanisme pertahanan, memiliki solusi terkait adalah mungkin."
Gu Ronghui dalam wawancara khusus menekankan bahwa AI sedang membentuk kembali pola keamanan Blockchain, terutama dalam audit kontrak pintar dan identifikasi ancaman di atas rantai telah menunjukkan potensi besar, "Penerapan AI yang tepat dapat membawa peningkatan yang substansial untuk sistem keamanan Blockchain."
Ia lebih lanjut menyatakan bahwa penelitian CertiK menunjukkan bahwa metode perilaku jahat dalam proyek Web3 semakin kompleks, beberapa proyek phishing dapat melacak pengguna untuk waktu yang lama dan melakukan penipuan yang tepat. Namun, melalui kemampuan identifikasi cepat dari model AI, serangan semacam ini kini sering kali dapat diidentifikasi dan ditangani dalam hitungan jam.
Saat ini, CertiK telah menerapkan AI secara luas dalam proses penambangan dan audit kerentanan. Dengan menganalisis data peringatan di blockchain, membantu mengidentifikasi penyebab kerentanan dan jalur serangan; sekaligus memanfaatkan teknologi AI untuk pemindaian pola kerentanan yang diketahui, analisis logika kode, dan menghasilkan laporan, membangun sistem audit cerdas yang berfokus pada "kolaborasi manusia dan mesin" untuk memberikan dukungan matematis yang dapat dipercaya dan peningkatan efisiensi bagi tim audit manual.
Namun, seiring dengan semakin populernya aplikasi AI, para penyerang juga dapat memanfaatkan untuk memperkuat metode serangan. Gu Ronghui percaya bahwa ini berarti ambang batas pertahanan keamanan telah meningkat, dan industri memerlukan solusi keamanan yang lebih kuat.
Visi Teknis: Memperluas Batas Kepercayaan Web3
Gu Ronghui selalu percaya bahwa tahap berikutnya dalam pengembangan Web3 akan bergerak dari "dapat digunakan" menuju "dapat dipercaya". Efisiensi dan inovasi bukanlah tujuan akhir, melainkan tanggung jawab dan kepercayaan yang merupakan nilai inti dari evolusi teknologi. Hanya dengan menyematkan mekanisme keamanan yang dapat diverifikasi, Blockchain baru dapat benar-benar menjadi infrastruktur keuangan global yang dapat diandalkan.
Inilah misi yang dipegang oleh CertiK sejak didirikan - dengan Verifikasi Formal sebagai inti, membangun sistem produk keamanan yang mencakup inkubasi investasi, audit keamanan, konsultasi kepatuhan, dan lainnya sepanjang siklus hidup, untuk memberikan keamanan yang dapat diverifikasi bagi proyek dan menetapkan standar keamanan yang lebih tinggi untuk industri.
Bagi Gu Ronghui, ini bukan hanya strategi perusahaan, tetapi juga pilihan hidup. Dari belajar di Yale hingga mengajar di Columbia, dari penelitian akademis hingga praktik kewirausahaan, ia selalu fokus untuk mengubah verifikasi formal dari teori menjadi dasar praktik, dengan teknologi yang mendorong kepercayaan industri.
Sebagai profesor di Columbia University dan CEO CertiK, Gu Ronghui melintasi dua bidang akademis dan bisnis, tetapi tujuannya selalu fokus pada menjaga keamanan Web3. Dia pernah menyebutkan bahwa filosofi pengajarannya berakar pada mengintegrasikan wawasan nyata ke dalam diskusi akademis, dengan tujuan membangun dasar pemahaman dan kemampuan bagi generasi baru di bidang keamanan siber.
"Memastikan keamanan Web3 bukan hanya tantangan teknologi, 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."
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.
CNBC mewawancarai Co-Founder CertiK, Gu Ronghui: Dari Verifikasi Formal ke Pemberdayaan AI, Terus Memperluas Batas Kepercayaan Web3
Baru-baru ini, co-founder CertiK dan profesor Universitas Columbia Gu Ronghui diwawancarai oleh media keuangan terkemuka global CNBC saluran Arab, membahas aplikasi industri dari Verifikasi Formal, peran AI dalam keamanan Blockchain, serta risiko teknologi baru, dan berbagi wawasan mendalam tentang masa depan keamanan Web3.
Gu Ronghui menyatakan bahwa Verifikasi Formal adalah kunci dalam membangun dasar keamanan Blockchain, yang berfungsi untuk memverifikasi perilaku kode apakah sesuai dengan logika yang diharapkan menggunakan metode matematis. Metode ini lebih ketat dibandingkan dengan alat audit tradisional dan juga lebih menantang. Dia telah berulang kali menekankan bahwa esensi Blockchain bukan hanya inovasi teknologi, tetapi juga rekonstruksi kepercayaan, dan sistem yang benar-benar dapat dipercaya harus dapat diverifikasi.
Verifikasi Formal: Membangun Dasar Keamanan Blockchain
Verifikasi Formal sebagai metode audit dengan ambang batas tinggi dan intensitas tinggi, memerlukan akumulasi teknologi yang mendalam dan pemahaman tentang logika dasar. Gu Ronghui dalam wawancara eksklusifnya menunjukkan bahwa metode ini meskipun kompleks, memiliki keunggulan yang tidak tergantikan dalam menjaga keamanan dan keterkendalian Blockchain.
Keterkaitannya dengan Verifikasi Formal dapat ditelusuri kembali ke masa studinya. Pada tahun 2016, ia bekerja sama dengan Profesor Shao Zhong dari Universitas Yale dan berhasil mengembangkan kernel sistem operasi multi-core pertama di dunia yang sepenuhnya melalui Verifikasi Formal, CertiKOS, yang dinilai oleh Google sebagai tidak dapat diganggu (Unbreakable). Prestasi ini tidak hanya membuktikan peran teknologi ini dalam aplikasi dunia nyata, tetapi juga meletakkan dasar untuk masuk ke praktik industri.
Sejak itu, Gu Ronghui mendirikan CertiK pada tahun 2017, membawa Verifikasi Formal ke dalam skenario Blockchain. Saat ini, teknologi ini telah diterapkan secara luas di berbagai proyek terkemuka yang menekankan privasi dan keamanan, seperti ZK, serta lembaga keuangan besar seperti Ant Group. Dalam wawancara eksklusif, Gu Ronghui menyatakan bahwa untuk meningkatkan efisiensi Verifikasi Formal, CertiK saat ini telah membangun alat bantu seperti analisis cerdas AI, yang menggunakan identifikasi otomatis fitur kode dan menghasilkan bukti logika.
Sambil mendorong hasil akademik untuk diterapkan, Gu Ronghui juga selalu memperhatikan ancaman baru yang dihadapi industri. Menanggapi kekhawatiran bahwa "superkomputer atau komputasi kuantum dapat mengancam keamanan Blockchain", ia mengakui bahwa teknologi semacam itu memiliki risiko potensial, tetapi saat ini masih belum cukup untuk menjadi ancaman yang substansial. "Kemampuan superkomputer masih belum cukup untuk menembus sistem Blockchain yang ada," kata Gu Ronghui, "yang lebih penting adalah bahwa industri telah aktif membangun algoritma tahan kuantum dan mekanisme pertahanan, memiliki solusi terkait adalah mungkin."
Aplikasi AI: Mentransformasi Lanskap Keamanan Web3
Gu Ronghui dalam wawancara khusus menekankan bahwa AI sedang membentuk kembali pola keamanan Blockchain, terutama dalam audit kontrak pintar dan identifikasi ancaman di atas rantai telah menunjukkan potensi besar, "Penerapan AI yang tepat dapat membawa peningkatan yang substansial untuk sistem keamanan Blockchain."
Ia lebih lanjut menyatakan bahwa penelitian CertiK menunjukkan bahwa metode perilaku jahat dalam proyek Web3 semakin kompleks, beberapa proyek phishing dapat melacak pengguna untuk waktu yang lama dan melakukan penipuan yang tepat. Namun, melalui kemampuan identifikasi cepat dari model AI, serangan semacam ini kini sering kali dapat diidentifikasi dan ditangani dalam hitungan jam.
Saat ini, CertiK telah menerapkan AI secara luas dalam proses penambangan dan audit kerentanan. Dengan menganalisis data peringatan di blockchain, membantu mengidentifikasi penyebab kerentanan dan jalur serangan; sekaligus memanfaatkan teknologi AI untuk pemindaian pola kerentanan yang diketahui, analisis logika kode, dan menghasilkan laporan, membangun sistem audit cerdas yang berfokus pada "kolaborasi manusia dan mesin" untuk memberikan dukungan matematis yang dapat dipercaya dan peningkatan efisiensi bagi tim audit manual.
Namun, seiring dengan semakin populernya aplikasi AI, para penyerang juga dapat memanfaatkan untuk memperkuat metode serangan. Gu Ronghui percaya bahwa ini berarti ambang batas pertahanan keamanan telah meningkat, dan industri memerlukan solusi keamanan yang lebih kuat.
Visi Teknis: Memperluas Batas Kepercayaan Web3
Gu Ronghui selalu percaya bahwa tahap berikutnya dalam pengembangan Web3 akan bergerak dari "dapat digunakan" menuju "dapat dipercaya". Efisiensi dan inovasi bukanlah tujuan akhir, melainkan tanggung jawab dan kepercayaan yang merupakan nilai inti dari evolusi teknologi. Hanya dengan menyematkan mekanisme keamanan yang dapat diverifikasi, Blockchain baru dapat benar-benar menjadi infrastruktur keuangan global yang dapat diandalkan.
Inilah misi yang dipegang oleh CertiK sejak didirikan - dengan Verifikasi Formal sebagai inti, membangun sistem produk keamanan yang mencakup inkubasi investasi, audit keamanan, konsultasi kepatuhan, dan lainnya sepanjang siklus hidup, untuk memberikan keamanan yang dapat diverifikasi bagi proyek dan menetapkan standar keamanan yang lebih tinggi untuk industri.
Bagi Gu Ronghui, ini bukan hanya strategi perusahaan, tetapi juga pilihan hidup. Dari belajar di Yale hingga mengajar di Columbia, dari penelitian akademis hingga praktik kewirausahaan, ia selalu fokus untuk mengubah verifikasi formal dari teori menjadi dasar praktik, dengan teknologi yang mendorong kepercayaan industri.
Sebagai profesor di Columbia University dan CEO CertiK, Gu Ronghui melintasi dua bidang akademis dan bisnis, tetapi tujuannya selalu fokus pada menjaga keamanan Web3. Dia pernah menyebutkan bahwa filosofi pengajarannya berakar pada mengintegrasikan wawasan nyata ke dalam diskusi akademis, dengan tujuan membangun dasar pemahaman dan kemampuan bagi generasi baru di bidang keamanan siber.
"Memastikan keamanan Web3 bukan hanya tantangan teknologi, 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."