Виталик Бутерин призвал установить жёсткий предел затрат на доказывание Ethereum в расчёте на единицу газа блока. По данным NS3.AI, ZKsync сообщила, что один GPU сгенерировал доказательства для 99% из 7 200 последовательных блоков основной сети Ethereum менее чем за 10 секунд на каждый блок, включая подготовку свидетелей.

Чтобы гарантировать максимальную стоимость, необходимо учитывать все допустимые нагрузки, включая блоки, намеренно собранные так, чтобы их было дорого доказывать. В EIP-7904 рекомендуется не менять стоимость вычислений в газе, однако в анализе рассматривается исполнение на CPU, а не генерация ZK-SNARK-доказательств. Для надёжного ограничения затрат на доказывание потребуются явные допущения о нагрузках, реализациях, безопасности и оборудовании.