Prestataire
CertiK
Sécurité Web3 : audits manuels de smart contracts, vérification formelle et tests d'intrusion
Présentation
CertiK est une société de sécurité Web3 dont les conditions d'utilisation désignent CERTIFIED KERNEL TECH LLC, immatriculée au Delaware, avec un bureau principal à New York, aux États-Unis ; sa page de présentation la décrit comme basée à New York et issue de travaux de recherche menés à Columbia et Yale. Cette fiche porte sur ses services d'audit. Chaque audit de smart contracts comprend une revue manuelle du code par ses experts en sécurité, complétée par une revue automatisée assistée par IA, la vérification formelle étant proposée en option pour contrôler le comportement des contrats au regard de spécifications de fonctions sur mesure. Les rapports classent les vulnérabilités par gravité, de critique à informative, donnent une recommandation de correction pour chacune et indiquent si le problème a été corrigé ou seulement reconnu. CertiK indique auditer des projets sur Ethereum, BNB Chain, Polygon et d'autres blockchains de niveau 1, et ses travaux de vérification formelle portent notamment sur les contrats de consensus de TON et le module bancaire du Cosmos SDK. Elle propose aussi des tests d'intrusion Web3 couvrant applications web, mobiles et de bureau et leurs API, réseaux dont les nœuds RPC, infrastructures cloud, dApps intégrant de l'IA, SDK et code source.
En bref
- Chaque audit de smart contracts comprend une revue manuelle du code
- Propose la vérification formelle en option lors d'un audit
- Les rapports classent les constats par gravité et suivent leur correction
- Vend des tests d'intrusion Web3 : applications, réseaux, cloud et SDK
- A mené la vérification formelle de contrats de consensus TON et du module bancaire du Cosmos SDK
- Services
- Audit
- Tests d'intrusion
- Siège
- États-Unis
CertiK : questions fréquentes
- Quels services propose CertiK ?
- D'après ses informations publiques, CertiK propose : Audit et Tests d'intrusion.
- Sur quelles blockchains travaille CertiK ?
- CertiK travaille sur Ethereum, BNB Chain, Polygon, TON et Cosmos.
- Où est basée CertiK ?
- Le siège de CertiK se trouve dans le pays suivant : États-Unis.
- CertiK est-elle vérifiée sur smart-contract.com ?
- Pas encore. Cette fiche a été établie à partir d'informations publiques et CertiK ne l'a pas revendiquée ni passé le processus de vérification de smart-contract.com.
- Comment obtenir un devis de CertiK ?
- 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.
D'où viennent ces informations
Cette fiche a été établie à partir des pages publiques ci-dessous et relue pour la dernière fois le 24 septembre 2026. La société ne l'a pas encore revendiquée, n'est pas partenaire de smart-contract.com et n'a pas été vérifiée.
Décrivez votre projet une fois. Comparez en toute confiance.
Recevez des devis comparables de développeurs vérifiés, puis sécurisez votre code avec un auditeur indépendant.
Gratuit pour les clients. Sans engagement.