安全需要分层理解
讨论区块链技术安不安全，首先要明确保护的对象：历史记录能否被改写、同一笔资金能否重复使用、敏感功能能否被越权调用。这些问题分别涉及账本、交易和应用层，不能用一个“安全”标签全部概括。
比特币开发者指南介绍了哈希连接、交易验证和工作量证明；以太坊智能合约安全文档讨论了访问控制、测试与独立审查。两者说明的是不同层面的防护，具体机制不能直接套用到所有区块链。
哈希与默克尔树：让修改可以被识别
哈希把数据映射为摘要，默克尔树则把多笔交易的摘要逐层汇总到一个根值。比特币区块头包含这个根值以及前一区块头的哈希，使交易内容与前后区块建立关联。
这些关联让内容变化能够通过校验被发现，但哈希本身并不阻止数据被修改。验证一笔交易被某个区块收录，也不等于已经独立验证了整个区块的所有规则。
共识与双重支付：规则和成本共同发挥作用
比特币全节点独立验证区块，交易通常需要使用尚未花费的交易输出，即UTXO。同一输出不能在有效链上重复花费，这对应防范双重支付的问题。
工作量证明让构造区块需要计算投入；节点在符合规则的候选链中遵循累计工作量最大的链。攻击者试图改写历史，需要与持续延伸的链竞争。因此，抗篡改能力依赖共识规则、算力竞争等条件，并非数学意义上的绝对不可修改。
智能合约：执行正确仍需逻辑正确
共识可以让节点按一致规则执行代码，但代码可能把权限赋错，或遗漏必要条件。智能合约安全因此还涉及访问控制、状态约束和管理员密钥。多签能增加敏感操作所需的参与方，但其效果依赖签名权限的实际配置。
单元测试、模糊测试、静态分析与审计能够从不同角度发现缺陷。形式化验证针对明确规格及模型证明性质，其结论也受这些前提限制，不能理解为覆盖一切现实风险。
常见问题与适用条件
确认后是否永远不会改变？比特币可能出现分叉与链重组，随着后续区块增加，改写相关历史通常更困难，但确认不代表绝对不可逆。
通过审计是否就安全？审计是额外审查，不能保证发现所有漏洞。判断安全性时，应区分协议提供的保证、应用代码实现的约束，以及权限管理所依赖的条件。