审计范围与执行逻辑
理解区块链审计行业涉及哪些技术概念，首先要明确审计对象。这里聚焦以太坊智能合约的软件安全审查，不将其等同于财务审计，也不把结论扩展到所有区块链系统。
合约审查需要理解函数调用、状态变化与异常回退。关键问题不仅是某个函数能否运行，还包括谁能触发它、执行前提是否成立，以及执行结果是否符合业务规则。
访问控制与最小权限
OpenZeppelin 的访问控制文档区分了所有者模式与基于角色的权限控制。前者适合单一管理主体，后者适合拆分不同职责；审查还需覆盖角色的授予、撤销与管理员权限。
最小权限意味着账户只获得履行职责所需的能力。例如，拥有某项操作权限，不应自然推导为能够把该权限授予别人。角色名称不同也不代表风险已经分散，还要检查实际控制账户及其管理关系。
输入检查与安全不变量
以太坊智能合约安全文档介绍了条件检查、测试、程序分析和独立审查等手段。其中，require 与 revert 可用于拒绝不满足条件的执行，assert 用于检查内部不变量；测试和审计应互相补充。
不变量是系统在规定条件下必须持续满足的规则。若业务明确设置供应上限，可以检查各种操作序列是否都遵守上限。规则必须来自实际设计，不能把某一种代币的约束套用于所有合约。
静态分析、动态分析与形式化验证
静态分析不依赖实际执行目标合约，可借助抽象语法树、控制流图等结构检查代码。动态分析通过执行观察行为；模糊测试利用大量生成的输入寻找异常，适合探索手写用例容易遗漏的边界。
形式化验证将预期性质表达为明确规范，再验证模型是否满足规范。其结论受规范、模型和假设限制：证明某项性质成立，不等于证明整个系统不存在任何漏洞。
常见问题与适用边界
测试全部通过，是否意味着安全？不意味着。测试只能覆盖所设计或生成的场景，错误的预期结果也可能使测试失去判断价值。因此，审查需要同时核对业务规则与测试断言。
采用角色管理或多签，是否就能消除管理风险？不能直接得出这一结论，权限配置与控制关系仍需核查。同样，审计是特定范围内的独立检查，不是永久安全保证；理解结论时必须结合所审查的代码与前提条件。