CertiK leverages formal verification technology to mathematically ensure security in systems software.
CertiK provides blockchain security, compliance, and infrastructure services, including smart contract audits, formal verification, penetration testing, on-chain monitoring, incident response, and compliance solutions. The company serves exchanges, custodians, DeFi protocols, stablecoin issuers, tokenization platforms, financial institutions, and enterprises utilizing distributed ledger technology. CertiK was founded in 2017 by professors from Yale University and Columbia University. The company employs 101-250 individuals and is headquartered in New York City.
CertiK has a global workforce. The company offers flexible paid time off and flexible work schedules.
CertiK develops and utilizes AI technology for blockchain security and smart contract monitoring. The company offers Smart Contract Audits, Skynet, Formal Verification, Penetration Testing, SkyInsights, DLT Security Solutions, AI Auditor, KYC Verification, and CertiK Validator Service. Technologies used by CertiK include SPF, Google Tag Manager, SSL by Default, Viewport Meta, HSTS, IPhone / Mobile Compatible, DMARC, DNSSEC, and Google Analytics. The company also uses Python or Google Apps Script for automating reconciliation tasks.
CertiK operates with a remote workforce. The company provides flexible paid time off and flexible work schedules.