先明确能核验的范围
artt币质押挖矿的历史规则怎么查，首先需要明确ARTT所指的项目、网络、活动合约和查询时段。仅凭代币名称，无法确定某次活动由哪个程序执行，也不能确认其锁定条件、奖励计算或退出限制。
以太坊与OpenZeppelin的技术文档解释了智能合约和代理升级机制，但不能据此确认ARTT存在某项质押活动，或采用了相应技术。以下方法适用于由链上合约执行规则、且能够确定对应地址的活动。
将文字规则与执行逻辑对应
以太坊的智能合约介绍说明，合约是部署在特定地址的程序，包含代码和状态；用户通过交易调用其功能。这意味着，核验链上规则需要同时关注程序如何计算，以及相关参数处于什么状态。
例如，若某活动确实设置期限或奖励参数，需要核对这些条件在对应版本中如何使用。活动说明可以帮助理解条款，但单凭说明文字，无法证明某段程序当时如何执行；单凭代币合约，也不能直接确定另一个活动合约的规则。
历史版本不能由当前页面替代
OpenZeppelin的代理模式文档解释，用户交互的代理地址可以保持不变，而代理指向的逻辑合约可以替换；在该模式下，状态保存在代理中，执行逻辑来自相应实现合约。因此，地址没有变化，并不足以证明规则从未变化。
若目标活动采用这类结构，历史核验应把查询时段、当时指向的实现合约及对应状态联系起来。当前实现只能说明当前指向的逻辑，不能自动代表过去。即使没有升级，也需要区分代码中的固定条件与允许修改的状态参数。
如何整理核验结果
可以按“项目及网络、活动地址、目标时段、对应逻辑版本、相关参数、证据缺口”整理记录。每项规则都应注明适用范围；尚未确认的地址、版本或参数应保留为待核实项，避免把不同活动的信息拼成一套规则。
查询的目标是形成可追溯的对应关系。如果只有当前页面或通用技术说明，能够解释的只是机制，不能据此填写ARTT的历史期限、奖励数值或规则变更日期。
常见问题：源码公开就足够吗
源码可以帮助理解执行逻辑，但历史问题还涉及版本和状态。对于上述代理结构，只查看逻辑合约自身的状态可能产生误解，因为代理执行使用的是代理保存的状态。技术文档也不能替代具体项目证据；缺少活动地址和历史版本信息时，不能得出该项目历史规则已被核实的结论。