按 Taiko 官方协议文档拆解 Contestable Validity Rollup：指定证明者的首笔转移与证明窗口、分档的 validity bond 与 contest bond、被质疑后换更高档证明重证时的资金流向，以及这笔经济账如何压低即时证明成本，同时说明该设计与经典乐观卷和纯 ZK 卷的差异和剩余风险。

StarkEx 不在每条应用链上自建证明机器，而是把批处理执行轨迹交给共享证明服务 SHARP 出证明。本文按 StarkWare 官方文档拆解这条状态更新链路里证明与数据可用性的分工，以及用户侧的核验与强制提现边界。

SP1 等 zkVM 把执行轨迹切成多个分片各自出证明，再递归折叠成常数大小的提交物。本文按官方文档拆解分片证明的内部构成、Jagged PCS 承诺、从 core 到 compressed 再到 Groth16 包装的三级台阶与各自信任前提。

FRI 是 STARK 体系的多项式承诺方案。本文按 Haböck 综述与原始论文路径解释它为什么只需要抽查取值：随机挑战下的逐轮折叠、次数几何衰减、轮间一致性查询与参数选择，以及无需配对与可信设置给 Rollup 带来什么。