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

Prover和Verifier之间的计算代理思想是零知识证明的核心内容之一，是调节证明者和验证者工作量于复杂度之间取舍（trade-off）的工具。