本文将深入探讨流水线方式生成零知识证明在 zkRollup 中的应用。

zkRollup中使用的零知识证明算法的计算代理程度需要被精心设计，必须恰到好处才能使其整体达到最佳效率。而FOAKS算法通过自身迭代的递归实现了可以调节的计算代理，是为专门为zkRollup所设计的零知识证明算法。

“小表模式”zkEVM，在保证原生的Solidity以太坊开发者能无缝迁0移至zkEVM的同时，还将大幅削减封装EVM到ZK证明系统时产生的冗余成本。

本文介绍FOX使用经典的Fiat-Shamir启发式（heuristic）来生成Brakedown中的挑战从而实现非交互式协议的过程。

Brakedown 虽然有较大的 Proof Size，但是无疑是当下最快的多项式承诺协议。

为了避免落入“算法不够，硬件来凑”的尴尬境地，应该从本质算法上解决问题。