The first depositor in the priorityPool loses 10^3 tokens due to the initial allocation of "dead shares."
In the _mintShares function, the first depositor's minted tokens are reduced by DEAD_SHARES (10^3 tokens), which are assigned to address(0) when totalShares is initially zero.
The first depositor is unfairly penalized, losing 10^3 tokens due to this logic.
Manual review.
Mint the dead shares during initialization to prevent the first depositor from bearing this cost.
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.