Certora

Présentation

Certora est une société de sécurité des smart contracts exploitée par Certora Ltd. Elle développe Certora Prover, un outil de vérification formelle qui compare le bytecode d'un smart contract à des règles décrivant le comportement attendu du code, et propose des audits de sécurité construits autour de cet outil. Chaque audit associe revue manuelle du code et vérification formelle : l'équipe définit le périmètre et le calendrier, ses experts rédigent des spécifications formelles dans le langage Certora Verification Language (CVL), dont la syntaxe est proche de Solidity, les exécutent sur le code avec le Prover et remettent un rapport qui liste les vulnérabilités ainsi que les spécifications. Le client peut relancer ces règles à chaque modification du code, ce qui suppose un abonnement au Prover. Le Prover peut aussi être intégré à la chaîne de développement pour tourner à chaque commit, et Certora maintient Gambit, un outil de test par mutation. L'entreprise organise des concours d'audit communautaires consacrés aux spécifications formelles et publie ses rapports d'audit et de vérification formelle sur son site. Celui-ci présente des pages dédiées à Solana, Stellar et Sui, et ses rapports publiés portent notamment sur des protocoles DeFi de prêt, de restaking et de gouvernance sur Ethereum.

En bref

• Développe Certora Prover, outil de vérification formelle des smart contracts
• Chaque audit associe revue manuelle et vérification formelle
• Remet les spécifications CVL, réutilisables après chaque modification du code
• Maintient Gambit, un outil de test par mutation
• Publie ses rapports d'audit et de vérification formelle sur son site

Certora : questions fréquentes

Quels services propose Certora ?

D'après ses informations publiques, Certora propose : Audit.

Sur quelles blockchains travaille Certora ?

Certora travaille sur Ethereum, Solana et Sui.

Quels langages de smart contracts utilise Certora ?

Certora travaille en Solidity.

Certora est-elle vérifiée sur smart-contract.com ?

Pas encore. Cette fiche a été établie à partir d'informations publiques et Certora ne l'a pas revendiquée ni passé le processus de vérification de smart-contract.com.

Comment obtenir un devis de Certora ?

Décrivez votre projet une fois sur smart-contract.com : vous recevez des devis comparables, au même format, des prestataires qui correspondent. Le développement et l'audit sont toujours confiés à deux sociétés indépendantes.