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

三个核心结论

隐私不是"全或无"：区块链隐私同时作用于身份（谁）、交易（什么）、状态（多少）三个独立维度。选择技术前必须先明确保护哪些维度。

零知识证明改变隐私范式：zk-SNARK（常数级证明 ~200 字节）与 zk-STARK（抗量子、无需信任设置）的核心差异不是"优劣"，而是信任模型与条件的帕累托选择。

合规 priv == 可控的可见性：监管与隐私的长期博弈将推动"查看密钥"类方案成熟，密码学上可证明的隐私与合规审计不再互斥。

技术	隐藏维度	数学基... [and so on...]	量子	代表
混币 (CoinJoin)	发送者	无密码学	无	否	Wasabi
环签名 (CLSAG)	发送者	离散对数	无	否	Monero
隐匿地址	接收者	ECDH	无	否	Monero, Grin
zk-SNARK	全维度	双线性配对	需CRS	否	Zcash, Aztec
zk-STARK	全维度	哈希 + FRI	无	是	StarkNet, RISC Zero
全同态加密	计算过程	格 (LWE)	无	是	Zama

公式	含义	文件
$P(link) = 1/n$	环签名真实签名被识别的概率（匿名集 $n$ ）	10.02
$C = vG + rH$	Pedersen 承诺（隐藏金额）	10.02
$e(aP, bQ) = e(P, Q)^{ab}$	双线性配对（zk-SNARK 核心）	10.03
$View_V [P \leftrightarrow V] \approx S(x)$	零知识性：模拟器等价	10.03
$A(x)B(x) = C(x) \mod p$	QAP（zk-SNARK 的电路约束）	10.03
$\|\pi_{stark}\| = O(\log^2 D)$	STARK 证明尺寸上界	10.03
Bulletproofs 大小 $= 2\log_2(n)+13$	对数内积证明	10.04
H = -k/2 \cdot \log_2 n	环签名的香农匿名熵	10.04

文件名	核心模拟算法	概念
`10.01-privacy-model.mdx`	`createPrivacyScore()` + `comparePrivacySolutions()`	隐私三维度量化评分
`10.02-mixer...mdx`	`createCoinJoin()` + `generateStealthAddress()`	混币 / DH 密钥交换
`10.03-zkp...mdx`	`verifySNARK()`	配对检查 / 常数验证
`10.04-monero...mdx`	`computeTraceabilityEntropy()`	追溯难度评估
`10.05-privacy...mdx`	`recommendPrivacyTech()`	多维度决策评分

第10章建立了保护链上数据不可见的密码学工具箱。但第11章将面对更根本的问题：如果 Shor 算法能在多项式时间内破解这些密码学的根基，我们该用什么来保护？AI 时代的数据饥渴与量子时代的密码学颠覆，构成了第11章的双重叙事。

> ← 回到 10.5 决策框架 | 前往 ↓ 第11章：AI 与量子时代的区块链 |*