Unnecessary checked arithmetic in for loops

[code423n4]

Handle

pants

Vulnerability details

There is no risk of overflow caused by increaments to the iteration index in for loops (the i++ in for (uint256 i = 0; i < numIterations; i++)).

Impact

Increaments perform overflow checks that are not necessary in this case.

Tool Used

Manual code review.

Recommended Mitigation Steps

Surround the increament expressions with an unchecked { ... } block to avoid the default overflow checks. For example, change the loop

for (uint256 i = 0; i < numIterations; i++) {
	// ...
}

to

for (uint256 i = 0; i < numIterations;) {
	// ...
	unchecked { i++; }
}

It is a little less readable but it saves a significant amount of gas.

[GalloDaSballo]

Agree with the improvement