| Stateful Cosmos module transactions | 2000 + 30 * input bytes, then SDK execution is metered inside the call |
| Stateful Cosmos module queries | 1000 + 3 * input bytes, then SDK execution is metered inside the call |
SP1 Groth16 verifyProof | 300000 + ceil((publicValuesBytes + proofBytes) / 32) * 16 |
SP1 Plonk verifyProof | 800000 + ceil((publicValuesBytes + proofBytes) / 32) * 16 |
| Variable-length stateless precompiles | base gas + ceil(input bytes / 32) * word gas; use the relevant ABI/source entry for constants |
| P256 | Raw-call precompile; validate packed input shape in caller code |