O pré-compilado Modexp foi identificado como um desafio significativo para os provadores ZK-EVM, sendo relatado como até 50 vezes menos eficiente do que blocos médios. Essa ineficiência levou a pedidos para uma Proposta de Melhoria do Ethereum (EIP) que substitua o pré-compilado por código EVM computacionalmente equivalente, apesar do possível aumento nos custos de gás. O Modexp, usado principalmente para criptografia e assinatura RSA, é utilizado por poucas aplicações, e aquelas que o utilizam podem potencialmente integrá-lo dentro de um SNARK para mitigar as ineficiências.