智能合约的审计流程是怎样的？

审计流程，通常分为三个层面：

工具扫描：一般有专门开发的工具，对代码进行扫描，但错误率比较高。

语法审核：由人工执行，从语法层面进行审核，比如常见的重放攻击、随机数攻击、数值溢出等。

业务审计：由人工执行，通常需要金融顾问参与，需要项目提供各种文档说明。

通常，工具扫描比较容易，语法审核的难度中等，而业务审计最难。

工具扫描的误报率一般比较高，需要人工再次甄别确认。

一般的审计公司都是执行前两项工作，只有头部公司才会进行第三项工作。