Modexp semble de loin être le pire coupable en termes d'incompatibilité avec le prouveur ZK-EVM ; jusqu'à 50x pire que les blocs moyens. Nous devrions vraiment faire un EIP pour remplacer le précompilé par du code EVM équivalent sur le plan computationnel (ce qui coûterait plus de gaz). Très peu d'applications ont besoin de modexp (c'est essentiellement le chiffrement/signature RSA), et celles qui en ont besoin peuvent l'encapsuler dans un SNARK.