3.3.1.2 zk-STARKs 与透明设置

文档摘要

3.3.1.2 zk-STARKs 与透明设置 3.3.1.2 zk-STARKs 与透明设置回想那次午夜调试会，我们的Layer2 rollup原型在生成zk-STARK证明时突然崩盘。状态转换函数（SCF）的执行路径明明已优化到极致，AIR（Algebraic Intermediate Representation）约束也通过了初步验证，可FRI（Fast Reed-Solomon Interactive Oracle Proofs）阶段的证明大小却暴增2倍，验证时间从秒级拖到分钟级。更诡异的是，重跑几次，总有1/10的批次失败——错误日志指向“透明随机化挑战不一致”。