2. 金融账本基础

在构建任何金融系统之前，必须先理解账本的本质。账本不是一张记录金额的表格，而是一套约束资金流动、保证数据自洽的规则体系。本章从复式记账原理出发，逐步过渡到账户模型、借贷平衡、流水与余额的关系，并对比传统账本与不可变账本的核心差异，为后续实现不可变流水与余额派生打下基础。

一、复式记账原理：每一笔资金都有来路与去向

复式记账（Double-Entry Bookkeeping）的核心思想是：任何一笔资金变动，至少涉及两个账户，且金额相等、方向相反。它把“钱从哪来、到哪去”同时记录下来，从而让账本具备自我校验能力。

在复式记账中，账户被划分为借方（Debit）与贷方（Credit）。对于资产类账户，借方表示增加，贷方表示减少；对于负债与权益类账户，方向相反。无论交易如何复杂，最终必须满足：

借方总额 = 贷方总额
Σ Debit = Σ Credit

这条恒等式是账本正确性的第一道防线。只要借贷不平衡，系统就应当拒绝该笔交易，而不是“先记下来再说”。

二、账户模型：从科目到可编程账户

账户是账本的最小组织单元。传统会计中，账户对应会计科目，如“银行存款”“应收账款”“用户余额”。在金融系统中，账户模型通常需要更细粒度地表达：

• 账户标识：唯一 ID，用于定位账户。
• 账户类型：资产、负债、权益、收入、费用，决定借贷方向语义。
• 币种：同一账户只处理单一币种，避免汇率混算。
• 状态：正常、冻结、关闭，影响是否允许记账。
• 余额快照：可选缓存，用于加速查询，但不可作为唯一真相。

一个常见的账户结构可以抽象为：

Account {
  account_id:   "ACC-1001",
  type:         "LIABILITY",   // 用户余额属于平台负债
  currency:     "CNY",
  status:       "ACTIVE",
  cached_balance: 0
}

三、流水与余额的关系：余额是流水的派生结果

流水（Ledger Entry）记录每一次账户变动，余额（Balance）则是这些变动累积的结果。二者关系可以概括为：

balance(account) = Σ amount(entries where account = account)

这意味着，余额不是独立事实，而是流水的函数。只要流水完整且不可篡改，余额随时可以重新计算。传统系统常把余额直接更新在账户表上，流水只作为日志；而现代金融账本更倾向于“流水为准、余额为派生”，从而获得可审计、可重放、可对账的能力。

下面这张图展示了复式记账中一笔转账如何在两个账户之间形成借贷对称的流水，并最终派生出各自余额：

四、传统账本与不可变账本的差异

传统账本通常以“当前状态”为中心：账户表保存余额，流水表保存日志。更新余额时直接修改账户行，流水仅用于事后查询。这种模式实现简单，但存在明显问题：余额可被覆盖、历史难以追溯、对账依赖人工、并发更新容易产生竞态。

不可变账本则以“事件”为中心：流水一旦写入不可修改、不可删除，余额通过重放流水派生。任何修正都通过追加“冲正流水”完成，而不是修改历史。二者的核心差异如下表：

五、常见误区与复盘

复盘一个典型场景：用户充值 100 元，系统先更新余额为 100，再写流水。若写流水失败，余额已变，账本失衡。正确做法是先写流水、再派生余额，或在一个事务内同时完成，并保证流水不可变。这样即使余额缓存丢失，也能从流水完整恢复。