Quentin Garchery retweeted
The Universal Rewards Distributor has been formally verified using @certora β
The process verifies that Merkle trees are well-formed and the rewards distributor is correct, where claimed rewards correspond exactly to the rewards contained in the associated Merkle tree π§΅
Quentin Garchery retweeted
You have a position on @CompoundFinance? You can now upgrade your yields.
Morpho-Compound is live! π¦π’
compound.morpho.xyz
medium.com/morpho-labs/releaβ¦





