Rigor Protocol contest - dharma09's results

IMPACT

Require statements including conditions with the && operator can be broken down in multiple require statements to save gas.

PROOF OF CONCEPT

Instances include:

Disputes.sol#L61

require(
            _disputeID < disputeCount &&
                disputes[_disputeID].status == Status.Active,
            "Disputes::!Resolvable"
        );

Disputes.sol#L106

 require(
            _actionType > 0 && _actionType <= uint8(ActionType.TaskPay),
            "Disputes::!ActionType"
        );

Community.sol#L353

 require(
            _lendingNeeded >= _communityProject.totalLent &&
                _lendingNeeded <= IProject(_project).projectCost(),
            "Community::invalid lending"
        );

MITIGATION

Breakdown each condition in a separate require statement

require(   _disputeID < disputeCount);
require(disputes[_disputeID].status == Status.Active,
            "Disputes::!Resolvable" );