拆解 Namada 的 MASP 与 Convert Circuit：如何把 Zcash Sapling 扩展成多种资产共享一个屏蔽池、票据与 nullifier 如何隐藏收付双方和金额、经 IBC 直接屏蔽进池、以及转换表与补贴机制的边界。

拆解 Polyhedra zkBridge 与 zkLightClient 的机制：把轻客户端验证编译进零知识电路、用一份 SNARK 证明代替逐条核对委员会签名，并说明它对中继与多签委员会信任的替代、区块头中继与更新合约的分工，以及与 Sygma 命名的区分和风险边界。

ZK 证明系统在以太坊 L1 上验证时，最贵的往往是那些在自家电路里几乎免费的哈希运算。EIP-5988 在 2022 年 11 月 15 日递交，提议把为零知识电路设计的 Poseidon 哈希做成 EVM 预编译合约，作者名单包括 StarkWare 联合创始人 Eli Ben-Sasson。提案走通用参数路线，把模数、轮数等全部写进输入编码；但 gas 定价与理由章节直到今天仍是 TODO，状态 Stagnant。

EIP-196 在拜占庭升级中把 alt_bn128 曲线上的点加法和标量乘法做成 0x6 与 0x7 两个预编译合约，让以太坊能在区块Gas预算内验证 zkSNARK。本文拆解这两个地址的输入编码、曲线参数与它为什么必须做成预编译。

以太坊地址零号到七号住着一批协议预置的预编译合约，0x08号就是EIP-197在2017年拜占庭升级里放进来的配对检验函数：给它若干组曲线点，它回答这些点是否满足一个配对等式。这条等式正是SNARK验证的收尾一步。本文按提案原文讲清这个预编译输入输出的样子、为什么验一条证明需要配对、以及它和负责点运算的EIP-196怎么分工。

ZK Rollup 把许多交易折成一个证明，但逐笔验证的思路没有利用交易之间的关系。EIP-7911 提出用感知机树把多笔交易压缩成统一证明：树节点分类交易、路径长度度量相似度，相似度够高的交易搭同一张证明。本文按提案原文拆它的构造、验证路径，以及为什么它至今只是智慧合约层级的草案。

Jolt 把 RISC-V 程序执行化为查找表查询与内存检查论证，指令语义做成可复用表，验证靠 sum-check 与随机查询完成。本文按其开源仓库与引用论文拆解查找范式与传统算术化路线的差异和代价。

以太坊上的隐私协议和ZK应用都绕不开alt_bn128曲线的三条预编译指令，EIP-1108在2018年把它们的Gas价格大幅下调：加法从五百降到一百五，配对检查的固定成本砍掉近六成。这份Final提案的定价方法本身就是一次成本审计。

按 Miden VM 官方文档拆解这台 zkVM：栈、内存、chiplet 与宿主四个组件各管什么，为什么素域上的栈式执行便于构造证明，Rust 与 Move 等语言的编译路线走到哪了，以及评估"可验证执行"值不值该走的三步判断。

解释 Nova 与 HyperNova 的折叠方案如何把每一步计算的验证压成一次多标量乘而不用把验证器装进电路：增量可验证计算的承诺与随机挑战结构、CCS 对 Plonkish、R1CS 与 AIR 的统一、曲线周期工程，以及折叠证明相对经典递归 SNARK 的取舍与限制。