Is the tokenPaymaster over prefund?

[doublespending]

In my mind, requiredPreFund from EntryPoint includes fund for postOp.

• account-abstraction/contracts/core/EntryPoint.sol

  Lines 511 to 515 in 0766b38

  	IPaymaster(paymaster).validatePaymasterUserOp{gas: mUserOp.paymasterVerificationGasLimit}(
  	op,
  	opInfo.userOpHash,
  	requiredPreFund
  	)

• account-abstraction/contracts/core/EntryPoint.sol

  Lines 378 to 390 in 0766b38

  	function _getRequiredPrefund(
  	MemoryUserOp memory mUserOp
  	) internal pure returns (uint256 requiredPrefund) {
  	unchecked {
  	uint256 requiredGas = mUserOp.verificationGasLimit +
  	mUserOp.callGasLimit +
  	mUserOp.paymasterVerificationGasLimit +
  	mUserOp.paymasterPostOpGasLimit +
  	mUserOp.preVerificationGas;
  	requiredPrefund = requiredGas * mUserOp.maxFeePerGas;
  	}
  	}

Why should we add additional (refundPostopCost * maxFeePerGas) above requiredPreFund here?

• account-abstraction/contracts/samples/TokenPaymaster.sol

  Line 132 in 0766b38

  uint256 preChargeNative = requiredPreFund + (refundPostopCost * maxFeePerGas);

[drortirosh]

the calculation was updated with v0.7 with the new paymaserVerificationGasLimit