Le fondateur de CertiK parle de la sécurité de la Blockchain : de la Vérification formelle aux nouvelles menaces
Avec le développement rapide du Web3.0, la sécurité Blockchain est devenue un sujet de préoccupation majeur dans l'industrie. Récemment, un expert en sécurité Blockchain de renom a accordé une interview aux médias, partageant ses réflexions sur l'état actuel de l'industrie et les tendances futures.
Cet expert est le fondateur et PDG d'une célèbre entreprise de sécurité Blockchain, ainsi qu'un professeur en informatique dans une université réputée. Son entreprise a été fondée en 2017 et se consacre à l'utilisation de la vérification formelle pour renforcer la sécurité des protocoles Blockchain et des contrats intelligents. Actuellement, l'entreprise a servi près de 5000 clients d'entreprises, protégeant plus de 530 milliards de dollars d'actifs numériques, et a découvert plus de 115 000 vulnérabilités de code.
En ce qui concerne la situation de sécurité récente, les experts signalent que les pertes causées par la fraude sur la chaîne en 2025 au premier trimestre ont atteint 1,66 milliard de dollars, en hausse de 303 % par rapport au trimestre précédent. Parmi celles-ci, Ethereum reste la principale cible des attaques de hackers, représentant la majeure partie des pertes. Ce qui est encore plus inquiétant, c'est le taux de récupération des actifs volés qui n'est que de 0,38 %.
Face à des moyens d'attaque de plus en plus complexes, l'industrie de la sécurité des blockchains réagit activement. Les technologies innovantes telles que les preuves à divulgation nulle de connaissance et le calcul multipartite sont largement utilisées pour améliorer la confidentialité et la sécurité des transactions. Les experts soulignent qu'il est crucial de considérer la sécurité comme une priorité et de l'intégrer dans l'ensemble du processus de développement pour construire des applications Web3.0 fiables.
L'intelligence artificielle joue un rôle ambigu dans la sécurité de la Blockchain. D'une part, l'IA peut aider à analyser les vulnérabilités des contrats intelligents et à améliorer l'efficacité des audits ; d'autre part, les attaquants peuvent également utiliser l'IA pour renforcer leurs méthodes d'attaque. Cela signifie que le seuil de résistance à la sécurité ne cesse d'augmenter.
La vérification formelle est une technique qui prouve la justesse des programmes par des méthodes mathématiques. Dans le domaine de la blockchain, elle peut être combinée avec un audit humain pour améliorer considérablement la sécurité des contrats intelligents.
Avec l'entrée des institutions financières traditionnelles dans le domaine de la blockchain, les types et la complexité des menaces de sécurité évoluent également. Les experts prévoient que les attaques à l'avenir seront plus ciblées, pouvant se concentrer sur les vulnérabilités au niveau des entreprises, les failles des contrats intelligents personnalisés et les défauts de sécurité des interfaces d'intégration avec les systèmes traditionnels.
Dans l'ensemble, avec le développement continu de la technologie Blockchain et l'élargissement de son champ d'application, les problèmes de sécurité continueront d'être une préoccupation majeure pour l'industrie. Ce n'est qu'à travers une innovation continue et des mesures de sécurité strictes que l'on pourra établir une base solide pour le développement sain du Web3.0.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Le fondateur de CertiK révèle l'état actuel de la sécurité Blockchain et les tendances futures.
Le fondateur de CertiK parle de la sécurité de la Blockchain : de la Vérification formelle aux nouvelles menaces
Avec le développement rapide du Web3.0, la sécurité Blockchain est devenue un sujet de préoccupation majeur dans l'industrie. Récemment, un expert en sécurité Blockchain de renom a accordé une interview aux médias, partageant ses réflexions sur l'état actuel de l'industrie et les tendances futures.
Cet expert est le fondateur et PDG d'une célèbre entreprise de sécurité Blockchain, ainsi qu'un professeur en informatique dans une université réputée. Son entreprise a été fondée en 2017 et se consacre à l'utilisation de la vérification formelle pour renforcer la sécurité des protocoles Blockchain et des contrats intelligents. Actuellement, l'entreprise a servi près de 5000 clients d'entreprises, protégeant plus de 530 milliards de dollars d'actifs numériques, et a découvert plus de 115 000 vulnérabilités de code.
En ce qui concerne la situation de sécurité récente, les experts signalent que les pertes causées par la fraude sur la chaîne en 2025 au premier trimestre ont atteint 1,66 milliard de dollars, en hausse de 303 % par rapport au trimestre précédent. Parmi celles-ci, Ethereum reste la principale cible des attaques de hackers, représentant la majeure partie des pertes. Ce qui est encore plus inquiétant, c'est le taux de récupération des actifs volés qui n'est que de 0,38 %.
Face à des moyens d'attaque de plus en plus complexes, l'industrie de la sécurité des blockchains réagit activement. Les technologies innovantes telles que les preuves à divulgation nulle de connaissance et le calcul multipartite sont largement utilisées pour améliorer la confidentialité et la sécurité des transactions. Les experts soulignent qu'il est crucial de considérer la sécurité comme une priorité et de l'intégrer dans l'ensemble du processus de développement pour construire des applications Web3.0 fiables.
L'intelligence artificielle joue un rôle ambigu dans la sécurité de la Blockchain. D'une part, l'IA peut aider à analyser les vulnérabilités des contrats intelligents et à améliorer l'efficacité des audits ; d'autre part, les attaquants peuvent également utiliser l'IA pour renforcer leurs méthodes d'attaque. Cela signifie que le seuil de résistance à la sécurité ne cesse d'augmenter.
La vérification formelle est une technique qui prouve la justesse des programmes par des méthodes mathématiques. Dans le domaine de la blockchain, elle peut être combinée avec un audit humain pour améliorer considérablement la sécurité des contrats intelligents.
Avec l'entrée des institutions financières traditionnelles dans le domaine de la blockchain, les types et la complexité des menaces de sécurité évoluent également. Les experts prévoient que les attaques à l'avenir seront plus ciblées, pouvant se concentrer sur les vulnérabilités au niveau des entreprises, les failles des contrats intelligents personnalisés et les défauts de sécurité des interfaces d'intégration avec les systèmes traditionnels.
Dans l'ensemble, avec le développement continu de la technologie Blockchain et l'élargissement de son champ d'application, les problèmes de sécurité continueront d'être une préoccupation majeure pour l'industrie. Ce n'est qu'à travers une innovation continue et des mesures de sécurité strictes que l'on pourra établir une base solide pour le développement sain du Web3.0.