Modexp 似乎是 ZK-EVM 证明器最不友好的模块之一；性能比平均区块差多达 50 倍。 我们真的应该提出一个 EIP，用计算上等效的 EVM 代码替换预编译代码（虽然会消耗更多的 gas）。 几乎没有应用需要 modexp（它基本上是 RSA 加密/签名），而那些需要的应用可以用 SNARK 来封装。