CertiK

CertiK is a blockchain security platform using Formal Verification technology on smart contracts and blockchains. Formal Verification mathematically proves program correctness and hacker-resistance. CertiK applies cutting-edge innovations from academia into enterprise, enabling mission-critical applications to be built with security and correctness.
Capabilities include:
Security Audits: a comprehensive security assessment of smart contractsand blockchain code to identify vulnerabilities and recommend ways to fix them.
Skynet : actively monitors and displays on-chain insights for smart contracts using industry-leading technologies built by CertiK’s team of security researchers.
Skynet: actively monitors and displays on-chain insights for smart contracts using industry-leading technologies built by CertiK’s team of security researchers.
Penetration Testing: safe and in-depth attack simulation to expose the most complex vulnerabilities on crypto exchanges, wallets and Dapps.