Certora , une plate-forme de sécurité de blockchain leader, a ouvert son moteur de vérification formel le plus avancé, Certora Prover, pour rendre la sécurité intelligente trac accessible à tous dans le secteur de la cryptographie.
Cette décision de Certora n'aurait pas pu venir à un meilleur moment alors que les pirates prolifèrent l'espace d'actifs numériques et volent des fonds.
«La sécurité reste l'un des plus grands défis de Web3. Les projets DeFi dépensent des millions pour des audits et prennent souvent plus d'un an pour le lancer, mais les vulnérabilités continuent de mettre des milliards de dollars en danger ", a déclaré CTO CTO Shelly Grossman, ajoutant:« Alors que les exploits très médiatisés sont devenus moins fréquents, sécurisant Smart ContracTS reste cher et hors de portée pour de nombreux développeurs. Cela change aujourd'hui.
Les données de l'entreprise d'analyse de la blockchain en chaîne analyse révèlent qu'un énorme 2,2 milliards de dollars a été volé par des pirates en 2024, ce qui représente une augmentation de 21% par rapport à il y a un an. Non seulement le montant en dollars a fait augmenter, mais le nombre d'inci dent .
À mesure que l'adoption de la crypto augmente, gagnant trac travaux parmi les commerces de détail et les institutions, et le marché avec la capitalisation boursière totale de la crypto-monnaie dépassant 3 billions de dollars , les mauvais acteurs se multiplient certainement. Ces cybercriminels adoptent des méthodes de plus en plus sophistiquées et élargissent leur portée en exploitant les faiblesses dans les trac , qui sont l'épine dorsale des protocoles et l' DeFi .
Dans cette toile de fond, CERTORA propose une solution puissante aux développeurs DeFi , quedentmette tous les bogues possibles, puis prouve leur absence. En soutenant plusieurs chaînes populaires, à savoir. Ethereum (EVM), Solana (SBPF) et Stellar (WASM), CERTORA s'assurent que la grande majorité de l'espace cryptographique est protégée contre les attaques intelligentes detrac.
Prover est le produit phare de Certora, qui utilise une vérification formelle pour attraper les bugs les plus durs et les plus rares. En production pour «A Long Time», l'outil est enfin rendu au grand public.
Le prover Certora agit essentiellement comme un auditeur automatisé detracmatic, analysant le code intelligent et les règlesdefides développeurs pour fournir une preuve de correction. De cette façon, cela va au-delà des scénarios limités, évaluant tous les cas possibles. Les développeurs ont déjà écrit plus de 70 000 règles de vérification.
C'est en fait avec l'aide de la technologie de vérification formelle de Certora qu'un défaut fondamental de l'équation DAI de Makerdao, non détecté depuis 2018, a finalement été capturé. Des résultats comme celui-ci montrent que même plusieurs audits ne peuvent pas éliminer complètement les vulnérabilités d'untracintelligent, mais une vérification formelle peut aider à les découvrir.
Avec cet outil, Cetora a également aidé Aave, UniSwap, Lido, Eigenlayer, Solana Foundation et bien d'autres protègent des dizaines de milliards de dollars en TVL.
Cependant, Certora avait son code fermé pendant tout ce temps, ce qui change finalement dans une décision d'offrir à tous les développeurs de WEB3 en tant qu'outiltronG pour s'assurer que leurstracintelligentes sont sécurisées, transparentes et communautaires -Dé.
«La sécurité intelligente de latracne devrait pas être un privilège réservé aux équipes bien financées ou aux personnes très instruites. Open-source Le prover Certora est une étape vers la création de la norme intelligente de Bulletproof àtrac», a déclaré le PDG de Certora, Mooly Sagiv.
Disponible gratuitement pour tous, CERTORA invite actuellement les développeurs, les chercheurs en sécurité et la communauté Web3 à utiliser la solution pour vérifier leurstracintelligents et aider à faire progresser ses efforts pour assurer la sécurisation DeFi .
