以太坊的存款合约把执行层付款地址与共识层验证者公钥绑在同一条记录里，任何链上观察者都能拼出谁在质押的对应关系。EIP-8222 提出 Lean Staking：把质押拆成两段——先把 ETH 存入一张待领取存款树、用零知识证明领取——让存款地址与验证者密钥在协议层不再互相指认。这份 2026 年 4 月的草案要求 EIP-6110 与 7251 在前，目前是草案状态。本文解释这个两段流程的形状、失效集合怎么长出来，以及隐私与可审计之间的边界。

ERC-2494 创建于 2020 年 1 月 29 日，仓库记录的状态是 Stagnant。它定义的不是代币也不是接口，而是一条定义在 BN254 标量域上的椭圆曲线 Baby Jubjub，专门用来在 zk-SNARK 电路内部跑哈希与签名。本文拆解它为什么不能直接用以太坊原生那把 secp256k1 钥匙，为什么曲线的系数里要留一个自由参数 d，以及它被 Circom、semaphore 这类工具继承的技术脉络。

ERC-1923 创建于 2018 年 12 月 22 日，仓库状态 Stagnant。它试图为 zk-SNARK 生态建一个登记合约：验证密钥注册进表拿编号，验证器合约地址与密钥绑定，证明提交后还能登记公证与质疑记录。本文按原文梳理 registerVk、attestProof、challengeAttestation 组成的链条，并分析登记与验证拆开之后带来的新问题。

ERC-1922 创建于 2018 年 9 月 14 日，仓库状态 Stagnant，依赖 ERC-165 与两条预编译接口。它要求验证器合约把验证密钥装进自己存储，对外只留一个 verify 函数：传入证明字节流，返回真或假。本文按原文拆解验证密钥为什么要进合约、配对函数如何参与，以及这个一行的接口为何没能统一当年的验证器生态。

EIP-7503 提出一条新交易类型：把 ETH 转入不可花费地址留下销毁记录，之后用零知识证明领回等量 ETH，全程不暴露销毁账户与取款账户的关联。本文拆解它的收据链定位、无效化器防双花与挖矿式防伪设计，并说清它与同名跨链桥毫无关系。

以太坊的配对预编译长期只有 BN254 一条曲线，安全强度约 80 比特。EIP-2539 提议为 BLS12-377 增加一组预编译，把配对友好曲线的选择权交给合约。本文讲清这条曲线的来路与提案的编码设计，以及它停留在 Stagnant 的原因。

Mina 把整条链的历史折进一条固定大小的递归 SNARK 证明。本文按官方白皮书与技术参考拆解证明怎么逐块折叠、snarked ledger 与 staged ledger 的分工，以及为保住固定大小对共识做的改造。

Zcash 屏蔽池没有余额表，防双花全靠一枚作废凭证。本文按 ZIP 224 拆解 nullifier 的计算位置、节点拒收规则和 Orchard 与 Sapling 的版本差异，并说明跨池转账时金额何时暴露。

无状态以太坊落地时，钱包和应用要能自己验证状态证明。EIP-7545 提议在0x21地址放一个通用预编译：传入版本号、状态根和证明数据，由协议代为完成Verkle多重证明的验证。本文解释它服务谁、接口为什么设计成三段式，以及它随Verkle路线一起搁置的现状。

ERC-8084 的 ZKMeta 给依赖零知识证明的合约定了一份“说明书”：证明系统、电路标识、版本、公共输入结构和验证键地址一次读全。本文拆解六个只读函数的用途，以及它对钱包、浏览器和 NFT 铸造核验的实际价值。