先确定适用范围，不把名称当作事实
“lambda借币挖矿”涉及具体名称，但目前没有足以确认其项目身份、部署网络、合约地址和业务规则的项目级证据。因此，这里仅讨论相关通用技术概念，不认定该名称对应某个已核实的借贷或奖励产品。
核对前提假设，应先把说法写成能够验证的陈述。例如，“存在借贷合约”“奖励由某项规则决定”“抵押品估值使用某个数据源”是不同命题，不能凭一份技术介绍一起确认。
智能合约能执行规则，不代表规则可靠
以太坊的智能合约介绍说明，合约是在链上特定地址保存代码与状态的程序，用户通过交易调用其功能，合约之间也可以相互调用。该原理解释了规则如何自动执行，并不证明某项业务安排安全或合理。
如果一个说法以“由智能合约执行”为依据，需要分别核对：对应的是哪个合约、相关功能是否存在、执行条件是什么，以及是否依赖其他合约。仅看到合约地址，无法确认它与所声称的借贷或奖励机制一致。
预言机提供数据，不替项目证明机制成立
Chainlink Data Feeds 的介绍说明，数据馈送可将聚合后的价格等信息发布到链上，供应用读取，其中价格数据可用于抵押品估值。这说明数据服务的用途，不等于某个具体项目已经接入。
“能够接入”“已经接入”和“在相关规则中实际使用”应分别核对。若项目声称依赖价格馈送，需要有对应网络、馈送标识以及实际使用关系的证据；还应区分数据更新时间与页面展示时间，不能把能读取某个数值等同于该数值必然适用。
把每项假设对应到明确证据
可以建立简单的核对记录：原始说法、适用对象、支持证据、尚未确认的问题。说明文档用于了解声明的规则，具体合约及其状态用于核对实现情况；两者不一致时，应保留差异，而不是自行补足解释。
当前两项技术来源不能确认 lambda 的借款条件、计息方式、奖励来源、领取限制或清算安排。这些内容应标为未核实，不能从“使用区块链”或“存在价格服务”推导出来。
常见问题：两个来源是否足够
两个独立来源可以分别支持智能合约和预言机的基础解释，但来源数量不能替代相关性。介绍底层技术的资料，即使可靠，也不是具体项目业务规则的证明。
同样，自动执行不等于没有风险，数据上链也不等于奖励可以兑现。核对的合格结果可以是“证据不足”：明确哪些原理成立、哪些项目事实仍待确认，比把假设写成结论更准确。