stake.link

Summary

The contract has a flaw where it may lose precision when dividing odd integers by two. This
is because in Solidity, integer division is floor division, meaning that the result of the division operation will be the largest integer less than or equal to the exact result.

Impact

when an odd integer is divided by two, the result will be rounded down, leading to a loss of precision.

Tools Used

Manual review

Recommendations

When dividing an amount by two, consider taking the first amount as the division result by
two, and the second one to be the total amount minus the first one.