v3-213-aave-v3-Ethererum-FRAX-remove-isolation-mode.md

Proposal 213. Remove Frax from Isolation Mode.

Voting link

https://vote.onaave.com/proposal/?proposalId=213

Governance forum discussion

https://governance.aave.com/t/arfc-remove-frax-from-isolation-mode-on-aave-v3-mainnet/19337

Payloads

• Ethereum - proposal payloads

Certora analysis

Proposal types

🔧 📊 configuration update

Context

This proposal suggests removing FRAX from isolation mode to facilitate further AMO deployments.

Proposal creation

Transaction: https://etherscan.io/tx/0x4bbcd8cb66d5292e04e9c0d013ce46c4ca66851052a3b247d1a6346c98459e5e

- proposalId: 213
- creator: 0x57ab7ee15ce5ecacb1ab84ee42d5a9d0d8112922
- accessLevel: 1
- ipfsHash: 0x141a3189c70b282415870d2c3ea6f7c05d256c8033b41895293ae74989c2b1b9

createProposal() parameters

{
  "payloads": [ 
    { 
      "chain": "1", 
      "accessLevel": "1", 
      "payloadsController": "0xdAbad81aF85554E9ae636395611C58F7eC1aAEc5", 
      "payloadId": "217" 
    }, 
  ], 
  "votingPortal": "0x9b24C168d6A76b5459B1d47071a54962a4df36c3", 
  "ipfsHash": "0x141a3189c70b282415870d2c3ea6f7c05d256c8033b41895293ae74989c2b1b9" 
}

Aave Seatbelt report

Proposal report

https://github.com/bgd-labs/seatbelt-gov-v3/blob/main/reports/proposals/213.md

Payload reports

• Ethereum - https://github.com/bgd-labs/seatbelt-gov-v3/blob/main/reports/payloads/1/0xdAbad81aF85554E9ae636395611C58F7eC1aAEc5/217.md

Technical analysis

The technical analysis confirms that the debt ceiling parameter for FRAX is set to 0, ensuring no additional borrowing is possible. Additionally, the isolationModeTotalDebt parameter has been updated to 0, reflecting the removal of FRAX from Isolation Mode and ensuring it no longer contributes to the total debt calculation in this mode.

The proposal is consistent with the description on both Snapshot and the governance forum.

Certora validations

✅ The code on the proposal payload corresponds to the proposal specification.

✅ The proposal includes a proper tests suite, checking all necessary post-conditions.

✅ BGD reviewed the payload before the proposal was submitted.

✅ Certora reviewed the procedure followed to submit the proposal.