Blog
Company updates
Product releases, announcements, and service updates from CertiK.
Products & servicesApe in with Ease with Skynet Liquidity MonitoringTrading on decentralized exchanges can be a daunting experience at times. The Liquidity Monitoring section of Skynet can help you make informed decisions and navigate the DeFi space more securely. Take advantage of Liquidity Monitoring by enabling Skynet today.
Products & servicesCertiK integrates with Arbitrum and Optimismall projects launching on either Optimism or Arbitrum will have full access to the Skynet monitoring and analytics suite should they choose to enable it for their project. The resources committed to bringing this feature were quite intense, in fact we had to pull all data off of both of these chains in order to integrate them with Skynet. 
Products & servicesCompliFi Secures their AMM with a CertiK Security AuditThe codebase for CompliFi's automated market maker (AMM) pool contract has undergone an audit by the CertiK Auditing Team. Through the utilization of this AMM, anyone is able to create a pool and finalize it, following that any user is able to join the pool and receive pool tokens. The summary of the audit and its findings follows up.
Products & servicesCompliFi Secures Its Smart Contracts With CertiKWe’re excited to announce that CompliFi’s protocol has been successfully audited with CertiK. In more detail, a summary of the audit findings as documented by the CertiK Professional Services Division follows up. 
Products & servicesPenetration Testing Services For Blockchains and CryptoSecure your Web3 protocol. Master 5 blockchain pentesting types (external to double-blind) & how CertiK's experts uncover zero-day threats first.
Products & servicesAn Introduction to DeepSEAIn the blockchain world, security is paramount, but writing certifiably correct system software is quite labor-intensive. Current programming languages are not well-suited for the task—let alone compatible—with Formal Verification.