博客
公司动态
CertiK 的产品发布、公告与服务动态。
公告 CertiK and OKChain’s Official Ecosystem PartnershipAs the premier blockchain security experts and developers of the CertiK Chain, CertiK is excited to join OKChain’s Commercial Alliance.
公告Kava’s Comprehensive Audit for the Validator Vesting ModuleKava selected CertiK, out of all the other leading formal verification and audit firms, to perform their audit because we at CertiK are the most diligent in the industry.
产品与服务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.
公告CertiK’s Audit Synopsis of Taxa Network’s Smart Contracts[Taxa Network](https://taxa.network) is a privacy-preserving, computationally powerful, highly developable, blockchain agnostic layer-2 infrastructure.
公告CertiK's Amaten AMAToken AuditCertiK was excited to review Amaten’s source code, guided and facilitated by aelf, their technical partner -- specifically the AMAToken smart contracts.
公告CertiK and Liquid’s Official PartnershipCertiK is excited to partner with Liquid to provide the cybersecurity expertise they seek.
公告CertiK’s Completion of Mineral Hub’s Mineral (MNR) Smart ContractsWith such an ambitious and innovative project, Skypeople chose to work with CertiK to build a secure framework moving forward.
产品与服务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.
公告CertiK Verifies The Sandbox’s SAND and LAND Token ContractsCertiK applied different types of approaches to audit Sandbox’s smart contracts and ensure that they’re free of vulnerabilities.
公告Crypto Commonwealth’s Token & Vesting AuditCrypto Commonwealth chose to work with CertiK to ensure the security of their token and vesting smart contracts.
公告5 Things CertiK is Grateful ForFor Thanksgiving this year, we have a lot to be thankful for!
公告CertiK’s Audit of Fetch AI’s High Performing Next Generation Smart ContractsWith the introduction of Internet of Things, communities found that our technologies were, ironically, disconnected.