博客
公司动态
CertiK 的产品发布、公告与服务动态。
公告Kava 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.
公告CertiK 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.
公告CertiK 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. 
公告DUCATO 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.
公告CertiK’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.
公告CertiK’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.
公告CertiK’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.
公告CertiK 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.
公告 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.
公告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.