If I understand correctly, ERC4337 requires a custom bundler/validator to be able to accurately estimate gas fees for any possible contract.
But what if you’d restrict the AA to only be able to interact with a whitelist of contracts? Couldn’t you then drop that requirement and simplify the implementation?