KVORUM
aaveSource: Aave governor v2 · #31

Add FRAX to Aave V2

executedSep 9, 2021, 08:48 PM UTCby470x47c1…4770

01Summary

AISummary by Kvorumclaude-haiku-4-5

Proposal to add FRAX stablecoin as a borrowable asset (not collateral) on Aave. FRAX will have 0% LTV, enabling Frax's AMOs to mint FRAX directly into Aave's lending market. This allows competitive stablecoin borrowing rates for Aave lenders with no collateral risk to the protocol.

Type
protocol addition

Key changes

  • FRAX added as borrowable asset on Aave with 0% LTV, meaning it cannot be used as collateral(high)
  • Configuration includes rateStrategyStableTwo with 10% reserve factor and 18 decimal places(medium)
  • Enables Frax AMOs to mint FRAX directly into Aave lending market for competitive borrowing rates(high)
  • Oracle sourced from ChainLink FRAX/ETH feed for price discovery(medium)

Notable concerns

  • FRAX counterparty risk rated C+ due to current multisig control over protocol pause/modification functions
  • Risk assessment based on May 2021 data when FRAX market cap was $110M, now $307M
  • FRAX has never broken its $1 peg but protocol remains early-to-mid maturity stage
  • Frax team maintains backup multisig admin address alongside governance timelock
Contracts0x853d955aCEf822Db058eb8505911ED77F175b99e0xe775a3a0a1cdc50bd48d5f47c442a0a4f5f244730xa50ba011c48153de246e5192c8f9258a2ba79ca9
Generated by Kvorum
model: claude-haiku-4-5
provider: anthropic
profile: anthropic-fast-v1
prompt: v1.0
generated: 2mo ago
Read the description ↗

02Description

1,041 words

Simple Summary

Frax is the first algorithmic-stablecoin protocol, backed through on-chain collateral and algorithmically. Frax has two tokens, the FRAX stablecoin pegged at $1 and the FXS governance + seigniorage token, and aims to be a decentralized crypto-native unit of account with the upcoming Frax Price Index (FPI). FRAX has stayed at $1 for its entire existence, being the only non-traditional stablecoin to keep its peg perfectly in 8 months of release.

Abstract

The FRAX stablecoin is partially backed with on-chain collateral and partially backed algorithmically, according to a collateral ratio (CR) parameter that the system adjusts according to market conditions. In Frax v2, the protocol is able to mint FRAX into lending markets using Algorithmic Market Operations (AMOs), smart contracts which have the ability to print FRAX up to certain thresholds adjustable by governance.

Motivation

As the value of Aave's TVL increases, borrow liquidity for stablecoins against volatile assets lent to Aave is one of the key benefits that is offered to lenders of the protocol. The flow of newly minted stablecoins to their decentralized lending market destination such as Aave is not always direct, and may face market inefficiencies through layers of actors.

By deploying an AMO for Aave, the Frax protocol is able to mint FRAX to be borrowed by lenders of Aave, and thus offer an active and competitive alternative to other stablecoins such as USDC, USDT, and DAI. By allowing for responsive stablecoin liquidity, we aim to benefit lenders and the Aave ecosystem as a whole.

Additionally, With no collateral factor, there is 0 risk for Aave's money market in terms of the FRAX peg. Furthermore, if the FRAX peg broke and fell below $1, Aave borrowers would have less debt in dollar terms.

Specification

  1. What is the link between the author of the AIP and the Asset?

    • Co-founder of Frax.
  2. Provide a brief high-level overview of the project and the token

    • FRAX is the world's first fractionally-algorithmic stablecoin, stabilized with parts on-chain collateral and parts algorithmically.
  3. Explain positioning of token in the AAVE ecosystem. Why would it be a good borrow or collateral asset?

    • Frax's AMOs are able to mint FRAX into the Aave lending market, allowing for highly competitive stablecoin borrowing rates for lenders.
  4. Provide a brief history of the project and the different components: DAO (is it live?), products (are the live?). How did it overcome some of the challenges it faced?

    • FRAX launched at the end of 2020 and currently has over $300M in circulating FRAX. FRAX has never once broken the peg of $1, even through sharp market downturns such as in March 2021. Frax's governance token FXS has maintained governance functionality since inception through a fork of Compound's GovernorAlpha.
  5. How is the asset currently used?

    • FRAX is currently used as a stablecoin in decentralized exchanges and other lending markets such as Rari's Fuse Protocol, where it is currently the most-borrowed and most-supplied stablecoin in several pools through Frax's AMOs.
  6. Emission schedule

    • There is no emission schedule; FRAX is mintable by anyone anytime by depositing corresponding amounts of collateral and FXS into the system's contracts.
  7. Token & protocol permissions and upgradability

    • The protocol is highly modular in terms of system parameters such as oracle addresses and AMO additions. The core contracts such as the token contract itself are non-proxy deployed and permissioned through governance's 2-day timelock, with a backup multisig admin address managed by the core Frax team.
  8. Market data (Market Cap, 24h Volume, Volatility, Exchanges, Maturity)

    • Market Cap: $307M
    • 24h Volume: $15M
    • Volatility: Extremely Low
    • Maturity: Early-Mid
  9. Social channels data (Size of communities, activity on Github)

    • 13K followers on Twitter, 6.2K members on Telegram, Github is updated frequently.
  10. Contracts date of deployments, number of transactions, number of holders for tokens

    • Date of Deployment: December 20th, 2020
    • Number of Transactions: 110,000+
    • Number of Holders: 1,600+

Rationale

Frax's design rationale came as a synthesis of a crypto-native stablecoin with capital efficiency, allowing it to perform algorithmic market operations while managed by on on-chain DAO. As Frax expands, it can compound on its own network effects by being a highly liquid routing asset on DEXes and a default borrowing option for many lending market pools. To keep decentralization at the forefront, the USDC collateral is spread out through other lending markets and DEXes, and is planned to be rotated to ETH and ETH-equivalent collateral as the protocol matures. Furthermore, the Frax Price Index (FPI) allows for a shift away from the USD unit-of-account into the first major stable crypto-native unit-of-account.

Implementation

The FRAX price oracle will be served via ChainLink, which includes the FRAX/ETH feed.

FRAX will only be used for depositing and lending and not as collateral, with a Loan-to-Value (LTV) value of 0%. The other parameters are as such:

  • Strategy: rateStrategyStableTwo
  • Base LTV As Collateral: 0
  • Liquidation Threshold: 0
  • Liquidation Bonus: 0
  • Borrowing Enabled: true
  • Stable BorrowRate Enabled: false
  • Reserve Decimals: 18
  • Reserve Factor: 1000

Following the steps from the Aave governance docs, the following contracts were generated:

  • Interest bearing aFRAX address: 0x4ca44E16DAbcdB5a770eA623aca3adCcCde6fBb3
  • Variable Debt variableDebtFRAX address: 0x861CbFc3e727d2CF2F0af964395e447C28d4967e
  • Stable Debt stableDebtFRAX address: 0x6486f5664dbA438e233361ED87fE4D862638989d
  • Strategy Implementation for FRAX address: 0xe4DF757157234019682f25422Bcb01Ed659B9D29

Audits/Security Reviews

Trail of Bits Audit

CertiK Audit

Note that the risk assessment was performed in May 2021, when FRAX's market cap was $110M

FRAX Smart Contract Risk: C

Frax has been live on the Ethereum mainnet for over 8 months.

FRAX Counterparty Risk: C+

Currently the Frax protocol can be paused or modified by a multisig. The protocol is meant to be governance minimized with a gradual transition to DAO + comptrollers.

FRAX Market Risk: B

The current FRAX market cap is over $307,000,000 USD. The average 24H trading volume in the past month has been over $14,000,000 USD. FRAX's volatility is negligible on Curve and Uniswap v3.

FRAX Overall Risk: B-

References

Whitepaper - https://github.com/FraxFinance/frax-solidity/blob/master/frax_whitepaper_v1.pdf

Website - https://frax.finance/

Twitter - https://twitter.com/fraxfinance

Docs - https://docs.frax.finance/

Github - https://github.com/FraxFinance

Token Contract - https://etherscan.io/token/0x853d955aCEf822Db058eb8505911ED77F175b99e

Test Cases

Implementation

Copyright

Copyright and related rights waived via CC0.

03Mismatch analysis

AIMismatch analysis by Kvorummedium confidenceclaude-sonnet-5
Material discrepancy

placeholder

Generated by Kvorum
model: claude-sonnet-5
provider: anthropic
profile: anthropic-strong-v1
prompt: v1.0
generated: 2mo ago
Review the decoded actions ↗

04Actions

2 total
#0execute(address,address,address,address,address,uint256,uint256,uint256,uint256,uint8,bool,bool,bool)chain 0x1
Target
0xe775…4473
Value
0 wei
Function
execute(address,address,address,address,address,uint256,uint256,uint256,uint256,uint8,bool,bool,bool)
Arguments
{
  "0": "0x853d955aCEf822Db058eb8505911ED77F175b99e",
  "1": "0x6efD37b3015AeA0E19418f98661488A4D2D3C377",
  "2": "0x7E3Ddfceef69bEC3A38Fc9AE8D7A8c46D7788C6b",
  "3": "0x08FFf652bEF777634585707B17627c9274E3dB11",
  "4": "0xb0a73aC3B10980A598685d4631c83f5348F5D32c",
  "5": "0",
  "6": "0",
  "7": "0",
  "8": "2000",
  "9": "18",
  "10": true,
  "11": false,
  "12": false
}
Calldata
#1setAssetSources(address[],address[])chain 0x1
Target
0xa50b…9ca9
Value
0 wei
Function
setAssetSources(address[],address[])
Arguments
{
  "0": [
    "0x853d955aCEf822Db058eb8505911ED77F175b99e"
  ],
  "1": [
    "0x14d04Fff8D21bd62987a5cE9ce543d2F1edF5D3E"
  ]
}
Calldata

05Tally

Summed from votes

Voters19
VP participating593.2K
Outcome (current)For
Current support100%

06Voters

19 total
Filter:
VoterChoice% of totalRationale
470x47c1…4770For245.2K41.34%—5y ago
DD0xdd70…8202For189.9K32.02%—5y ago
100x10f8…1f92For104.7K17.65%—5y ago
500x5028…4db6For33.8K5.69%—5y ago
070x0703…961bFor10K1.69%—5y ago
700x704d…a0dfFor3.8K0.65%—5y ago
800x80dc…c146For2.7K0.45%—5y ago
510x510b…9938For1.6K0.26%—5y ago
920x9251…f08bFor446.60.08%—5y ago
C30xc30a…f54dFor344.50.06%—5y ago
670x674f…d568For329.50.06%—5y ago
3A0x3a25…e9d2For256.70.04%—5y ago
8D0x8d07…a265For500.01%—5y ago
940x94a4…34beFor250.00%—5y ago
720x728e…17a8For21.90.00%—5y ago
B60xb6e8…9fcdFor1.90.00%—5y ago
510x5180…621cFor10.00%—5y ago
7E0x7e3f…1782For10.00%—5y ago
000x00e2…c4d5For00.00%—5y ago
Showing 19

07Forum

No forum thread is confidently linked to this proposal.