如何设计出一种精妙绝伦的证明递归方案

在zkRollup以及zkEVM赛道所遇到的几乎所有难题，其本质都是算法问题。ZKP硬件加速之所以屡屡被提及，主要原因是当下算法普遍较慢。为了避免落入“算法不够，硬件来凑”的尴尬境地，我们应该从本质算法上解决问题。设计出一种精妙绝伦的递证明方案是解决这个问题的关键。