先把研究主张变成可核验的问题
“实现了某种币”可能指账本能够记录资产、软件能够验证交易，也可能指系统具备某项安全性质。这些主张需要不同证据。核验时先明确研究对象、网络环境、软件版本和待验证规则，再判断展示结果是否真正回答了问题。
例如，一笔交易被收录，可以支持它出现在特定区块中的判断；要证明重复支出会被拒绝，还需要验证相关规则及拒绝行为。单次成功运行不能覆盖所有异常条件。
两个来源分别支持哪些基础事实
Bitcoin Developer Guides 的 Block Chain 页面描述了比特币的区块链接、交易默克尔树、未花费交易输出和工作量证明机制。这些内容支持核验交易包含关系及支出规则的基本思路，适用范围是比特币相关机制。
ethereum.org 的 Nodes and clients 页面说明，以太坊节点由执行客户端与共识客户端协作，分别处理交易执行、状态与共识；不同客户端实现遵循共同规范。它支持从执行与共识两方面理解实现验证。
这两个来源讨论不同系统，不能视为对某个具体项目的双重背书。文档说明机制如何工作，具体软件是否正确落实机制，仍需要实现和测试证据。
让规则、实现与结果能够对应
研究证据应形成可追溯的对应关系：主张依据哪条规则，由哪个版本的实现处理，使用什么输入，得到什么输出。仅有代码链接难以证明实际运行行为，仅有截图也难以确认其数据来源和测试条件。
可复核材料应保留网络标识、版本信息、原始数据和预期结果。涉及区块时，应记录区块哈希；比特币分叉中，同一高度可能出现不同区块，因此高度不足以单独定位证据。
测试既要覆盖符合规则的输入，也要覆盖应被拒绝的输入。核验者还应区分预期结果与实际结果，说明差异和未覆盖的条件，避免把有限测试扩大为全面正确的结论。
适用条件与常见问题
默克尔证明是否足以证明交易完全有效？它用于核对交易与某个区块承诺的包含关系；交易是否合法、该区块是否属于认可的链，还涉及其他验证条件。
多个查询页面显示相同结果，是否等于独立验证？还要检查它们是否依赖同一数据服务。不同界面的重复展示不能自动增加证据的独立性。
节点能够返回数据，是否证明历史核验完整？需要说明同步起点、信任假设和历史数据保留能力。历史状态研究尤其要确认目标数据是否可取得，不能仅凭“全节点”名称判断。
安全机制存在，是否意味着绝对不可修改？比特币资料讨论的是区块链接与工作量证明增加改写历史的成本。核验报告应写明安全假设与证据边界，不把机制描述改写成无条件保证。