The Modexp precompile has been identified as a significant challenge for ZK-EVM provers, reportedly being up to 50 times less efficient than average blocks. This inefficiency has prompted calls for an Ethereum Improvement Proposal (EIP) to replace the precompile with computationally equivalent EVM code, despite the potential increase in gas costs. Modexp, primarily used for RSA encryption and signing, is utilized by few applications, and those that do can potentially integrate it within a SNARK to mitigate inefficiencies.