Modexp parece ser, con mucho, el peor infractor en términos de falta de compatibilidad con el probador ZK-EVM; hasta 50x peor que los bloques promedio. Realmente deberíamos hacer un EIP para reemplazar la precompilación con código EVM computacionalmente equivalente (lo que costaría más gas). Muy pocas aplicaciones necesitan modexp (es básicamente cifrado/firma RSA), y aquellas que lo hacen pueden envolverlo en un SNARK.