The Ajna protocol is a non-custodial, peer-to-peer, permissionless lending, borrowing and trading system that requires no governance or external price feeds to function.
on claimRewards() and unstake() the caller can receive both exchange update rewards and staking rewards. This causes the invariant tests to perform workarounds in order to track what a user is earning.
RW7 enforces check that an actor's ajna balance never exceed the rewards claimed. This is important as it works with RW1 and RW2 ensuring that a actor never receives ajna rewards in excess of their respective caps
Description of change
High level
claimRewards()andunstake()the caller can receive both exchange update rewards and staking rewards. This causes the invariant tests to perform workarounds in order to track what a user is earning.RW7enforces check that an actor's ajna balance never exceed the rewards claimed. This is important as it works withRW1andRW2ensuring that a actor never receives ajna rewards in excess of their respective caps