账本与交易的技术实现

比特币使用 UTXO（Unspent Transaction Output，未花费交易输出）模型：链上并不存在「余额」这个字段，你的余额是「一堆属于你的、尚未被花掉的输出」的总和；一笔交易的输入必须是此前某笔交易的输出，且必须整笔花掉，剩余部分作为找零（Change）回到自己的新地址。以太坊使用账户模型（Account Model）：每个地址像银行账户一样拥有 balance、nonce、code、storage 等字段，交易直接从一个账户扣款、给另一个账户加钱。

一笔链上交易要经过八个阶段：构造（钱包组装收款地址、金额与 Gas 参数）→ 签名（用私钥对交易做数字签名，私钥始终留在本地）→ 广播（把签名后的原始交易发送给至少一个节点）→ 进入内存池（Mempool）（节点本地维护的待打包交易池，按手续费高低排序）→ 被打包（出块者挑选交易组成候选区块）→ 执行（节点按顺序执行交易、修改世界状态）→ 上链（区块被广播并被网络接受为主链）→ 获得确认（后续区块不断叠加，最终性逐步提高）。理解这条链路后，你就能定位卡顿到底发生在哪一环。

以太坊中每个账户都有一个从 0 开始单调递增的计数器 Nonce，它记录「这个账户已经发出了多少笔交易」。节点执行交易时要求交易中的 nonce 字段恰好等于该账户当前的 Nonce，执行成功后加一。

这带来两个直接后果：其一，同一账户的多笔交易必须按 Nonce 严格顺序执行，前面一笔卡住时，后面即使手续费再高也无法被处理；其二，可以用 Nonce 做替换——把同一 Nonce、更高 Gas 的版本重新签名广播，网络最终只会确认其中一笔。

所谓的「加速（Speed Up）」与「取消（Cancel，即向自己转 0 并支付高额手续费）」都是这一机制的应用。

Gas 是链上计算的计量单位。Gas Limit 是你愿意为这笔交易支付的最大 Gas 数量，Gas Used 是实际消耗量，未用完的部分会退还，但交易失败时已消耗的 Gas 不予退还。

在 2021 年伦敦升级（EIP-1559）之前，费用模型是单一出价：总费用 = Gas Used × Gas Price。升级后费用被拆为两部分：Base Fee（基础费，由网络依据拥堵程度自动调节并被销毁）+ Priority Fee（优先费，即给验证者的小费），即 总费用 = Gas Used × (Base Fee + Priority Fee)；同时为钱包估算引入上限保护，Max Fee 与 Max Priority Fee 共同约束实际成交价 Effective Gas Price。

世界状态（World State）是以太坊全部账户当前状态的快照：每个地址的余额、Nonce、合约代码与合约存储内容。这些数据被组织成一棵 Merkle Patricia Trie（默克尔帕特里夏树），树的根哈希称作状态根（State Root），会被写入每个区块头。

于是区块只需给出根哈希，任何轻节点都能借助默克尔证明（Merkle Proof）验证「某个账户此刻余额是多少」，而无需下载全量状态。形式化地，状态转换可写作 σ′ = Υ(σ, T)，意思是「旧状态 σ 与交易 T 经过状态转换函数 Υ 得到新状态 σ′」，这是所有 EVM 链执行语义的骨架。

以太坊虚拟机（Ethereum Virtual Machine，EVM）是一个基于栈（Stack）的确定性虚拟机：它不直接执行 Solidity 源码，而是执行编译器产出的字节码（Bytecode），每个字节对应一个操作码（Opcode），例如 PUSH1、SLOAD、SSTORE、CALL。

EVM 提供三个关键数据位置，成本差异巨大：Storage（持久化上链的存储，写入最贵，新写入一个槽位约 20000 Gas）、Memory（单次调用内有效的临时内存，按字节线性计费）、Calldata（外部传入的调用数据，只读，成本最低）。

此外还有操作数栈（最多 1024 层）与代码区（Code）。

节点保存账本有三种常见模式：全量同步（Full Sync）从创世块开始逐块执行全部交易，能完整重建状态，但耗时以天计；快照同步（Snap Sync）先下载一份经过验证的状态快照，再补齐最近的区块与状态，速度大幅提升，是以太坊当前主流的同步方式；轻客户端（Light Client）只下载区块头，依赖默克尔证明按需验证账户与交易，适合手机等资源受限场景。另一条重要线索是数据可用性（Data Availability，DA）：把交易数据发布到链上、让所有人都能下载并校验，是「任何人可独立验证」的前提，Rollup 正是通过把压缩后的数据发布到 L1 来继承这份保障。

交易回执（Transaction Receipt）是节点在交易执行完毕后生成的凭证，关键字段包括：Status（1 表示成功，0 表示失败并回滚，但 Gas 照扣）、Logs（事件日志，合约通过 emit 产生的结构化记录，其中 Topic 与 Data 是 DApp 前端查询链上数据的来源）、Gas Used（这笔交易实际消耗的 Gas 量）、Effective Gas Price（实际成交单价，EIP-1559 下等于 Base Fee + Priority Fee）、Cumulative Gas Used（该交易在所属区块内的累计消耗量）。回执是「交易产生了什么后果」的权威记录，比交易本体多出执行结果信息。

打开 etherscan.io，搜索任意一笔 ERC-20 转账（或从自己钱包的交易记录中复制一个交易哈希），逐项把本章概念对上：Transaction Action 告诉你这是单纯转账还是合约调用；Nonce 对应「这是该账户发出的第几笔交易」；Input Data 点击 Decode Input Data 可看到被调用的函数名与参数，原生转账通常只显示 0x；Logs 中的 Transfer 事件记录了 from / to / value；Gas Limit、Gas Used by Transaction、Base Fee、Max Priority Fee、Max Fee、Effective Gas Price 共同还原了真实手续费结构。逐项看完，本章绝大多数抽象概念就落地了。