三个关键认知
- 以太坊是通用状态机，不只是支付网络。从比特币的 UTXO/Script 到以太坊的账户/EVM，核心范式从"资产转移"跃迁为"状态转换"。账户模型将货币、身份、代码和存储统一到单个键值状态空间 σ 中，使得任意程序逻辑可在链上部署与执行。
- Merkle Patricia Trie 是世界状态的密码学快照。状态树的根哈希（stateRoot）将数亿个账户、数万亿个存储槽压缩为 32 字节。轻客户端只需保存区块头，即可通过 O(logN) 的 Merkle 路径验证任何账户状态——这是账户模型可行性的密码学基石。
- EIP-1559 是区块链经济设计史上的重要实验。它将交易定价从首价拍卖改造为 protocol-enforced 双因素模型（BaseFee + PriorityFee），并引入销毁机制将手续费的使用价值回流至 ETH 持有者。BaseFee 的动态调节算法（12.5% / block 调整）在无需人工干预的情况下实现了供需平衡。
核心公式与代码索引
| 公式/原语 | 文件 | 说明 |
|---|
| 状态转换 Υ(σ,T) | 07.02 | 黄皮书核心函数 |
| Nonce 条件: Tn=σ[S(T)].nonce | 07.02 | 防重放机制 |
| 余额条件: σ[S(T)].balance≥Tn⋅p+v | 07.02 | 交易有效性 |
| MPT 四类节点结构 | 07.03 | 状态树的工程基础 |
| SSTORE 成本不等式 | 07.03 | Gas 经济学 |
| EVM 栈式求值与溢出回绕 | 07.04 | 极简 VM 模拟 |
| CALL/DELEGATECALL/STATICCALL | 07.04 | 跨合约调用语义 |
| 有效 Gas 价格公式 | 07.05 | EIP-1559 核心 |
| BaseFee 自动调节: ×(1±12.5%) | 07.05 | 拥堵/空闲响应 |
| 销毁量模型 | 07.05 | 乌克兰货币叙事 |
| 预编译地址映射 0x01-0x0A | 07.06 | 原生密码学加速 |
| ecPairing 与 ZK-Rollup 关系 | 07.06 | L1 验证 L2 证明 |
| KZG 多项式承诺 | 07.06 | EIP-4844 数据分片前瞻 |
| 交易生命周期六阶段 | 07.07 | 从签名到最终化 |
| 确认状态阶梯 | 07.07 | proposed→justified→finalized |
核心 Mermaid 图索引
- 比特币 UTXO vs 以太坊账户模型（7.1）
- 世界状态链式转换图（7.1）
- EOA 与合约账户对比图（7.2）
- Kademlia/MPT 路径导航图（7.3）
- 状态树增量更新复用图（7.3）
- EVM 五组件架构图（7.4）
- 跨合约调用序列图（7.4）
- EIP-1559 动态调节流程图（7.5）
- 预编译路由 vs 字节码执行图（7.6）
- ZK-Rollup L1 验证流程图（7.6）
- 交易执行/回滚流程图（7.7）
- PoS 最终性阶梯图（7.7）
第7章架构与协议对比
| 设计选择 | 比特币 | 以太坊 | 说明 |
|---|
| 账户模型 | UTXO | 账户+Nonce | 状态机 vs 资产流 |
| 代码执行 | Script（非图灵完备） | EVM（图灵完备，Gas 停机） | 通用性 vs 极简性 |
| 状态存储 | 无（短期脚本执行） | MPT 持久化全局状态 | 可编程性 vs 膨胀性 |
| 费用市场 | 首价拍卖 | EIP-1559 双因素 | 可预测性 vs 简洁性 |
| 密码学加速 | 无 | 预编译合约 0x01-0x0A | ZK 与跨链基础 |
| 最终性确认 | 概率性（6 区块惯例） | 确定性（epochs） | PoW 算力 vs 质押经济 |
第7章算法与数据结构
| 结构/算法 | 用途 | 复杂度 | 文件 |
|---|
| Patricia Merkle Trie | 全局状态存储与验证 | O(k) 操作, O(logN) 证明 | 07.03 |
| RLP 编码 | 交易/区块/节点序列化 | O(n) | 07.07 |
| ECDSA (secp256k1) | 交易签名与地址推导 | O(1)（预编译加速） | 07.07 |
| EVM 栈机 | 合约字节码解释执行 | O(∣code∣×Gas−1) | 07.04 |
| EIP-1559 调节算法 | 基础费用自动平衡 | O(1)/ 区块 | 07.05 |
| LMD-GHOST + Casper FFG | 选择最重重链 + 最终化 | 投票开销 O(N), 确定性 O(1) | 07.07 |
下一章衔接桥
第7章让以太坊的"世界计算机"形象从抽象愿景落地为具体可计算模型——EVM + MPT + Gas + 预编译。第8章将深入以太坊扩容方案：从侧链到状态通道，从 ZK-Rollup 到 Optimistic Rollup，以及以太坊 2.0 分片路线图的工程权衡。如果说第7章是"能计算"，第8章就是"算得快、算得起"。
本章总结完毕。前往 → 第8章 扩容方案：从 L2 到分片
评论
0评论加载中…