Baru-baru ini, Co-founder CertiK, Profesor Gu Ronghui dari Universitas Columbia, memberikan wawancara eksklusif kepada saluran CNBC Arab yang terkenal di seluruh dunia, membahas aplikasi industri 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, di mana fungsinya adalah untuk memverifikasi perilaku kode apakah sesuai dengan logika yang diharapkan menggunakan metode matematis. Metode ini lebih ketat dibandingkan alat audit tradisional, serta lebih menantang. Dia telah beberapa kali menekankan bahwa esensi Blockchain bukan hanya inovasi teknologi, melainkan juga rekonstruksi kepercayaan, dan sistem yang benar-benar dapat dipercaya haruslah dapat diverifikasi.
![CNBC Wawancara Co-Founder CertiK, Ge Ronghui: Dari Verifikasi Formal ke Pemberdayaan AI, Terus Memperluas Batas Kepercayaan Web3](https://piccdn.0daily