Closed code423n4 closed 2 years ago
certora
there are unsafe casts from uint256 to uint64 in _calculateRewardAmount
use safe cast.
Duplicate of https://github.com/code-423n4/2021-12-pooltogether-findings/issues/58
Handle
certora
Vulnerability details
there are unsafe casts from uint256 to uint64 in _calculateRewardAmount
Recommended Mitigation Steps
use safe cast.