1/ 要能够实时证明Ethereum使用零知识，我们需要能够证明所有区块，包括最坏情况的区块。 虽然其他zkVM一直在朝着实时证明的方向努力，但最近的modexp等攻击尚未得到仔细研究。