博客
公司动态
CertiK 的产品发布、公告与服务动态。
产品与服务利用天网流动性监控系统轻松 "猿入 "市场Trading 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.
产品与服务CertiK 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. 
产品与服务CompliFi 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.
产品与服务CompliFi 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. 
产品与服务Penetration 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.
产品与服务An 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.