本章从比特币白皮书出发,完整拆解了 UTXO 模型、脚本系统、工作量证明、难度调整,以及 BIP 与隔离见证的协议工程智慧。至此,我们已经理解了一个真正去中心化电子现金系统的全部核心机制。
三个关键认知
1. UTXO = 现金,不是账户余额
比特币账本上不存在"张三有 5 BTC"这样的记录,只有一个个未花费的交易输出(UTXO)。你的钱包余额仅仅是所有属于你的 UTXO 面值的总和。
- 交易本身无状态:验证只检查「输入总额 ≥ 输出总额」
- 多输入多输出天然实现找零
- 理解这一点,是理解后续脚本系统、交易构造和隐私模型的根基
2. PoW 拍卖的是不可逆的时间成本
中本聪并没有发明一种"数学上不可攻破"的系统,而是通过 PoW + 最长链 + 激励三位一体设计,让"重写历史"在经济上不可持续。
- 每一次哈希运算都在为区块提供不可伪造的成本证明
- 攻击者追及概率随确认数指数衰减(q=0.3 时 6 确认降到 13%)
- DAA 是协议自动调压阀,将出块时间拉回 10 分钟
- 比特币的安全是经济安全,不是绝对密码学
3. 脚本演进体现协议工程的智慧
从 P2PK 到 Taproot,每一次升级都在不改变底层数据结构的前提下,用软分叉实现了更强的隐私、更低的费用、更好的扩展性。
- UTXO 的可编程性来自锁定/解锁脚本的对偶结构
- SegWit 用 txid/wtxid 双 ID 修复可锻性,Weight 重新定义区块容量
- Taproot 让复杂合约在链上看起来和简单付款一样
核心公式与代码索引
| 概念 | 公式 / 实现 | 文件 |
|---|---|---|
| 区块奖励减半 | 04.01 | |
| 攻击者追及概率 | 04.01 (TS) | |
| 手续费 | 04.02 | |
| 难度目标 | 04.03 | |
| 难度定义 | 04.03 | |
| PoW 挖矿循环 | TS 从零实现(8/16 位前导零演示) | 04.03 |
| DAA 调整 | (限 [0.25,4]) | 04.04 (TS) |
| SegWit Weight | 04.05 (TS) |
本章代码密度
| 代码实现 | 语言 | 状态 |
|---|---|---|
| 攻击者追及概率模拟 | TypeScript | ✅ 已运行验证 |
| 栈式脚本虚拟机(P2PKH) | TypeScript | ✅ 已运行验证 |
| Base58Check 地址编码 | TypeScript | ✅ 已运行验证 |
| PoW 挖矿演示 | TypeScript | ✅ 已运行验证 |
| DAA 回归模拟 | TypeScript | ✅ 已运行验证 |
| SegWit Weight 计算 | TypeScript | ✅ 已运行验证 |
下一章衔接桥
比特币用 UTXO + PoW 构建了第一个去中心化现金系统,但它只回答了"如何安全转移价值"这一个问题。下一章我们将视野拉开:共识机制是整个区块链理论的核心战场。
- 比特币的 PoW 只是共识家族的一员——还有 PoS、DPoS、PBFT、Tendermint……
从第 5 章开始,我们将:
- 形式化理解拜占庭将军问题与 FLP 不可能原理
- 系统对比 PoW / PoS / PBFT 的安全性假设与性能权衡
- 拆解分叉博弈、VRF 随机性、最终性等核心概念
这将帮助你建立"没有最好的共识,只有最适合场景的权衡"的完整认知框架。
评论
0评论加载中…