CertiK Blog and News
Join Our Community Today!
Streamr Monoplasma Blockchain Audit Overview
CertiK | Mar 31
The goal of CertiK’s audit was to review the source code for Streamr’s Monoplasma smart contract with its full Solidity inheritance chain. The outcome represents a certification that the verified smart contracts are robust enough to avoid any potentially unexpected loopholes.
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.