前一个阶段笔者更新了智能合约审计系列研究内容,目前将第三篇文章发布于先知平台,主要涉及智能合约开发和审计过程中的变量覆盖、不一致性检查的安全性问题,文章目录如下,有兴趣的可以看看: 文章链接:https://xz.aliyun.com/t/7152