Certik
KYC,KYB: This project has passed formal KYB and KYC verification.CertiK is a blockchain and smart contract verification platform designed to enhance the security and trustworthiness of decentralized applications through rigorous mathematical proofs.
- Infra
- Live
CertiK is at the forefront of blockchain security, providing audit and verification services for smart contracts and blockchain protocols. Founded by leading academics in the field of computer science, CertiK utilizes cutting-edge formal verification technology to ensure the integrity and security of decentralized applications. Key metrics include over thousands of blockchain audits conducted, securing billions in assets across various blockchains. The team comprises top-notch developers and researchers dedicated to advancing blockchain security.
CertiK was founded by Professors Ronghui Gu and Zhong Shao, both of whom are highly respected in the fields of computer science and formal verification.
People Behind the Project
Q&A with the Makers
- How long does an audit take?
Depends on the scope of work you're looking for.
- How much does an audit cost?
The best way to answer this is to share your codebase with Certik for a detailed quotation that entails timeline and investment amount required to complete.
- What is included in the audit?
Expert /manual review, preliminary report, remediation, final audit report listed on skynet.certik.com, security score. There are additional services that can be purchased to help increase the overall security posture.
Live since: January 1, 2018