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.