本系列包含 48 篇主线和 8 篇选修,围绕同一组合成订单区分签名授权、交易执行、历史终局、数据可用性与业务对账。首次阅读从 00 开始;Bitcoin 总体架构见 13,证明机制分类见 39,各公链的演进与生态见 40–46。
文章目前是机制草稿。可复现的基线与有限模型位于仓库 examples/blockchain/;Bitcoin Core、Ethereum 私网、合约与真实证明等实验仍按各篇标记为 NOT_RUN。有限模型通过不能代替真实网络或完整课程验收。
基线与密码学
- 区块链(00):从中心化订单基线开始
- 区块链(01):两份签名都正确,账本仍会冲突
- 区块链(02):哈希之前,先说清究竟签了哪些字节
- 区块链(03):签名证明授权了哪条消息
- 区块链(04):Merkle 包含证明需要可信根
- 区块链(05):同一笔支付在 UTXO 与账户账本里的两种状态迁移
Bitcoin 架构
- 区块链(06):Bitcoin 原始交易如何花费、找零和付费
- 区块链(07):Script、时间锁和见证不是一件事
- 区块链(08):钱包、描述符与 PSBT 的签名边界
- 区块链(09):为何最长链未必有最多累计工作
- 区块链(10):交易池与 P2P 为什么不能当共识账本
- 区块链(11):重组时撤销的不是一个确认数字
- 区块链(12):全节点、裁剪节点与轻客户端查的不是同一件事
- 区块链(13):沿交易和候选块追踪 Bitcoin 总体架构
共识与 Ethereum 执行
- 区块链(14):PBFT 的法定集合为何需要换主证明
- 区块链(15):PoS 权重、普通惩罚与可罚没行为
- 区块链(16):Gasper 中链头与终局是两次不同判断
- 区块链(17):执行、共识客户端与验证者怎样拼成一个节点
- 区块链(18):EVM 执行后哪些状态进入状态根
- 区块链(19):revert 以后为什么仍要核算 Gas 与 nonce
合约、链下恢复与扩容
- 区块链(20):教学托管合约先写清谁能推动状态
- 区块链(21):ABI、数据位置与事件各承诺什么
- 区块链(22):签名域正确仍会发生业务重放
- 区块链(23):外部调用前后的资产账本怎样保持一致
- 区块链(24):fuzz 和 invariant 要围住哪笔资产
- 区块链(25):把 ERC-20 接进托管后,“收到 70”仍要核算
- 区块链(26):代理升级把信任转移给了谁
- 区块链(27):响应丢失时不能凭交易哈希重做订单
- 区块链(28):索引器怎样在断线与重组后重算订单
- 区块链(29):预言机能提交数据,不能把现实交付变成定理
- 区块链(30):同一组有效交易也能产生不同经济结果
- 区块链(31):通道、侧链与 rollup 把哪些责任移出主链
- 区块链(32):Optimistic rollup 的挑战窗口给谁留时间
- 区块链(33):状态可验证、数据可取得与跨域可领取各有门槛
- 区块链(34):Validity rollup 的证明到底验证哪条命题
- 区块链(35):Fabric 的背书、排序与有效提交是三个阶段
- 区块链(36):节点备份、RPC 与终局停滞不能混成“服务异常”
- 区块链(37):比较吞吐之前先定义哪一种完成
- 区块链(38):从合成订单到最终对账需要哪些证据
证明分类、公链演进与生态
- 区块链(39):按证明对象分类,而非排列“新一代共识”
- 区块链(40):Bitcoin 的软分叉、钱包协作与链外支付分层
- 区块链(41):Ethereum 从 PoW/EVM 到分离执行、权益共识与 blob
- 区块链(42):Solana 的 PoH、账户并行与共识升级各做什么
- 区块链(43):Cosmos 与 Avalanche 是两条不同的应用链路线
- 区块链(44):Sui 对象与 Aptos 账户不是一个 Move 数据模型
- 区块链(45):钱包、RPC、预言机、扩容与应用的依赖地图
- 区块链(46):三条订单协作路径各把信任交给谁
- 区块链(47):选数据库、签名日志、许可链还是公链





