没有中央服务器大家如何记成同一本账？

传统银行的账本有一个天然中心：银行数据库说你有多少钱，它就是业务上的标准答案。 分布式账本取消了这台唯一权威机器，却仍要让陌生参与者能够回答： 谁提交了什么、先后顺序如何、现在的有效状态是什么？

因此，分布式账本不能只是一份静态表格。它更接近一套由多台计算机共同维护的 复制状态机：节点保存协议数据，接收输入，按同一规则验证与执行， 再用共识决定哪一段有序历史是规范历史。

在以太坊里，“账本”也是一个不够完整但很有用的入门比喻。它不仅记录 ETH 转账， 还维护账户、合约代码与合约存储。官方 EVM 文档把它描述为一台状态转换机器： 给定旧状态和一组有效交易，规则会产生新状态。^[1]

“分布式”描述部署方式，“账本”描述共同事实

分布式意味着数据与计算存在于多台相互连接的机器上；它本身并不自动带来去中心化。 一家公司也可以在全球运行一百台数据库服务器，却仍由同一个管理员控制。 区块链还要进一步处理开放参与、互不信任、恶意行为和谁能改变规则。

所以更准确的定义是：分布式账本是一套由多个独立参与者持有或验证副本， 并用共同协议决定有效更新与规范历史的记录系统。 以太坊则把这套记录系统扩展成可编程的共享状态机。

假设 Alice 几乎同时发出两条相互冲突的请求：一条把同一笔钱给 Bob，另一条给 Carol。 位于纽约的节点可能先看见第一条，位于新加坡的节点可能先看见第二条。 两台机器都没有坏，它们只是处在不同的网络视角。

一致不等于“所有副本每毫秒完全相同”

分布式系统通常区分安全性与活性。 安全性关心“系统是否避免确认互相冲突的历史”；活性关心“在网络条件恢复正常后，系统是否还能继续产生并确认新记录”。 一个设计可能为了避免错误确认而暂时停止最终确认，也可能为了快速前进而接受更弱的确定性。

以太坊允许节点在链头附近短暂看见不同候选区块，再用分叉选择规则收敛； 对已经达到最终性的检查点，则给出更强的不可逆保证。 因此“看到交易”“进入区块”“位于当前链头”“已经最终确认”是四种不同状态。

想象 Alice 的钱包提交一笔转账。任何节点都可以听见这条请求， 但没有节点因为“钱包说了”就直接改余额。每个接收节点先检查格式和签名等基本条件； 交易被纳入候选区块后，其他全验证节点还会重新执行整个区块，验证新状态是否正确。

共识不是对计算结果“少数服从多数”

这是极重要的边界。若一个区块包含伪造签名或错误状态转换，你的节点可以直接按规则判定无效； 即使很多节点声称它有效，也不应接受。投票权重用于在多个有效候选之间决定规范顺序， 不是用来把 2 + 2 投票成 5。

这就是“不要信任，亲自验证”的工程含义：节点信任公开规范与自己执行的验证， 而不是信任某个 API、浏览器页面、区块提议者或邻居节点的名声。 运行全节点的价值之一，正是能够自行验证交易和区块。 ^[2]

The Merge 之后，以太坊把“交易与状态计算”和“权益证明共识”分成两个紧密配合的客户端。 这种分层不是两条链，而是同一个以太坊节点内部的职责划分。官方节点文档也明确： 节点需要执行客户端和共识客户端。^[2]

提议者给出候选，其他节点仍要亲自复算

每个 slot 会选出一个验证者作为区块提议者。它可以让共识客户端向本地执行客户端请求候选执行载荷， 也可以通过 Builder API 获取外部 builder 构造的载荷，再把所选载荷包装进 Beacon 区块。 其他全验证节点收到区块后，会把 execution payload 交给自己的执行客户端重新执行； 通过后，节点才把它视为有效候选。其中只有运行验证者客户端并承担当期职责的验证者才会发布 attestation。

因此验证者不是传统意义上的“中心记账员”。它有机会提出下一页写什么，却不能单方面改写校验规则。 如果它写入一笔无效交易或错误状态根，遵循规范的节点会拒绝该区块。

Gasper：链头选择与检查点最终性的组合

今天以太坊的共识机制通常称为 Gasper： 它组合了用于链头选择的 LMD-GHOST 与用于检查点最终性的 Casper FFG。 当链头附近有多个有效分支时，分叉选择看验证者最新证明所形成的质押权重； 当 source → target 检查点链接获得至少三分之二活跃验证者总有效余额的证明权重时， target 可被 justified；后续检查点继续满足 Casper FFG 的链接条件后，较早的 justified checkpoint 才被 finalized。 ^[4]

“三分之二”是有效余额权重，不是节点数量

新手常把“66% 同意”理解成互联网中 66% 的电脑点击赞成。正式分母是活跃验证者的 总有效余额。非验证者全节点不产生质押投票，但仍会独立验证区块； 验证者是在完整节点能力之上增加提议和证明职责的角色，验证者所在节点同样要验证区块。

若要制造冲突的最终化历史，至少约三分之一活跃有效余额必须做出可被罚没的冲突证明， 相关验证者将面临 slashing；实际回退客户端已经 finalized 的历史还可能需要社会层协调。 这就是“加密经济最终性”：它不是说物理世界里绝对不可能发生任何故障， 而是让违反最终性的行为可证明、可归责且代价极高。 ^[6]

为什么客户端可以由不同团队、不同语言实现？

以太坊有多个执行客户端与共识客户端实现。它们的内部数据库结构、性能策略和编程语言可以不同， 但都必须遵循同一协议规范。多实现降低整个网络依赖单一代码库的风险； 同时也提出更严格要求：规范必须精确，不同实现必须在共识边界上得出相同结果。

如果某个客户端因 bug 产生错误结果，其他独立实现不会因为它“是知名软件”就自动接受。 客户端多样性因此既是工程生态，也是去除单一故障点的一部分。

设 Alice 当前有 3 ETH，账户 nonce 是 7。她签出两笔都使用 nonce 7 的冲突交易： X 想给 Bob 2 ETH，Y 想给 Carol 2 ETH。为了突出顺序，本例暂时省略交易费。

两笔签名都可能是真实的，单独看也都可能满足余额条件；但一个账户的同一个 nonce 只能在规范历史中使用一次。 哪笔被纳入最终成为规范历史的有效区块，会把 Alice 的 nonce 从 7 更新为 8； 另一笔随后因 nonce 过旧而不能再被纳入有效区块。若把两笔强行放入同一执行序列，包含第二笔的区块会无效。 所以网络必须对有效交易集合与确定顺序同时形成一致。

区块提供“批次”，链提供“批次的顺序”

区块把一组交易与元数据组织为可验证单元；每个区块又指向父区块，由此形成有序历史。 下一课会拆开区块头、时间戳、交易数据与哈希。本课先抓住最重要的一点： 区块不是为了把文件压缩成包，而是为了让分布式网络对一批状态转换的边界和顺序形成共同参照。

在链头附近，同一提议者双重提议，或不同 slot 的提议者因网络延迟建立在不同父块上，都可能形成短暂分叉。节点用分叉选择决定当前 head， 并随着更多证明和最终性逐步提高确定性。应用因此会区分“已广播”“已包含”“若干确认”“已最终确认”。

一家公司的分布式数据库通常已经知道服务器身份，并有管理员、访问控制和法律责任链。 公共区块链面对的是开放环境：任何人可提交交易，节点和验证者来自不同主体， 系统不能把某位管理员的话当成最终答案。

三个词也不要混用：分布式数据库强调数据跨多台机器存放与协作； 分布式账本强调多个参与方依协议共同维护可验证记录； 区块链则是把记录按区块组织并链式关联的一类分布式账本结构。 不是所有分布式数据库都去中心化，也不是所有分布式账本都必须采用区块链；以太坊三者特征兼具，但其信任模型属于开放公共区块链。

为什么区块链看起来“重复又昂贵”？

因为重复正是安全模型的一部分。多个节点传播同一数据、重新执行同一交易、保存可验证承诺， 会比一台受信服务器直接写数据库慢，也消耗更多资源。以太坊优化的不是单机效率， 而是在没有共同管理员的环境中，任何参与者仍能验证结果。

这也解释了为什么去中心化、安全性与吞吐量之间存在长期取舍，以及为什么以太坊需要 Layer 2。 后续扩容章节会讨论如何把大量执行移到链下或二层，同时把结算与数据可用性安全锚定到以太坊。

不同节点不一定保存同样多的数据

全节点会验证区块与交易，但为了节省磁盘，常只保留较新的完整状态数据； 归档节点保留可查询的历史状态；轻客户端使用更少数据验证关键承诺。 所以“每个节点都永久保存从创世以来的所有细节”并不准确。 真正重要的是不同类型节点依据协议获得与其安全模型相匹配的可验证结论。 ^[2]

共识也不能替你判断“值得不值得”

网络可以一致记录某合约执行成功，却不能说明这个合约设计合理、代币有价值、借贷风险可控， 或你签名时真正理解了授权。分布式账本保证的是协议范围内的可验证一致， 不是投资质量、法律效力或现实世界真相。