适用范围：先明确讨论对象
“云贸”这一名称不足以确认某个平台采用了什么技术、如何部署或是否经过审计。以下内容适用于采用分布式账本的系统；涉及智能合约的部分，仅适用于实际部署了相应合约的场景，不能据此判断具体项目已经具备这些能力。
账本记录与业务真实性
NIST《区块链技术概述》将区块链描述为具有篡改可察觉性和抗篡改能力的分布式账本，并把已发布记录难以更改的描述限定在网络正常运行的条件下。理解这一边界，有助于避免把“不可篡改”视为绝对保证。
记录能够保留，不代表录入内容天然准确。例如，业务人员提交的履约信息是否真实，仍取决于信息来源和核验过程。评估系统时，需要分别了解数据如何产生、由谁确认，以及出现错误后如何补充更正记录。
权限设置与密钥控制
以太坊开发者安全文档强调访问控制、测试和独立审查，并说明审计无法发现所有漏洞。这些原则适用于相应智能合约系统，但不能直接证明某个平台安全。
对具备合约功能的系统，应明确谁能修改参数、暂停功能或执行升级。把敏感权限集中在一个账户上，会使该账户密钥失守的影响扩大。按职责划分权限、为关键操作设置多人签署要求，可以减少对单个账户的依赖；实际效果还取决于权限配置与签署者是否独立。
合约测试与异常处置
合约测试需要覆盖正常流程、无权限调用、异常输入和边界状态。单次操作能够成功，并不足以说明复杂调用顺序也符合预期。静态分析、模糊测试与独立代码审查能够从不同角度发现问题。
部署后的合约代码通常难以直接修改，因此还需提前明确漏洞响应方式。若系统具备升级或暂停机制，就应同时说明控制这些机制的权限及适用条件。形式化验证的结论也受规格、模型和假设限制，不能泛化为整个系统没有风险。
常见问题：哪些结论不能直接成立
上链是否等于信息真实？上链主要涉及记录与验证机制，链外事实仍需要核验。采用区块链是否等于没有管理者？账本的分布式结构与业务管理权限是不同问题。通过审计是否意味着长期安全？审计针对一定范围和版本，后续修改、权限变化及外部依赖仍可能影响安全。