블로그
회사 소식
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.