Vitalik Buterin kêu gọi đặt mức trần cứng cho chi phí tạo bằng chứng Ethereum trên mỗi đơn vị gas của khối. Theo NS3.AI, ZKsync báo cáo rằng một GPU duy nhất đã tạo bằng chứng cho 99% trong số 7.200 khối liên tiếp trên mạng chính Ethereum, mỗi khối trong chưa đầy 10 giây, bao gồm cả khâu chuẩn bị witness.

Để bảo đảm chi phí tối đa, cần tính đến mọi khối lượng công việc được phép, bao gồm cả những khối được cố ý tạo ra để khiến việc tạo bằng chứng trở nên tốn kém. EIP-7904 khuyến nghị không thay đổi chi phí gas tính toán, nhưng phân tích của đề xuất này tập trung vào quá trình thực thi trên CPU chứ không phải việc tạo bằng chứng ZK-SNARK. Muốn xác định giới hạn chi phí tạo bằng chứng đáng tin cậy, cần nêu rõ các giả định về khối lượng công việc, cách triển khai, bảo mật và phần cứng.