Spark

Disassembling

Swap sDAI

• Label: Exit_Swap-sDAI-USDC-CoW
• Description: Swap sDAI for USDC in CoW
• Actions in execution process:
  1. Swap sDAI for USDC in CowSwap

Note: When using the Pilot Extension and the Agile Execution App, all swaps will be routed through a delegate call to the OrderSigner(opens in a new tab) (opens in a new tab) in order to facilitate parameter scoping and minimize risks.

SELL_TOKEN · approve

Approve GPv2VaultRelayer to spend sDAI tokens on behalf of the avatar.

• Contract: SELL_TOKEN

• Function: approve(address,uint256)

  Parameter	Constraint
  spender	equal to GPv2VaultRelayer
  amount	equal to the sDAI amount to swap

OrderSigner · signOrder

Sign order to swap sDAI to USDC.

• Contract: OrderSigner

• Function: signOrder((address,address,address,uint256,uint256,uint32,bytes32,uint256,bytes32,bool,bytes32,bytes32),uint32,uint256) → delegatecall

  Parameter	Constraint
  order.sellToken	equal to sDAI
  order.buyToken	equal to USDC
  order.receiver	equal to AVATAR
  order.sellAmount	equal to the sDAI amount to swap
  order.buyAmount	equal to the sDAI amount to swap minus the maximum slippage
  order.validTo	equal to time_now + validDuration
  order.appData	-
  order.feeAmount	equal to 0
  order.kind	equal to sell
  order.partiallyFillable	False
  order.sellTokenBalance	-
  order.buyTokenBalance	-
  validDuration	equal to 10 mins
  feeAmountBp	lower or equal to FEE_AMOUNT_BP

Redeem sDAI for DAI

• Label: Exit_Spark-sDAI
• Description: Redeem sDAI and withdraw DAI
• Actions in execution process:
  1. Redeem

sDAI · redeem

Redeem sDAI and withdraw DAI.

• Contract: sDAI

• Function: redeem(uint256,address,address)

  Parameter	Constraint
  shares	amount of sDAI tokens to redeem
  receiver	equal to AVATAR
  owner	equal to AVATAR