区块链原理：Layer 2 扩容方案

\displaystyle \text{TPS}_{\text{主链}} = \frac{\text{区块Gas上限}}{\text{平均每笔Gas} \times \text{出块时间}}$$ > 主链吞吐量＝每个区块的工作上限 ÷（单笔交易平均消耗 × 出块间隔）。分子固定、分母刚性，所以 TPS 被锁死。 #### 逐字解析 1. **区块 Gas 上限**：每个区块能容纳的计算和存储工作量上限，比如以太坊约 3000 万 Gas。它像总行一天的工作总时长。   $$ \text{区块Gas上限} = \text{3000万} $$2. **平均每笔 Gas**：一笔普通转账平均消耗约 21000 Gas。这像办一笔业务平均要 5 分钟。   $$ \text{平均每笔Gas} \approx \text{21000} $$3. **出块时间**：区块之间平均间隔约 12 秒。它像银行每天开门营业的总时长。   $$ \text{出块时间} \approx \text{12 秒} $$4. **整体计算**：分子除以分母的乘积，得到主链极限约 15 TPS。若把整座城的转账都塞进去，排队是必然的结果。   $$ \text{TPS}_{\text{主链}} \approx \frac{3000\text{万}}{21000 \times 12} \approx 15 $$ 这套数学约束，正是 Layer 2 存在的理由：改变分母没用，得改变"所有人都在总行柜台办业务"这个结构。 ### 核心理念 分行的聪明之处在于：它不和总行抢柜台，而是客户在分行内部完成所有交易，晚上只呈交一张汇总表。汇总表很小，但它的权威来自总行的背书——这就是"**链下执行、链上锚定**"。在技术层面，分行（Layer 2 网络）负责记录每笔交易的来龙去脉，主链只保存一个"状态根"（state root）——你可以把它理解成所有账户余额的指纹。

\displaystyle b_A^{(t)} = b_A^{(0)} - \sum_{k} t_{A \to B}^{(k)} + \sum_{j} t_{B \to A}^{(j)}$$ > A 的最终余额 = 初始锁定额 − 期间 A 转给 B 的全部金额 + 期间 B 转给 A 的全部金额。主链只认这个最终结果，中间 1000 次小额转账完全不占用主链空间。 #### 逐字解析 1. **b_A^(0)**：A 在总行锁定的初始保证金。它是通道的"押金"，同时是安全性来源。   $$ b_A^{(0)} = \text{初始锁定余额} $$2. **Σ t_{A→B}^{k}**：通道开启期间，A 分 k 次转给 B 的金额总和。在通道里这些转账只发生在双方的签名快照之间。   $$ \sum_{k} t_{A \to B}^{(k)} = \text{所有 A→B 转账求和} $$3. **Σ t_{B→A}^{j}**：B 转回给 A 的金额总和。现实中双方往往是互相欠款，所以两笔求和都要算。   $$ \sum_{j} t_{B \to A}^{(j)} = \text{所有 B→A 转账求和} $$4. **整体结算**：等式右边三项都是已知数，链上合约只需要做一次加减法，就把通道关闭了。中间那 1000 次"咖啡交易"从未上链，Gas 费用趋近于零。 状态通道的代价是：资金被锁定、只能两个人（或固定小圈子）玩。它适合微支付、物联网小额计费等高频低额场景，但撑不起全局开放性生态——这也引出下一类选手：Rollup。 ### Rollup 方案 如果说状态通道是"包间对谈"，Rollup 就是"整层写字楼的分行"。它不像通道那样只服务固定两人，而是把成千上万用户的交易全部收进来，由"排序器"（sequencer）像柜员叫号一样批量打包，最后只往主链提交一个汇总包。这个汇总包里包含两部分：**更新后的状态根**（账本指纹），以及**压缩过的交易数据**（数据可用性）。

\displaystyle \tau_{\text{冻结}} = T_{\text{挑战}} = \text{7 天}, \qquad P_{\text{造假}} \ll P_{\text{被发现}}$$ > 资金冻结期等于挑战窗口期（通常 7 天）。造假者要冒一个几乎必败的风险：在全世界的审计员眼皮底下藏住错误。 #### 逐字解析 1. **τ_冻结**：用户从 Rollup 提款回主链时，资金要等待的冻结时长。这个"等待"不是手续费，而是留给审计员挑刺的时间。   $$ \tau_{\text{冻结}} = \text{提款等待期} $$2. **T_挑战**：挑战窗口期，以太坊生态普遍设为约 7 天。窗口期越长越安全，但用户体验越差——这是乐观派的天然短板。   $$ T_{\text{挑战}} = \text{7 天} $$3. **P_造假**：排序器造假的概率。因为每个批次数据都公布了，造假几乎必然留下可验证的痕迹。   $$ P_{\text{造假}} = \text{接近 0} $$4. **整体权衡**：乐观 Rollup 的代价是"提款要等 7 天"，换来的是 EVM 全兼容——Solidity 合约几乎不用改就能跑上去，这是它生态繁荣的根本原因。 ### 零知识 Rollup 零知识 Rollup 走的是相反路线：分行每提交一张汇总表，都要附带一份**密码学小票（有效性证明）**，主链验票只需要几十毫秒。小票虽小，却能证明"这 1000 笔交易每一笔都真实合规、余额从未为负"。这套魔术依赖 zk-SNARK 等密码学原语——证明者（分行）计算量巨大，验证者（主链）几乎零成本。

\displaystyle \Delta_{\text{lock}} = \Delta_{\text{unlock}}$$ > 锁定的资产量恒等于解锁的资产量。桥不创造价值，只负责搬运；一旦桥被攻击，侧链的安全性就瞬间归零。 #### 逐字解析 1. **Δ_lock**：用户在桥的主链侧锁定的资产数量。锁定后，这些资产在主链被冻结，任何人无法动用。   $$ \Delta_{\text{lock}} = \text{主链锁定金额} $$2. **Δ_unlock**：用户在桥的侧链侧解锁的等量资产。侧链上铸造的"映射资产"与主链原资产 1:1 挂钩。   $$ \Delta_{\text{unlock}} = \text{侧链释放金额} $$3. **守恒关系**：两边必须严格相等。若桥的合约有漏洞，黑客可以凭空在侧链刷出资产，造成巨额损失——历史上有数亿美元被盗的惨痛教训。   $$ \Delta_{\text{lock}} = \Delta_{\text{unlock}} $$ 侧链的本质是安全换效率的分红：它不继承主链的安全性，而是自己另起炉灶。因此侧链适合对安全性要求没那么高、但需要极高定制性的场景；而"绝对不要信任桥超过主链本身"是加密圈用真金白银换来的教训。 ### 商用挑战 各"分行"都在扩张，新问题来了：分行之间资金不互通、监管总行还不知道该怎么为分行发牌照。A 用户在 Bob 链上的资产，要转到 Alice 链，得绕道总行，经历漫长的桥与手续费；机构客户则担心自己的汇总报告是否合规。跨链互操作、监管合规、用户体验三座大山，正摆在 Layer 2 面前。

import hashlibimport random  def hash_pair(a: str, b: str) -> str:    return hashlib.sha256((a + b).encode()).hexdigest()  def merkle_root(leaves):    if not leaves:        return hashlib.sha256(b'').hexdigest()    level = leaves    while len(level) > 1:        nxt = []        for i in range(0, len(level) - 1, 2):            nxt.append(hash_pair(level[i], level[i + 1]))        if len(level) % 2 == 1:            nxt.append(level[-1])        level = nxt    return level[0]  class SimpleRollup:    """极简 Rollup 模拟：链下批量交易 -> 链上仅提交 Merkle 状态根"""     def __init__(self, participants, deposit):        self.balances = {p: deposit for p in participants}        self.pending_batch = []        self.onchain_root = None     def transfer(self, sender, receiver, amount):        if self.balances[sender] < amount:            raise ValueError("insufficient balance")        self.balances[sender] -= amount        self.balances[receiver] += amount        self.pending_batch.append((sender, receiver, amount))     def rollup_commit(self):        # 将当前所有账户余额视作叶子节点，计算出状态根        leaves = [f"{p}:{self.balances[p]}" for p in sorted(self.balances)]        self.onchain_root = merkle_root(leaves)        batch_count = len(self.pending_batch)        self.pending_batch = []        return self.onchain_root, batch_count  def main():    players = ["alice", "bob", "carol"]    rollup = SimpleRollup(players, deposit=1000)    for round_no in range(5):        for _ in range(100):            s = random.choice(players)            r = random.choice([p for p in players if p != s])            rollup.transfer(s, r, random.randint(1, 5))        root, cnt = rollup.rollup_commit()        print(f"round {round_no+1}: {cnt} offchain txs -> root {root[:16]}...")    print("main chain only stores ONE root per round")  if __name__ == "__main__":    main()