ethresear.ch: EIP-8141 and the minimum required validation budget for privacy applications
06:14 (mmjahanara). Privacy apps could use frame transactions to drop offchain relayers and gain strong censorship resistance, but only if their transactions can propagate through the public mempool, whose validation budget is capped at `MAX_VERIFY_GAS = 100k`. Measuring Groth16 verification, a single-note spend needs at least 211,828 gas and the largest deployed one (spending and nullifying eight notes) at least 351,828 gas; the author recommends raising the cap to at least 250k. The cap counts proof verification execution, the signature validation intrinsic cost and EIP-8250's keyed nonce first-use charge.
