CertiK

CertiK ist ein Blockchain-Sicherheitsunternehmen, das Smart-Contract-Audits, formale Verifikation, Penetrationstests und Echtzeit-Protokollüberwachung für Web3-Projekte anbietet. Das Unternehmen wurde 2018 von Informatikprofessoren der Yale University gegründet, hat seinen Sitz in den Vereinigten Staaten und setzt akademische formale Verifikationsmethoden in Kombination mit KI-gestützter Analyse ein, um Schwachstellen in dezentralen Anwendungen und Blockchain-Infrastrukturen zu identifizieren.

Die Dienstleistungen decken den gesamten Projektlebenszyklus ab, von Code-Audits vor dem Launch und Bug-Bounty-Programmen bis hin zur Überwachung nach der Bereitstellung über die Skynet-Plattform, die On-Chain- und Off-Chain-Risikosignale verfolgt und quantitative Sicherheitsbewertungen für Web3-Projekte erstellt. CertiK bietet zudem KYC-Verifizierung für Projektteams, Compliance-Tools über das SkyInsights-Produkt sowie Beratung bei der Reaktion auf Sicherheitsvorfälle. Das Unternehmen verfügt über SOC-2- und ISO/IEC 27001:2022-Zertifizierungen.

CertiK bedient ein breites Kundenspektrum, darunter Layer-1- und Layer-2-Blockchains, DeFi-Protokolle, NFT-Plattformen und Web3-Infrastrukturanbieter. Das Unternehmen hat außerdem On-Chain-Risikoüberwachung und technischen Support für internationale Strafverfolgungsbehörden bereitgestellt, darunter das Büro der Vereinten Nationen für Drogen- und Verbrechensbekämpfung und Interpol.