Blog
Company updates
Product releases, announcements, and service updates from CertiK.
AnnouncementsKava Labs Successfully Verifies Its Confidence In Harvest.io With Third CertiK AuditWe’re proud to announce that Kava has audited the implementation of Harvest.io with CertiK, successfully verifying its confidence in the new module.
AnnouncementsCertiK Audits Terra’s New CosmWasm Smart Contract SolutionTerra, one of the largest blockchain payment networks, is supported by a family of stablecoins which are pegged to the world's major currencies. The main goal of the CosmWASM solution is to provide functionality that allows smart contracts to interact with other smart contracts, and be deployed on different blockchain platforms. The solution is a WebAssembly smart contract system, and is based on the Cosmos SDK and Tendermint BFT consensus protocol.
AnnouncementsCertiK Audits Three RioDeFi Modules and Performs a Pen Test For RioWalletCertiK was excited to work with the RioDeFi team to examine issues and vulnerabilities in the source code of their system within the scope. A comprehensive audit examination has been performed, and a penetration test on RioWallet. 
AnnouncementsDUCATO Protocol Security Audit Provided by CertiKThe CertiK team was contracted by the DUCATO team to audit the design and implementation of their token smart contract and its compliance with the EIPs it is meant to implement.
AnnouncementsCertiK’s Audit of the Torus Distributed Key Generation ProtocolA series of thorough security assessments was carried out for Torus to audit and verify the Distributed Key Generation protocol.
AnnouncementsCertiK’s Cross-Chain DeFi Audit of Kava Labs CDP and Auction Modules CertiK is proud to announce the second successful security audit of Kava, a cross-chain DeFi (Decentralized Finance) project built with the Cosmos SDK.
AnnouncementsCertiK’s audit of ICON’s Python Implementation of the Service EngineCertiK was excited to audit ICON’s Service Engine, utilized as a dependency of other projects.
AnnouncementsCertiK Audits Hdac Platform, Signaling Beginning of Strategic PartnershipThe synergy created between the two entities will reinvent the standards of security and further develop trust between parties in the blockchain and IoT worlds.
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.
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.