CertiK Podcast
Jan. 9, 2022
Protocol Security Audits with CertiK
In this episode, Kevin from CertiK walks us through the security processes behind smart contract and blockchain protocol audits. He shares how CertiK uses AI and formal verification to detect vulnerabilities before they become exploits.
We also explore the broader importance of trust in Web3 and…