using operator && used more gas

[code423n4]

Handle

Tomio

Vulnerability details

Impact

using double require instead of operator && can save more gas

Proof of Concept

https://github.com/code-423n4/2022-01-insure/blob/main/contracts/Vault.sol#L154

Recommended Mitigation Steps

example:

using &&:

function check(uint x)public view{
    require(x == 0 && x < 1 );
}

// gas cost 21630

using double require:

    require(x == 0 );
    require( x < 1);
    }
}
// gas cost 21622