教程区块链区块链技术ch077.1 以太坊的愿景:从电子现金到可编程价值

本页目录

如果说比特币回答了"在没有中央银行的情况下,如何创造和转移不可篡改的货币",那么以太坊则问了一个更根本的问题:"在没有中央协调者的情况下,如何执行任意程序?" 这一愿景将区块链从'支付结算网络'转变为'通用状态机'——所谓的世界计算机。


7.1.1 从比特币脚本的有限性到图灵完备 EVM

比特币脚本(Script)是一种堆栈式非图灵完备的指令集。它没有循环、没有可行的复杂分支、没有状态存储。每个脚本只能表达"谁可以花费这些 UTXO"的有限条件(时间锁、多签、哈希原像等)。

Script:{OP}Stack ManipValid/Invalid\text{Script} : \{\text{OP}\} \rightarrow \text{Stack Manip} \rightarrow \text{Valid/Invalid}

这种设计是比特币安全极简哲学的体现——脚本越简单,攻击面越小。

以太坊的选择是反面:EVM(Ethereum Virtual Machine)是图灵完备的栈式虚拟机,支持循环、条件分支、子程序调用(通过合约间调用)和状态持久化。

graph LR
    subgraph 比特币
        A[UTXO A] --> B[锁定脚本<br>Script]
        B --> C[满足条件?]
        C -->|是| D[解锁并消费]
        style B fill:#e1f5e1
    end
    subgraph 以太坊
        E[账户+合约] --> F[EVM 执行<br>Turing-Complete]
        F --> G[状态更新]
        G --> H[存储持久化]
        F --> I[内部调用<br>DELEGATECALL/STATICCALL]
        style E fill:#e6f3ff
        style F fill:#ccebff
    end

这种扩展的代价与回报

维度比特币脚本以太坊 EVM
计算能力有限(Acyclic)图灵完备(需 Gas 停机)
状态存储永久持久化
代码大小520 字节上限24KB(EIP-3860)
循环/递归不支持受 Gas 上限约束支持
创新许可协议升级无许可部署合约

7.1.2 理念差异:资产 vs 状态

比特币的核心抽象是资产流:UTXO 是未花费的"硬币",交易是"硬币"的所有权转移。

UTXOset{0,1}N×Amount\text{UTXO}_{\text{set}} \in \{0, 1\}^{N} \times \text{Amount}

以太坊的核心抽象是状态机:一个巨大的全局状态 σ\sigma,每次交易 TT 通过状态转换函数 Υ\Upsilon 将其推向下一个状态。

σ=Υ(σ,T)\sigma' = \Upsilon(\sigma, T)

其中 σ\sigma 是一个键值映射:地址 \rightarrow 账户(包含余额、nonce、codeHash、storageRoot)。

graph TD
    A[世界状态 σ] -->|交易 T1| B[状态 σ'__1]
    B -->|交易 T2| C[状态 σ'__2]
    C -->|交易 T3| D[状态 σ'__3]
    style A fill:#e6f3ff
    style D fill:#e6f3ff

关键认知:比特币交易摧毁旧 UTXO 并创建新 UTXO(硬币被熔化并重铸);以太坊交易保持地址不变,只更新账户的内部字段(余额、nonce、storage 根)。


7.1.3 账户模型的两面性

优势

  1. 合约可编程性:部署一次,永久可调用,含有内部状态;
  2. 状态可查询性:任意账户的当前状态可由轻客户端通过 Merkle 验证;
  3. 用户体验:用户拥有固定地址,余额即地址属性(无"找零"混乱)。

劣势

  1. 状态膨胀:所有历史状态变更都累积在全局状态中,无法像 UTXO 那样"剪枝已花费";
  2. 隐私性损失:地址余额是全局可见的,UTXO 的碎片混币天然提供一定的隐私性;
  3. 复杂度:MPT 的维护成本、状态访问的 Gas 定价、状态快照同步的 engineering 挑战。

关键认知一:比特币与以太坊的根本分歧不是技术路线的优劣,而是抽象层次的选择。比特币选择在协议层保持极简,让应用层自行补全(如闪电网络、Ordinals);以太坊选择在协议层嵌入可编程状态机,让创新直接在链上发生。


前往 → 7.2 账户模型与状态转换函数

评论

0

评论加载中…

发表评论

0/2000