在6月27日在圣何塞会议中心举行的Blockchain Connect会议上，CertiK联合创始人顾荣辉接受金色财经专访中谈到区块链安全问题，他说：安全公司应该考虑既能保持盈利，也能履行社会责任。当前区块链安全问题不仅来自合约层，在公链、交易所也普遍存在。仅仅爆出漏洞不能真正解决不安全的现状，而更多的是为了给安全公司带来名气。安全公司应该帮助公链、交易所、智能合约层把BUG排除掉，用技术验证的形式，证明代码真正处于安全状态，以此增加区块链项目价值，践行安全公司的社会责任。顾荣辉进一步解释了CertiK研发的“形式化验证”技术：取代传统测试、代码审计的方法，用数学的方法证明代码模型与设计模型相匹配，从而确保区块链安全。