About CertiK
CertiK is a blockchain security firm providing smart contract audits, formal verification, and real-time threat monitoring for DeFi protocols, exchanges, and token launches. Founded by Yale and Columbia professors, the company has audited over 4,000 projects and monitors on-chain activity through its CertiK Skynet security intelligence platform.
Structured data
Type:ProfessionalService
Area:New York, New York, United States
Hours:Mo-Fr 09:00-17:00
Knows about
Smart Contract AuditFormal VerificationDeFi SecurityBlockchain MonitoringToken Audit