[simplex]: sponsor re-delegation on Alchemy by tightening the paymaster verification gas limit

Author: royvardhan

sdk/packages/simplex/src/services/DelegationService.ts

@@ -165,14 +165,29 @@ export class DelegationService {
 				"Setting up EIP-7702 delegation via bundler with paymaster",
 			)
 
+			// Fixed limits for the no-op delegation op — bundler estimation of EIP-7702
+			// ops is unreliable (Alchemy echoes the input limits rather than simulating).
+			//
+			// A FRESH delegation (EOA has no code) burns far more verification gas on
+			// first-time cold storage, so the proven 150k account + default 200k paymaster
+			// limits clear rundler's verification-efficiency policy. A RE-delegation
+			// (EOA already delegated) uses much less (warm slots, paymaster allowance
+			// reused) — actual ~96k — so those loose limits fall below the 0.4 floor
+			// (`actual / (accountVerif + paymasterVerif)`). Tighten both verification
+			// limits for that case so the ratio clears 0.4 while still covering usage.
+			const code = await this.clientManager.getPublicClient(chain).getCode({
+				address: this.signer.account.address as HexString,
+			})
+			const isFreshEoa = !code || code === "0x"
+
 			const result = await this.userOpSender.trySendSponsored({
 				chain,
 				callData: "0x" as HexString,
 				eip7702Auth: authorization,
-				// Fixed limits for the no-op delegation op. The EOA has no code to
-				// simulate on a first delegation, and bundler estimation of EIP-7702 ops
-				// is unreliable (Alchemy echoes the input limits rather than simulating).
-				gas: { verificationGasLimit: 150_000n, callGasLimit: 50_000n, preVerificationGas: 100_000n },
+				gas: isFreshEoa
+					? { verificationGasLimit: 150_000n, callGasLimit: 50_000n, preVerificationGas: 100_000n }
+					: { verificationGasLimit: 80_000n, callGasLimit: 50_000n, preVerificationGas: 100_000n },
+				paymasterVerificationGasLimit: isFreshEoa ? undefined : 110_000n,
 			})
 
 			if (result) {

sdk/packages/simplex/src/services/UserOpSender.ts

@@ -40,6 +40,13 @@ export interface SponsoredUserOpRequest {
 	 * simulate so estimation is unreliable. When omitted, limits are estimated.
 	 */
 	gas?: UserOpGasLimits
+	/**
+	 * Override for the Circle paymaster verification gas limit (default 200k).
+	 * Lower it for a known cheap op so rundler's verification-gas-limit efficiency
+	 * policy — which divides actual usage by `accountVerif + paymasterVerif` —
+	 * accepts the op (e.g. re-delegation).
+	 */
+	paymasterVerificationGasLimit?: bigint
 }
 
 // Generous fallbacks used only when bundler gas estimation fails. The paymaster
@@ -83,7 +90,7 @@ export class UserOpSender {
 	}
 
 	async trySendSponsored(req: SponsoredUserOpRequest): Promise<{ txHash: HexString } | null> {
-		const { chain, callData, eip7702Auth, nonceKey = 0n, gas } = req
+		const { chain, callData, eip7702Auth, nonceKey = 0n, gas, paymasterVerificationGasLimit } = req
 
 		const entryPoint = this.configService.getEntryPointAddress(chain)
 		const bundlerUrl = this.configService.getBundlerUrl(chain)
@@ -119,6 +126,7 @@ export class UserOpSender {
 			walletClient,
 			signer: this.signer,
 			configService: this.configService,
+			paymasterVerificationGasLimit,
 		})
 		if (pm.type === "none") {
 			this.logger.warn({ chain }, "Paymaster data unavailable; caller should fall back to native")

sdk/packages/simplex/src/services/paymaster/index.ts

@@ -23,7 +23,7 @@ export function hasPaymaster(chain: string, configService: FillerConfigService):
  * 2. None — returns "0x" (caller falls back to EntryPoint deposit)
  */
 export async function buildPaymasterAndData(options: PaymasterOptions): Promise<PaymasterDataResult> {
-	const { chain, solverAccount, publicClient, signer, configService } = options
+	const { chain, solverAccount, publicClient, signer, configService, paymasterVerificationGasLimit } = options
 
 	const circleAddr = configService.getCirclePaymasterAddress(chain)
 	if (!circleAddr) {
@@ -42,7 +42,15 @@ export async function buildPaymasterAndData(options: PaymasterOptions): Promise<
 		return { paymasterAndData: "0x" as HexString, type: "none" }
 	}
 
-	const pm = await buildCirclePaymasterData(publicClient, signer, solverAccount, circleAddr, chain, configService)
+	const pm = await buildCirclePaymasterData(
+		publicClient,
+		signer,
+		solverAccount,
+		circleAddr,
+		chain,
+		configService,
+		paymasterVerificationGasLimit,
+	)
 	return {
 		paymasterAndData: packPaymasterAndData(pm),
 		type: "circle",

sdk/packages/simplex/src/services/paymaster/provider/circle.ts

@@ -24,6 +24,13 @@ export async function buildCirclePaymasterData(
 	paymasterAddress: HexString,
 	chain: string,
 	configService: FillerConfigService,
+	/**
+	 * Override for the paymaster verification gas limit. Defaults to the
+	 * Circle-recommended {@link VERIFICATION_GAS_LIMIT_CIRCLE}. A caller can pass a
+	 * tighter value for a known, cheap op (e.g. a re-delegation) so the bundler's
+	 * verification-gas-limit efficiency policy accepts it — see the delegation path.
+	 */
+	paymasterVerificationGasLimit: bigint = VERIFICATION_GAS_LIMIT_CIRCLE,
 ): Promise<PaymasterResult> {
 	const usdcAddress = configService.getUsdcAsset(chain)
 	const usdcDecimals = configService.getUsdcDecimals(chain)
@@ -47,7 +54,7 @@ export async function buildCirclePaymasterData(
 		return {
 			paymaster: paymasterAddress,
 			paymasterData,
-			paymasterVerificationGasLimit: VERIFICATION_GAS_LIMIT_CIRCLE,
+			paymasterVerificationGasLimit,
 			paymasterPostOpGasLimit: POST_OP_GAS_LIMIT,
 		}
 	}

sdk/packages/simplex/src/services/paymaster/types.ts

@@ -20,6 +20,8 @@ export interface PaymasterOptions {
 	walletClient: WalletClient
 	signer: { signTypedData: (typedData: unknown, chainId?: number) => Promise<HexString> }
 	configService: FillerConfigService
+	/** Override for the Circle paymaster verification gas limit (default 200k). */
+	paymasterVerificationGasLimit?: bigint
 }
 
 export interface PaymasterDataResult {