2025-12-30 15:21:59

Ces derniers mois, le domaine de la vérification des contrats intelligents a connu plusieurs avancées intéressantes.

Le système de preuve automatique de théorèmes lancé par Certora Prover permet d’accélérer radicalement le processus d’audit — ce qui prenait auparavant plusieurs semaines peut désormais être réalisé en quelques heures. Halmos, quant à lui, mise sur un moteur d’exécution symbolique pour la détection de vulnérabilités, capable de repérer 99,5 % des problèmes que les méthodes de test traditionnelles manquent. Ajoutez à cela la nouvelle fonctionnalité de surveillance en temps réel de MythX Enterprise, et toute la chaîne d’outils devient de plus en plus complète.

Les différences en termes de données sont évidentes : les projets DeFi utilisant ces nouveaux outils n’ont connu aucun incident de sécurité durant tout le trimestre ; en revanche, les protocoles utilisant encore des méthodes traditionnelles ont subi des pertes supérieures à 3 milliards de dollars à cause de piratages. La comparaison est claire.

De nombreux professionnels du secteur prédisent qu’en deux ans, la vérification formelle pourrait devenir une étape standard incontournable pour les grands projets DeFi. Après tout, personne n’ose faire l’impasse sur la sécurité.

Voir l'original

Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.

16 J'aime

Récompense
16
6
Reposter
Partager

Commentaire

0/400

MEVvictim

· Il y a 2h

Encore une histoire heureuse d'audit, un avertissement de 300 millions de dollars en larmes --- Certora est vraiment exceptionnel, passer de plusieurs semaines à quelques heures, quelle différence difficile à supporter --- Attends, d'où viennent ces 99,5% de données, c'est un peu suspicieux --- Zéro incident de sécurité vs une perte de 300 millions de dollars, pourquoi tant de gens ne choisissent pas cette option si simple --- La validation formelle comme norme, on dirait que dans cinq ans, certains seront toujours à se disputer à ce sujet --- Honnêtement, la surveillance en temps réel de MythX doit être mise en place rapidement, sinon on a toujours cette inquiétude --- Le problème, c'est le coût, cette solution est-elle abordable pour les petits projets --- En regardant cela, ça met en colère, comment se fait-il que certains insistent encore pour utiliser les anciennes méthodes --- Avec cette série de mesures, les hackers risquent vraiment de perdre leur emploi

Voir l'originalRépondre0

LiquidatedDreams

· 2025-12-30 23:21

D'accord, cette fois quelqu'un a enfin rendu l'audit efficace, cela aurait dû être fait depuis longtemps La vérification formelle n'est vraiment pas une blague, une perte de 300 millions de dollars montre qu'il y a un problème L'approche de Certora est vraiment top, les résultats d'audit en quelques heures, attendre deux ans de plus, c'est sûrement la norme Mais pour revenir à la question, combien de projets osent vraiment l'utiliser ? Taux de détection des vulnérabilités de 99,5 %, cela semble beaucoup plus fiable que les méthodes traditionnelles Il faut la populariser rapidement, pour que personne ne se fasse pirater simplement parce qu'il n'a pas bien vérifié De cette façon, la DeFi pourra enfin être plus sereine

Voir l'originalRépondre0

RegenRestorer

· 2025-12-30 15:50

Putain, cette différence de données est vraiment énorme, 300 millions d'amis Il aurait dû utiliser ces outils il y a longtemps, pourquoi certains jouent encore leur vie La vérification formelle deviendra-t-elle la norme en deux ans ? Je pense qu'elle devrait être obligatoire dès maintenant L'opération de Certora est vraiment impressionnante, l'audit terminé en quelques heures, je dis bravo Les gars qui utilisent encore des méthodes traditionnelles jouent vraiment avec le feu

Voir l'originalRépondre0

StealthMoon

· 2025-12-30 15:32

La chaîne d'outils de sécurité est effectivement en train de décoller, mais pour être honnête, elle est encore un peu lente. Quand est-ce que tous ces projets pourront enfin tous les utiliser ? --- Le système Certora a l'air pas mal, mais il faut voir la qualité réelle des audits. La rapidité ne signifie pas forcément moins de vulnérabilités. --- 99,5 % semble très impressionnant, mais on craint toujours ces 0,5 % de cygnes noirs. --- Le chiffre de 300 millions de dollars est un peu effrayant, si j'avais su, je serais monté à bord plus tôt. --- La validation formelle comme norme ? Attendons de voir, le coût doit encore être ajusté. --- On sent que les grands projets commencent à prendre cela au sérieux, mais il faut encore beaucoup s'occuper des écosystèmes de petite taille. --- L'accélération des audits est une très bonne nouvelle, mais la sensibilisation à la sécurité est encore plus importante. --- Quand est-ce que cette suite d'outils pourra devenir moins chère, pour que les projets de taille moyenne puissent aussi en profiter ?

Voir l'originalRépondre0

DYORMaster

· 2025-12-30 15:32

Il était temps que cela se généralise, ceux qui utilisent encore des méthodes obsolètes doivent vraiment se réveiller

Voir l'originalRépondre0

ImpermanentLossFan

· 2025-12-30 15:27

La vérification formelle de cette chose est vraiment en train de décoller, mais en y repensant, combien de projets sont vraiment prêts à dépenser de l'argent pour l'utiliser ?

Voir l'originalRépondre0