foaks

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

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

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

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