Modexp scheint bei weitem der schlimmste Übeltäter in Bezug auf die ZK-EVM-Prover-Unfreundlichkeit zu sein; bis zu 50x schlechter als durchschnittliche Blöcke. Wir sollten wirklich ein EIP machen, um die Precompile durch computergleichwertigen EVM-Code zu ersetzen (was mehr Gas kosten würde). Sehr wenige Apps benötigen modexp (es ist im Grunde RSA-Verschlüsselung/-signierung), und diejenigen, die es tun, können es in einem SNARK einwickeln.