Modexp wydaje się być zdecydowanie najgorszym winowajcą pod względem nieprzyjazności proverów ZK-EVM; do 50x gorszym niż średnie bloki. Naprawdę powinniśmy zrobić EIP, aby zastąpić prekompilację równoważnym kodem EVM (co kosztowałoby więcej gazu). Bardzo niewiele aplikacji potrzebuje modexp (to w zasadzie szyfrowanie/podpis RSA), a te, które go potrzebują, mogą owinąć go w SNARK.