Le précompilé Modexp a été identifié comme un défi majeur pour les prouveurs ZK-EVM, étant rapporté comme étant jusqu'à 50 fois moins efficace que les blocs moyens. Cette inefficacité a suscité des appels à une proposition d'amélioration d'Ethereum (EIP) visant à remplacer le précompilé par un code EVM équivalent sur le plan computationnel, malgré une possible augmentation des coûts en gas. Modexp, principalement utilisé pour le chiffrement et la signature RSA, est employé par peu d'applications, et celles qui l'utilisent peuvent potentiellement l'intégrer dans un SNARK pour atténuer les inefficacités.