为什么说zkRollup的可行性起源于零知识证明的计算代理思想

林彦熹、孟铉济：FOAKS算法通过自身迭代的递归实现了可以调节的计算代理，是专门为zkRollup所设计的零知识证明算法。