Aave v3 Repertoire on Base

Deployments

Action: deposit

Parameters

Deposit token tokens into Aave v3.

Permissions:

Target: ERC-20

For ERC-20 tokens, the following functions are allowed:

token · approve

Approve PoolV3 to spend token tokens on behalf of the avatar.

• Contract: token

• Function: approve(address,uint256)

  Parameter	Constraint
  spender	equal to PoolV3
  amount	-

PoolV3 · supply

Deposit token and receive aToken tokens in exchange.

• Contract: PoolV3

• Function: supply(address,uint256,address,uint16)

  Parameter	Constraint
  asset	equal to token
  amount	-
  onBehalfOf	equal to AVATAR
  referralCode	-

Target: ETH

When token is ETH, the following functions are allowed:

WrappedTokenGatewayV3 · depositETH

Deposit ETH and receive aBasWETH tokens in exchange.

• Contract: WrappedTokenGatewayV3

• Function: depositETH(address,address,uint16) Ξ allow sending ETH

  Parameter	Constraint
  address	equal to PoolV3
  onBehalfOf	equal to AVATAR
  referralCode	-

Action: withdraw

Parameters

Withdraw token tokens from the specified market in Aave v3.

Permissions:

Target: ERC-20

For ERC-20 tokens, the following functions are allowed:

PoolV3 · withdraw

Redeem aToken and withdraw token tokens.

• Contract: PoolV3

• Function: withdraw(address,uint256,address)

  Parameter	Constraint
  asset	equal to token
  amount	-
  to	equal to AVATAR

Target: ETH

When token is ETH, the following functions are allowed:

aBasWETH · approve

Approve WrappedTokenGatewayV3 to spend aBasWETH tokens on behalf of the avatar.

• Contract: aBasWETH

• Function: approve(address,uint256)

  Parameter	Constraint
  spender	equal to WrappedTokenGatewayV3
  amount	-

WrappedTokenGatewayV3 · withdrawETH

Redeem aBasWETH and withdraw ETH tokens.

• Contract: WrappedTokenGatewayV3

• Function: withdrawETH(address,uint256,address)

  Parameter	Constraint
  address	equal to PoolV3
  amount	-
  to	equal to AVATAR

Action: set_collateralisation

Parameters

Enable or disable token as collateral.

Permissions:

PoolV3 · setUserUseReserveAsCollateral

Enable or disable token as collateral.

• Contract: PoolV3

• Function: setUserUseReserveAsCollateral(address,bool)

  Parameter	Constraint
  asset	equal to token
  useAsCollateral	equal to useAsCollateral