CertiK Blog and News

Join Our Community Today!

Kava’s Comprehensive Audit for the Validator Vesting Module

CertiK | Mar 24

Kava 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.

apM Coin Passes CertiK’s Verification Process

CertiK | Feb 24

We worked closely with the apM Coin team to secure their apmcoin.sol smart contract.

CertiK’s Audit Synopsis of Taxa Network’s Smart Contracts

CertiK | Feb 12

[Taxa Network](https://taxa.network) is a privacy-preserving, computationally powerful, highly developable, blockchain agnostic layer-2 infrastructure.

CertiK's Amaten AMAToken Audit

CertiK | Feb 10

CertiK was excited to review Amaten’s source code, guided and facilitated by aelf, their technical partner -- specifically the AMAToken smart contracts.

Hiblocks' Smart Contract Audit for Decentralized Social Media

CertiK | Feb 7

Hiblocks, a blockchain-based social media curation platform, worked with CertiK to audit the design and implementation of its soon-to-be-release smart contracts.