The refinance(Refinance[] calldata refinances) function in the contract Lender has an error to update the pool balance.
The new pool balance the loan refinanced to is updated in L636:
And is updated again at L698:
Results in double accounting of the pool balance.
The impact of this vulnerability is severe, leading to financial losses for the pool lender.
Manual Review
To fix this vulnerability, the L698 should be removed.
The contest is live. Earn rewards by submitting a finding.
This is your time to appeal against judgements on your submissions.
Appeals are being carefully reviewed by our judges.