SettlementConfiguration.requireDataStreamsReportIsValid does not check ask and bid values.
requireDataStreamsReportIsValid
does not check ask and bid values. They are int192, so must be checked if they are positive and ask is greater than bid.
Invalid premiumReport.ask or bid can be used as a mark price and cause wrong profit/loss to users.
Manual
Update as below.
https://github.com/Cyfrin/2024-07-zaros/blob/7439d79e627286ade431d4ea02805715e46ccf42/src/perpetuals/leaves/SettlementConfiguration.sol#L97-L103
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.