理解范围：从漏洞到防护机制
区块链漏洞防范案例相关术语如何理解，关键是把“漏洞原因”“防护措施”和“验证结果”分开。本文讨论以太坊智能合约安全，不将这些概念直接推广为所有区块链系统的结论。以太坊开发文档强调权限、执行条件、测试和独立审查；OpenZeppelin Contracts v4文档则介绍重入保护、拉取式付款及暂停模块。两者分别帮助理解安全目标与实现机制。
权限控制：可调用不等于有权操作
访问控制回答“谁能执行敏感操作”。Ownable以所有者身份限制权限，角色控制则按职责分配权限；多签要求达到签名门槛才能执行操作。区分这些术语时，应关注授权条件，而不是仅看函数是否公开。
例如，分析修改参数的案例，应分别检查入口是否可调用、调用者是否获授权，以及授权账户被攻破后的影响。分设角色不自动消除单点风险，多签的作用也取决于签名者是否真正独立。
重入防范：关注外部调用期间的状态
重入是指执行过程通过外部调用再次进入合约逻辑，可能使尚未完成更新的状态被重复使用。“检查—效果—交互”强调先检查条件、再更新状态、最后与外部交互。ReentrancyGuard可限制受保护入口的嵌套进入，但不代表未保护的入口同样安全。
PullPayment将付款安排为先记账、后提取，减少付款流程与接收方行为的耦合。它不是“永无重入”的同义词，提款阶段仍须考虑外部调用。这里的模块说明适用于v4文档，其他版本应核对对应接口。
异常回退与暂停：两种不同的边界
require用于检查输入、权限或执行前提；assert用于检查内部不变量，即预期始终成立的性质；revert用于显式终止执行并触发回退。它们只能约束已写明的条件，不能自动发现遗漏的业务规则。
Pausable是紧急停止机制。仅引入模块不会使所有功能自动暂停，相关入口必须接入暂停检查，并妥善设置触发权限。暂停旨在限制后续操作，不等于修复漏洞，也不能撤销此前已完成的交易。
常见问题：通过验证是否代表安全
测试通过，只能说明已检查的情形满足预期。模糊测试扩大输入探索范围；形式化验证针对明确规格和假设证明性质，不能理解为无条件证明整个系统没有错误。
审计同样不是安全保证。阅读案例时，应核对检查覆盖了哪些代码、哪些入口受到保护，以及结论依赖什么条件。把这些边界写清楚，比笼统地说“已审计”或“已采用安全库”更有解释力。