适用范围与判断依据
区块链产品的风险需要注意哪些问题，可以先从合约如何执行、谁能改变规则、异常后能否处理三个角度理解。本文聚焦采用智能合约的产品，讨论技术与管理权限风险，不覆盖所有业务、法律或经济风险。
以太坊智能合约安全文档强调访问控制、测试与独立审查；OpenZeppelin访问控制文档说明所有者权限、角色管理和权限交接机制。前者帮助理解安全验证，后者帮助识别控制权，两者需要结合具体产品配置分析。
代码缺陷与修复条件
合约按照代码执行，业务逻辑错误可能导致未经授权的操作或资产无法正常使用。已部署代码通常不能直接修改，因此安全问题应尽可能在部署前发现。
判断修复能力时，要区分固定逻辑与可升级设计。可升级产品还需解释谁能升级、授权如何完成；固定逻辑产品则需说明缺陷出现后的处置限制。不能把可升级本身当作安全保证。
权限集中与管理账户风险
应关注增发、冻结、暂停和升级等敏感操作由谁控制，以及谁可以授予或撤销这些权限。角色划分体现最小权限原则，但如果同一账户兼任多个角色，或能够重新分配全部权限，控制权仍可能集中。
多签要求多个账户共同授权，可以降低单一密钥失守的风险，其效果取决于签名门槛和控制者是否独立。多个地址并不必然意味着多个独立决策者。
权限交接也可能造成故障
权限管理既要防止滥用，也要避免必要功能永久失效。所有权转移到无法操作的账户，可能导致管理中断；放弃所有权后，受所有者权限保护的函数可能无法再调用。
因此，取消权限是否合理取决于功能是否仍被需要。需要持续维护的产品，应明确交接对象和确认机制；不能仅凭“已放弃所有权”推断全部风险已经消失。
常见问题：审计通过是否就安全
审计是额外的独立检查，不能保证发现所有漏洞。理解审计结论时，需要关注检查范围、代码版本及问题处理情况；若实际运行的版本或配置不同，结论的适用性也会受到限制。
单元测试通过，也只说明已覆盖的场景符合预期。结合模糊测试、静态分析等方法，有助于发现边界问题。形式化验证针对明确的规范和模型提供证明，其可靠结论仍受规范、模型及假设范围约束。