本文將深入探討流水線方式生成零知識證明在 zkRollup 中的應用。

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

“小表模式”zkEVM，在保證原生的Solidity以太坊開發者能無縫遷移至zkEVM的同時，還將大幅削減封裝EVM到ZK證明系統時產生的冗餘成本。

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

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

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