链必验专题文章系列，更多阅读：1链必验V3.1版本上线 | 找100人，试试冰山力量2智能合约自动检测工具『链必验』，如何带你解锁Web3.0世界　3科普 | 如何为你的智能合约“上保险”，形式化验证...