底层审计主要检查什么
区块链底层审计的应用边界，可以从审查对象、成立条件和结论范围三个方面理解。它主要关注节点依据什么规则接受交易与区块，以及这些规则的实现能否维护一致的账本状态。具体覆盖哪些模块，需要由审查范围明确，不能仅凭“底层审计”这一名称判断。
以太坊共识机制文档说明，共识包含协议、激励和分叉选择等组成部分；比特币开发指南则说明，全节点独立验证区块，交易受到未花费输出等规则约束。这些机制为理解底层审计的对象提供了依据。
协议规则与实现的边界
底层审查可以围绕交易校验、区块关联、状态更新及分叉处理展开。例如，规则禁止重复使用同一笔未花费输出，审查就需要关注实现是否正确执行这一约束，以及异常输入是否可能绕过校验。
不同链的检查标准不能直接套用。比特币在有效候选链之间依据累计工作量选择链；以太坊权益证明机制涉及按质押权重计算的验证者投票。审计首先需要明确目标协议，再判断实现是否符合其规则。
审计结论有哪些适用条件
结论需要对应明确的代码版本、配置与覆盖模块。只审查交易验证模块，不能据此推断整个共识实现都已受到检查；协议升级或关键参数改变后，原结论也需要重新判断是否适用。
协议安全还依赖运行条件。代码审查能够分析规则如何处理分叉、参与者行为与异常情况，但无法保证未来网络始终满足相关假设。以太坊文档提到的链外社会协调，也说明共识安全存在无法单靠代码检查覆盖的因素。
不能从底层正确推导哪些结论
底层按照规则接受记录，并不能证明记录描述的链外事实真实。例如，一项业务声明被写入区块，只能说明它通过了相关链上规则，不能据此证明现实中的交付已经完成。
同样，底层审计结论不能自动延伸到上层业务逻辑。应用如何解释记录、设置权限或依赖外部数据，需要按实际覆盖范围单独判断。
常见问题：上链与审计是否意味着绝对安全
记录上链后是否绝不改变？哈希关联使历史修改能够被发现，共识机制进一步约束替换历史的条件，但分叉及链选择仍影响记录的归属，不能把“上链”等同于无条件不可变。
审计未发现问题是否意味着没有漏洞？这只表示在约定范围和检查条件下未识别出问题。理解报告时，应同时查看审查对象、排除项与安全假设，而不能把局部检查结果扩大为整个系统永久安全的证明。