九思札记 · 探索区块链 · AI

2.11 核心概念知识地图

graph TB
    subgraph 第2章_密码学基础
        direction TB
        
        HASH[哈希函数<br/>2.1-2.2] --> SEC[安全属性<br/>碰撞/隐藏/谜题友好]
        HASH --> SHA[SHA-256<br/>MD 结构]
        HASH --> KEC[Keccak-256<br/>海绵结构]
        
        SYM[对称加密] --> AES[AES-256-CTR]
        SYM --> CSPRNG[CSPRNG 熵源]
        
        ECC[椭圆曲线<br/>2.4] --> SECP[secp256k1<br/>y²=x³+7]
        ECC --> PADD[点加法/倍点]
        ECC --> SCM[标量乘法<br/>d×G=P]
        ECC --> ECDLP[离散对数难题]
        
        SIG[数字签名<br/>2.5] --> ECDSA[ECDSA: r,s]
        SIG --> SCHNORR[Schnorr: 可聚合]
        SIG --> K[k 唯一性
 Sony 事件]
        
        WALLET[钱包<br/>2.6] --> BIP39[BIP-39 助记词]
        BIP39 --> BIP32[BIP-32 HD 派生]
        BIP32 --> BIP44[BIP-44 路径]
        
        MT[Merkle 树<br/>2.7] --> PROOF[O(log N) 证明]
        MT --> SPV[SPV 轻量验证]
        MT --> COMP[成员证明压缩]
        
        SYS[系统对比<br/>2.8] --> CRYO[后量子安全分析]
        SYS --> ERR[十大工程错误]
    end
    
    subgraph 与第1章_比特币篇的连接
        TX[交易哈希] -.-> HASH
        ADDR[地址=公钥哈希] -.-> ECC
        SCRIPT[脚本签名验证] -.-> SIG
        SPVB[轻量节点] -.-> MT
    end
    
    subgraph 向第3章_共识层的前瞻
        SIG -.-> POW[工作量证明
挖矿签名]
        HASH -.-> DIFF[难度调整
谜题友好性]
        MT -.-> BLOCK[区块头 Merkle 根]
    end

2.12 密码学原语对比总表

原语	数学基础	输入→输出	核心安全假设	区块链角色	失效后果
SHA-256	位运算 + 模加	任意 → 256 bit	碰撞计算不可行 $2^{128}$	交易 ID、区块哈希、双重哈希	碰撞 → 伪造交易
Keccak-256	海绵结构 + $f$ 置换	任意 → 256 bit	置换不可区分	以太坊地址、状态哈希	碰撞 → 地址碰撞
secp256k1 标量乘法	椭圆曲线群运算	私钥 $d$ → 公钥 $P$	ECDLP 困难	密钥对生成	离散对数破解 → 私钥暴露
ECDSA	模逆 + 曲线点加	$(d, m) \to (r, s)$	$k$ 唯一性 + ECDLP	交易授权	$k$ 重放 → 私钥泄露
Schnorr	线性方程	$(d, m) \to (R, s)$	离散对数	多签/聚合 (BIP-340)	未标准化实现风险
Merkle 树	二叉哈希树	$N$ 叶节点 → 1 根	哈希防篡改	SPV 轻验证	根伪造 → 假交易被"确认"
BIP-32 HD	HMAC-SHA512	种子 → 无限子密钥	单向性/不可预测	地址批量管理	主种子泄露 → 所有地址暴露

2.13 第2章 → 第1章/第3章的知识衔接

与第1章的呼应

第1章介绍了比特币的交易模型和 UTXO 设计，但一直悬而未决的问题是："为什么交易可以被信任？" 第2章的答案如下：

第1章概念	第2章密码学基础	具体机制
UTXO 所有权	椭圆曲线标量乘法	"拥有 UTXO" = "知道控制该 UTXO 地址对应的私钥 $d$ "
交易广播	ECDSA 数字签名	交易被私钥签名后广播，任何人可用公钥验证
PoW 谜题	哈希的谜题友好性 + 雪崩效应	nonce 搜索 = 穷举 $H(\text{header}) < T$ ，无捷径可寻
区块链接	双重 SHA-256 哈希链	`prevBlockHash` 依赖前一区块全部内容的哈希
轻量节点	Merkle 树 + SPV	轻节点仅存储 80 字节区块头 + 320 字节证明

向第3章的铺垫

第3章将探讨共识机制（PoW、PoS、BFT），而共识机制之所以能"工作"，根本原因在于第2章的密码学保证：

PoW 的防作弊：如果哈希不具有谜题友好性，矿工可以通过捷径绕过工作量计算。
最长链规则：改变历史区块需要重新计算所有后续区块的 PoW（因为每个区块头包含前一区块的哈希）——这在计算上不可行。
交易不可伪造：没有私钥 = 无法产生有效签名 = 无法花费他人的 UTXO。
轻客户端信任：轻节点信任区块头（通过工作量证明验证其难度），再通过 Merkle 证明验证交易——两者共同构成"无需信任全节点"的安全模型。

text

第2章密码学 ──→ 第3章共识的根本假设
   │
   ├── 哈希(谜题友好) → PoW 的公平性
   ├── 哈希链 → 历史不可篡改
   ├── 数字签名 → 交易不可伪造
   └── Merkle 树 → 轻节点的验证能力

2.14 关键思维模型总结

模型一：信任链的数学化

区块链用密码学将"信任问题"转化为可验证的数学问题。不需要相信任何中介，只需要相信：

哈希的碰撞阻力和谜题友好性
椭圆曲线离散对数的困难性
这些假设在数学上经过数十年研究

模型二：安全强度的统一度量

所有密码学强度都可以用"暴力破解需要多少次尝试"来度量：

128 位安全 = $2^{128}$ 次尝试
全球所有计算设备每秒 $10^{18}$ 次运算
$2^{128} / 10^{18} / (365 \times 24 \times 3600) \approx 10^{21}$ 年

模型三：安全不是功能，而是设计属性

Sony PS3 使用正确的 ECDSA 算法——但因 $k$ 的管理错误而泄露私钥。这揭示了一个核心原则：安全不是"功能正确"的附赠品，而是需要独立验证的设计属性。

2.15 本章学习路径建议

读者类型	建议重点	可跳过
密码学初学者	2.1（安全属性概念）、2.3（体系分类）、2.6（钱包实践）	2.2（完整实现）、2.4（点运算细节）、2.5（验签推导）
应用开发者	2.1-2.3、2.5（签名安全）、2.6（钱包集成）、2.7（Merkle SPV）	2.4（点运算可从库调用）
协议/安全工程师	全部 + 验证 2.2 和 2.4 的实现与标准库输出对比	无
快速复习	2.9（速查）、2.10（工具箱）、本总结	2.2-2.8 按需追溯

2.15 前向阅读指南

第3章（共识机制）：需要理解 2.5.4（谜题友好性）和 2.1.4（谜题友好性与 PoW 的关系）。
第4章（智能合约）：需要理解 2.4（公钥生成地址）和 2.5（签名授权）——所有合约调用本质上是「地址 + 签名」的封装。
第5章（扩展性）：需要理解 2.7（Merkle 树）——状态通道、Rollup 的 Merkle 根验证是核心机制。

本章终点，亦是起点。 你已经拥有了理解区块链"为什么安全"的全部密码学工具。下一章，我们将用这些工具去分析"如何让分散的节点在没有指挥官的情况下达成一致"——这是区块链从密码学系统升华为社会共识机制的关键跃迁。

本页目录