zkRollup中使用的零知識證明算法的計算代理程度需要被精心設計，必須恰到好處才能使其整體達到最佳效率。而FOAKS算法通過自身迭代的遞歸實現了可以調節的計算代理，是為專門為zkRollup所設計的零知識證明算法。

本文介紹FOX使用經典的Fiat-Shamir啟發式（heuristic）來生成Brakedown中的挑戰從而實現非交互式協議的過程。

Brakedown 雖然有較大的 Proof Size，但是無疑是當下最快的多項式承諾協議。

為了避免落入“算法不夠，硬體來湊”的尷尬境地，應該從本質算法上解決問題。