Hi @Shelly,
It appears that this proposal does not comply with the ARFC proposal format and should be reworked to reflect the correct template. The details regarding the correct format can be found here. The most recent ACI or Chaos Labs proposal can be used as a guide.
Requesting AAVE as payment is a hard “No” for us. Please do amend the proposal to remove AAVE and replace it with GHO as payment. Ideally, all or at least >50% of the funding should be nominated in GHO. Outside of this, requesting USDC should state which Aave deployment this will be drawn from, v2 (aUSDC) or v3 (aEthUSDC), otherwise, it is hard to budget without such details.
This is applicable to all Service Providers, with Chaos Labs, Gauntlet, ACI, Karpatkey, and TokenLogic not receiving payment for services rendered in AAVE, it is a moot point. Certora should not receive AAVE.