一、先区分风险发生在哪个层面
区块链系统的风险不能简单归结为“链上风险”。至少可以从三个层面理解：第一是代码层面，例如智能合约中的权限控制错误、逻辑缺陷或未处理的异常；第二是交易与状态层面，例如重复花费、无效输入或资产状态被错误修改；第三是网络与共识层面，例如节点对有效区块的判断不一致、区块链出现分叉，或攻击者试图重写部分交易历史。不同层面的风险，成因、影响范围和防范方法并不相同。
区块链具有公开验证、分布式维护和部分不可变等特点。代码部署后，修复缺陷通常比传统应用更复杂；交易一旦被确认并纳入后续区块，修改历史记录也需要满足网络规则并付出相应成本。因此，风险分析既要看某段代码是否正确，也要看权限由谁掌握、节点如何验证交易，以及网络如何形成共识。
二、智能合约安全中的常见术语
“访问控制”是指限制特定函数只能由获得授权的账户调用。公开或外部函数通常可以被网络参与者调用，如果铸造资产、升级合约、暂停功能或提取资金等敏感操作缺少权限限制，就可能出现未经授权的操作。常见设计包括单一所有者模式、基于角色的权限控制和多重签名账户。
单一所有者模式结构较简单，但所有者账户可能成为单点故障：一旦密钥泄露，攻击者可能取得相应管理权限。基于角色的控制会把不同操作分配给不同管理角色，多重签名则要求多个参与者共同签署交易。它们可以减少单个账户失陷带来的影响，但也会增加管理流程和协调要求。
“require、assert、revert”是智能合约中用于阻止异常执行的机制。require通常用于检查调用者身份、输入参数和当前状态是否满足前置条件；assert更适合检查理论上始终成立的内部不变量；revert可以在条件不满足时主动回滚执行。回滚意味着本次执行造成的状态变化不会被保留，但它不能弥补已经发生的外部操作，也不能替代完整的安全设计。
“单点故障”指系统的安全性或可用性过度依赖一个账户、密钥、组件或参与者。它是权限管理中常见的风险术语。减少单点故障不等于风险消失，因为多个管理账户仍可能共同失误、权限配置错误或缺乏有效的撤销机制。
三、测试、审计与漏洞赏金分别解决什么问题
“单元测试”通常使用预设数据验证某个函数是否按预期运行，适合检查明确的功能需求。但测试只能覆盖已经被设计出来的场景，无法自动证明没有遗漏边界条件。对于资产和权限相关合约，还需要关注异常输入、调用顺序、状态转换和多个用户交互时的结果。
“静态分析”是在不运行或较少运行代码的情况下，根据控制流、语法结构和可能的执行路径寻找问题；“动态分析”则通过实际执行代码来观察行为，模糊测试会使用大量变化的输入，尝试发现违反安全属性的情况。“形式化验证”进一步把安全要求写成形式化规范，并验证模型是否满足这些规范。它的适用范围取决于规范是否完整、模型是否准确以及验证工具能够处理的复杂度。
“安全审计”是由独立人员对代码、设计和实现进行额外检查。审计能够提高发现缺陷的机会，但报告本身不代表代码绝对没有漏洞，也不能替代开发阶段的测试和权限设计。“漏洞赏金”则通过奖励鼓励外部研究者负责任地报告问题，重点在于建立明确的报告渠道、响应流程和披露规则。
四、区块链网络中的共识、分叉与双重支付
“共识”表示多个节点依据同一套规则认可相同的区块链状态。节点会独立保存并验证区块，只有在验证结果符合共识规则时，才会把区块纳入自己的链。共识规则通常涉及交易格式、输入是否有效、区块结构和其他协议条件。
“双重支付”是同一份可用交易价值被尝试使用两次。在采用未花费交易输出模型的系统中，每个交易输出在被花费后不能再次作为有效输入；节点会拒绝引用已花费输出的后续交易。这个术语描述的是交易层面的重复使用，不等同于智能合约漏洞。
“分叉”表示不同节点或矿工在某一时刻分别接受了不同的区块链延伸。短暂分叉可能由区块几乎同时产生造成，后续区块会使其中一条链获得更强的延伸，另一条链上的区块可能被视为过时。若参与者遵循不同规则，或有人试图改变既有交易历史，也可能形成更持久的分歧。
“51%攻击”通常用来描述攻击者掌握足够大比例的网络计算能力后，尝试影响工作量证明链的区块延伸或重组交易历史。它不表示攻击者可以任意修改所有交易，也不等同于自动取得智能合约管理权限。实际影响取决于网络规则、攻击持续时间、交易确认状态和攻击者能够控制的资源。
五、这些术语在什么情况下适用
分析智能合约项目时，应优先查看敏感函数由谁调用、权限是否分散、异常条件是否会回滚，以及代码是否经过多层次测试和独立复核。分析底层区块链时，则应重点理解节点验证规则、交易是否可能重复使用、区块如何连接，以及分叉和确认如何影响交易状态。
同一个事件可能涉及多个术语。例如，某个合约允许未经授权的账户执行提取函数，主要属于访问控制问题；如果攻击者利用错误逻辑制造不应存在的状态，则还可能涉及业务逻辑漏洞；如果相关交易尚未获得足够确认，分析时还需要考虑区块分叉或交易重组。准确判断需要先确定故障发生的层级，再选择对应术语。
六、常见问题
问：区块链“不可篡改”是否意味着不会有安全风险？答：不是。不可篡改主要描述已写入并被网络接受的记录难以修改，但智能合约可能从一开始就包含错误逻辑，账户密钥也可能泄露，网络还可能出现分叉或重组。不可篡改会让错误修复和资产追回更加困难，因此更需要在部署前进行设计、测试和复核。
问：通过审计是否就能确认合约安全？答：不能。审计属于独立检查环节，能够发现部分代码和设计问题，但覆盖范围受审计时间、代码复杂度、审计方法和需求说明影响。测试、权限管理、部署流程和持续监测仍然重要。
问：双重支付和51%攻击是不是同一个概念？答：不是。双重支付描述重复使用同一份交易价值的行为，51%攻击描述一种可能影响工作量证明链历史选择和交易确认的网络控制风险。两者可能有关联，但含义和分析对象不同。