1、逻辑校验漏洞智能合约开发的业务相关逻辑设计复杂，涉及的经济学计算和参数较多，不同项目和协议之间可组合性极其丰富，很难预测，非常容易出现安全漏洞。在Solidity智能合约中，我们总结了4种类型的逻辑校验漏洞：（1）未校验返回值（2）未校验相关计算数据公式（3）未校验函数参数（4）未规范使用require校验同样地，我们将从这4个方面分析Move合约中是否存在这些逻辑检验漏洞以及其可能性和危害。1.1 未校验返回值不检查消息调用的返回值，即使被调用的函数返回一个异常值，执行逻辑仍然会继续进行，只是该函数的调用并没有实现正确的逻辑，这会导致整个交易得不到正确的结果，甚至会威胁到数字资产的安全性