先明确术语与适用范围
“区块链流动性智能挖矿”不能仅凭名称确定技术实现。核对前，应先明确它指向什么业务规则、哪些合约，以及“智能”具体表示自动执行还是其他能力。本文只讨论智能合约与权限机制的通用核对方法，不判断任何具体项目。
把“自动运行”“规则固定”“无人控制”等表述分别列为待确认假设，不要把它们视为同一个结论。每项假设都应对应证据；缺少证据时，应保留为未确认。
核对自动执行的实际边界
Ethereum.org 的智能合约介绍说明，合约是在以太坊上运行的代码与状态，账户可通过交易调用其功能；合约也能调用其他合约，但不能独立读取链外现实信息，需要借助预言机等机制。
因此，核对重点不是页面是否使用“智能合约”字样，而是所描述的规则是否对应明确的合约功能。还应区分哪些步骤在链上执行、哪些结果由外部系统提供。自动执行只说明执行方式，不代表输入可靠或业务假设成立。
核对谁能改变规则
OpenZeppelin 的访问控制文档区分了所有者权限与角色权限。角色的管理者可以授予或撤销相应权限；默认管理员具有重要管理能力。基础 AccessControl 不提供链上成员枚举，可结合授权、撤权事件跟踪角色变化。
核对时，应分别记录业务权限与管理权限：谁能操作关键功能，谁能改变这些人的权限。仅确认某个账户目前没有操作权限，不能直接推断它无法经由管理权限重新获得权限。
“放弃所有权”也不能单独证明整个系统不存在管理入口。结论必须限定到具体合约和权限机制，不能用一个所有者字段代替完整的权限说明。
核对外部依赖与证据对应关系
若业务说明涉及外部价格或其他链外信息，应明确数据如何进入合约、由哪个组件提供，以及哪些规则依赖该数据。若涉及其他合约，则应把依赖关系纳入核对范围，而不是只关注一个入口地址。
可按“假设、证据、适用范围、未确认事项”整理记录。例如，“存在自动执行功能”的证据，不能替代“所有关键流程均自动执行”的证据。文档描述、代码逻辑和实际部署状态应分别识别，不能相互替代。
常见问题：哪些结论不能顺带得出
使用成熟合约库，是否就说明项目安全？不能。库文档解释的是组件能力，具体系统还涉及权限配置、组合方式和部署实现。
设置多签，是否就意味着没有控制者？不能。多签意味着相关操作需要满足多个签名条件，并不等于管理权限消失。
能否据此确认挖矿回报或退出条件？不能。上述两份文档不提供具体项目的奖励规则、资产状况或退出条款。技术概念只能帮助明确需要什么证据，不能填补项目事实的空缺。