本文探讨了在拥有1000台机器的集群上并行化10亿指令周期计算证明的通信复杂度，分别针对RISC Zero的Bonsai架构上的递归证明和基于折叠的证明进行了分析。分析表明，通过调整折叠见证人的大小，可以使折叠的通信复杂度与FRI系统相匹配，但实际应用中存在工程权衡。
