为什么说ZkRollup的可行性源自零知识证明中的计算代理思想？其技术原理有哪些关键点？

ZkRollup作为Layer 2扩容技术的重要代表，其可行性核心源自零知识证明（Zero-Knowledge Proof, ZKP）中的计算代理思想。