Blog
Company updates
Product releases, announcements, and service updates from CertiK.
Announcements 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.
AnnouncementsKava’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.
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.
AnnouncementsCertiK’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.
AnnouncementsCertiK'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.
AnnouncementsCertiK and Liquid’s Official PartnershipCertiK is excited to partner with Liquid to provide the cybersecurity expertise they seek.
AnnouncementsCertiK’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.
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.
AnnouncementsCertiK 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.
AnnouncementsCrypto Commonwealth’s Token & Vesting AuditCrypto Commonwealth chose to work with CertiK to ensure the security of their token and vesting smart contracts.
Announcements5 Things CertiK is Grateful ForFor Thanksgiving this year, we have a lot to be thankful for!
AnnouncementsCertiK’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.