Entretien avec Guo Ronghui, co-fondateur de CertiK, par CNBC : de la Vérification formelle à l'autonomisation par l'IA, élargir continuellement les frontières de confiance dans le Web3.
Récemment, Gu Ronghui, co-fondateur de CertiK et professeur à l'université de Columbia, a accordé une interview à la chaîne arabe de CNBC, un média financier mondialement reconnu. Il a partagé ses réflexions sur les applications industrielles de la vérification formelle, le rôle de l'IA dans la sécurité des blockchains, ainsi que sur les risques liés aux nouvelles technologies, offrant ainsi des aperçus profonds sur l'avenir de la sécurité Web3.
Gu Ronghui a déclaré que la vérification formelle est la clé pour établir une base de sécurité pour la blockchain, son rôle étant de vérifier, à l'aide de méthodes mathématiques, si le comportement du code correspond à la logique attendue. Cette méthode est plus rigoureuse que les outils d'audit traditionnels et présente également des défis supplémentaires. Il a souligné à plusieurs reprises que l'essence de la blockchain n'est pas seulement une innovation technologique, mais aussi une reconstruction de la confiance, et qu'un système véritablement fiable doit être vérifiable.
Vérification formelle : construire une base de sécurité pour Blockchain
La Vérification formelle, en tant que méthode d'audit à fort seuil et à haute intensité, nécessite une accumulation technique approfondie et une compréhension de la logique sous-jacente. Gu Ronghui a souligné lors d'une interview que cette méthode, bien que complexe, présente des avantages irremplaçables en matière de sécurité et de contrôle du Blockchain.
Ses liens avec la vérification formelle remontent à sa période d'études. En 2016, il a collaboré avec le professeur Zhou Shao de l'Université de Yale pour développer avec succès le premier noyau de système d'exploitation multicœur au monde entièrement vérifié formellement, CertiKOS, qui a été qualifié d'infaillible par Google. Ce résultat a non seulement validé l'application de cette technologie dans le monde réel, mais a également jeté les bases de son entrée dans la pratique industrielle.
Par la suite, Gu Ronghui a fondé CertiK en 2017, introduisant la vérification formelle dans le scénario de la blockchain. Aujourd'hui, cette technologie est largement utilisée dans plusieurs projets de premier plan tels que ZK, qui mettent l'accent sur la confidentialité et la sécurité, ainsi que dans de grandes institutions financières comme Ant Group. Dans une interview, Gu Ronghui a déclaré que pour améliorer l'efficacité de la vérification formelle, CertiK a actuellement développé des outils d'assistance tels que l'analyse intelligente par IA, utilisant ceux-ci pour identifier automatiquement les caractéristiques du code et générer des preuves logiques.
Tout en favorisant la mise en œuvre des résultats académiques, Gu Ronghui reste également attentif aux nouvelles menaces auxquelles l'industrie est confrontée. En réponse aux inquiétudes concernant "les superordinateurs ou l'informatique quantique qui pourraient menacer la sécurité de la Blockchain", il admet que ces technologies présentent des risques potentiels, mais qu'à ce stade, elles ne constituent pas une menace substantielle. "Les capacités des superordinateurs ne suffisent pas à briser les systèmes Blockchain existants", estime Gu Ronghui, ajoutant que "plus important encore, l'industrie est déjà en train de construire des algorithmes anti-quantique et des mécanismes de défense, et il est possible de disposer de solutions connexes."
Applications de l'IA : Repenser le paysage de la sécurité Web3
Gu Ronghui a particulièrement souligné lors de l'interview que l'IA est en train de remodeler le paysage de la sécurité des blockchains, en montrant un potentiel énorme notamment dans l'audit des contrats intelligents et l'identification des menaces sur la chaîne. "Une application correcte de l'IA peut apporter une amélioration substantielle au système de sécurité de la blockchain."
Il a également déclaré que les recherches de CertiK montrent que les méthodes malveillantes dans les projets Web3 deviennent de plus en plus complexes, certains projets de phishing peuvent suivre les utilisateurs pendant longtemps et mettre en œuvre des escroqueries ciblées. Cependant, grâce à la capacité de reconnaissance rapide des modèles d'IA, ce type d'attaque peut souvent être identifié et traité en quelques heures.
Actuellement, CertiK a largement intégré l'IA dans le processus d'audit et de détection des vulnérabilités. En analysant les données d'alerte en chaîne, elle aide à identifier les causes des vulnérabilités et les chemins d'attaque ; tout en utilisant la technologie IA pour scanner les modèles de vulnérabilités connus, analyser la logique du code et générer des rapports, construisant ainsi un système d'audit intelligent centré sur la "collaboration homme-machine", offrant un soutien mathématique fiable et un gain d'efficacité aux équipes d'audit humaines.
Mais avec la popularité croissante des applications d'IA, les attaquants peuvent également utiliser celles-ci pour renforcer leurs méthodes d'attaque. Gu Ronghui estime que cela signifie que le seuil de résistance à la sécurité a été relevé, et que l'industrie a besoin de solutions de sécurité plus puissantes.
Vision technique : Étendre les frontières de confiance de Web3
Gu Ronghui croit fermement que la prochaine étape du développement de Web3 passera de "utilisable" à "fiable". L'efficacité et l'innovation ne sont pas des fins en soi, la responsabilité et la confiance sont les valeurs centrales de l'évolution technologique. Ce n'est qu'en intégrant des mécanismes de sécurité vérifiables que la Blockchain pourra réellement devenir une infrastructure financière mondiale digne de confiance.
C'est exactement la mission que CertiK s'est donnée depuis sa création : mettre la vérification formelle au cœur d'un système de produits de sécurité couvrant l'ensemble du cycle de vie, y compris l'incubation d'investissements, les audits de sécurité et le conseil en conformité, afin de fournir une sécurité vérifiable aux projets et d'établir des normes de sécurité plus élevées pour l'industrie.
Pour Gu Ronghui, cela représente non seulement une stratégie d'entreprise, mais aussi un choix de vie. De ses études à Yale à son enseignement à Columbia, en passant par la recherche académique et la pratique entrepreneuriale, il s'est toujours concentré sur la transformation de la vérification formelle d'une théorie en pierre angulaire pratique, en utilisant la technologie pour piloter la confiance dans l'industrie.
En tant que professeur à Columbia et PDG de CertiK, Gu Ronghui traverse les domaines académique et commercial, mais son objectif reste toujours axé sur la protection de la sécurité de Web3. Il a mentionné que sa philosophie d'enseignement est ancrée dans l'intégration des perspectives réelles dans les discussions académiques, visant à construire des bases de connaissance et de compétence pour la nouvelle génération dans le domaine de la cybersécurité.
« Assurer la sécurité du Web3 n'est pas seulement un défi technologique, mais aussi une responsabilité sociale. » Gu Ronghui a déclaré à plusieurs reprises en public : « Notre objectif est de rendre cette industrie plus sûre et plus digne de confiance. »
Le contenu est fourni à titre de référence uniquement, il ne s'agit pas d'une sollicitation ou d'une offre. Aucun conseil en investissement, fiscalité ou juridique n'est fourni. Consultez l'Avertissement pour plus de détails sur les risques.
Entretien avec Guo Ronghui, co-fondateur de CertiK, par CNBC : de la Vérification formelle à l'autonomisation par l'IA, élargir continuellement les frontières de confiance dans le Web3.
Récemment, Gu Ronghui, co-fondateur de CertiK et professeur à l'université de Columbia, a accordé une interview à la chaîne arabe de CNBC, un média financier mondialement reconnu. Il a partagé ses réflexions sur les applications industrielles de la vérification formelle, le rôle de l'IA dans la sécurité des blockchains, ainsi que sur les risques liés aux nouvelles technologies, offrant ainsi des aperçus profonds sur l'avenir de la sécurité Web3.
Gu Ronghui a déclaré que la vérification formelle est la clé pour établir une base de sécurité pour la blockchain, son rôle étant de vérifier, à l'aide de méthodes mathématiques, si le comportement du code correspond à la logique attendue. Cette méthode est plus rigoureuse que les outils d'audit traditionnels et présente également des défis supplémentaires. Il a souligné à plusieurs reprises que l'essence de la blockchain n'est pas seulement une innovation technologique, mais aussi une reconstruction de la confiance, et qu'un système véritablement fiable doit être vérifiable.
Vérification formelle : construire une base de sécurité pour Blockchain
La Vérification formelle, en tant que méthode d'audit à fort seuil et à haute intensité, nécessite une accumulation technique approfondie et une compréhension de la logique sous-jacente. Gu Ronghui a souligné lors d'une interview que cette méthode, bien que complexe, présente des avantages irremplaçables en matière de sécurité et de contrôle du Blockchain.
Ses liens avec la vérification formelle remontent à sa période d'études. En 2016, il a collaboré avec le professeur Zhou Shao de l'Université de Yale pour développer avec succès le premier noyau de système d'exploitation multicœur au monde entièrement vérifié formellement, CertiKOS, qui a été qualifié d'infaillible par Google. Ce résultat a non seulement validé l'application de cette technologie dans le monde réel, mais a également jeté les bases de son entrée dans la pratique industrielle.
Par la suite, Gu Ronghui a fondé CertiK en 2017, introduisant la vérification formelle dans le scénario de la blockchain. Aujourd'hui, cette technologie est largement utilisée dans plusieurs projets de premier plan tels que ZK, qui mettent l'accent sur la confidentialité et la sécurité, ainsi que dans de grandes institutions financières comme Ant Group. Dans une interview, Gu Ronghui a déclaré que pour améliorer l'efficacité de la vérification formelle, CertiK a actuellement développé des outils d'assistance tels que l'analyse intelligente par IA, utilisant ceux-ci pour identifier automatiquement les caractéristiques du code et générer des preuves logiques.
Tout en favorisant la mise en œuvre des résultats académiques, Gu Ronghui reste également attentif aux nouvelles menaces auxquelles l'industrie est confrontée. En réponse aux inquiétudes concernant "les superordinateurs ou l'informatique quantique qui pourraient menacer la sécurité de la Blockchain", il admet que ces technologies présentent des risques potentiels, mais qu'à ce stade, elles ne constituent pas une menace substantielle. "Les capacités des superordinateurs ne suffisent pas à briser les systèmes Blockchain existants", estime Gu Ronghui, ajoutant que "plus important encore, l'industrie est déjà en train de construire des algorithmes anti-quantique et des mécanismes de défense, et il est possible de disposer de solutions connexes."
Applications de l'IA : Repenser le paysage de la sécurité Web3
Gu Ronghui a particulièrement souligné lors de l'interview que l'IA est en train de remodeler le paysage de la sécurité des blockchains, en montrant un potentiel énorme notamment dans l'audit des contrats intelligents et l'identification des menaces sur la chaîne. "Une application correcte de l'IA peut apporter une amélioration substantielle au système de sécurité de la blockchain."
Il a également déclaré que les recherches de CertiK montrent que les méthodes malveillantes dans les projets Web3 deviennent de plus en plus complexes, certains projets de phishing peuvent suivre les utilisateurs pendant longtemps et mettre en œuvre des escroqueries ciblées. Cependant, grâce à la capacité de reconnaissance rapide des modèles d'IA, ce type d'attaque peut souvent être identifié et traité en quelques heures.
Actuellement, CertiK a largement intégré l'IA dans le processus d'audit et de détection des vulnérabilités. En analysant les données d'alerte en chaîne, elle aide à identifier les causes des vulnérabilités et les chemins d'attaque ; tout en utilisant la technologie IA pour scanner les modèles de vulnérabilités connus, analyser la logique du code et générer des rapports, construisant ainsi un système d'audit intelligent centré sur la "collaboration homme-machine", offrant un soutien mathématique fiable et un gain d'efficacité aux équipes d'audit humaines.
Mais avec la popularité croissante des applications d'IA, les attaquants peuvent également utiliser celles-ci pour renforcer leurs méthodes d'attaque. Gu Ronghui estime que cela signifie que le seuil de résistance à la sécurité a été relevé, et que l'industrie a besoin de solutions de sécurité plus puissantes.
Vision technique : Étendre les frontières de confiance de Web3
Gu Ronghui croit fermement que la prochaine étape du développement de Web3 passera de "utilisable" à "fiable". L'efficacité et l'innovation ne sont pas des fins en soi, la responsabilité et la confiance sont les valeurs centrales de l'évolution technologique. Ce n'est qu'en intégrant des mécanismes de sécurité vérifiables que la Blockchain pourra réellement devenir une infrastructure financière mondiale digne de confiance.
C'est exactement la mission que CertiK s'est donnée depuis sa création : mettre la vérification formelle au cœur d'un système de produits de sécurité couvrant l'ensemble du cycle de vie, y compris l'incubation d'investissements, les audits de sécurité et le conseil en conformité, afin de fournir une sécurité vérifiable aux projets et d'établir des normes de sécurité plus élevées pour l'industrie.
Pour Gu Ronghui, cela représente non seulement une stratégie d'entreprise, mais aussi un choix de vie. De ses études à Yale à son enseignement à Columbia, en passant par la recherche académique et la pratique entrepreneuriale, il s'est toujours concentré sur la transformation de la vérification formelle d'une théorie en pierre angulaire pratique, en utilisant la technologie pour piloter la confiance dans l'industrie.
En tant que professeur à Columbia et PDG de CertiK, Gu Ronghui traverse les domaines académique et commercial, mais son objectif reste toujours axé sur la protection de la sécurité de Web3. Il a mentionné que sa philosophie d'enseignement est ancrée dans l'intégration des perspectives réelles dans les discussions académiques, visant à construire des bases de connaissance et de compétence pour la nouvelle génération dans le domaine de la cybersécurité.
« Assurer la sécurité du Web3 n'est pas seulement un défi technologique, mais aussi une responsabilité sociale. » Gu Ronghui a déclaré à plusieurs reprises en public : « Notre objectif est de rendre cette industrie plus sûre et plus digne de confiance. »