- (Relative Stability) Anchored or pegged -> $1.00
- Chainlink price feed.
- Set a function to exchange ETH and BTC -> $$$
- Stability Mechanism (Minting): Algorithmic
- People can only mint stablecoin with enough collateral (coded)
- Collateral: Exogenous (Crypto)
- wETH
- wBTC
Could use some more test coverage, and still a bit iffy on invariant fuzzing, but it's all working. My redeem collateral invariant fuzz tests actually redeem (improvement).
Questions:
- How to best choose the invariant for a protocol like this.
- Why were the contants private, but Patrick made public getters for them?
- When to use open invariants (Handler based testing with fail_on_revert=true seems superior)