Function: _hashInput(uint256[] _inputs)

Concatenates the first four elements in _inputs and returns the hash.

Inputs

• _inputs

  • Control: Fully controlled by caller.

  • Constraints: N/A; _inputs is assumed to be of length >= 4.

  • Impact: Used to compress public instances of a proof.

Branches and code coverage (including function calls)

Intended branches

• Hash computed correctly if _inputs.length >= 4.

  Test Coverage

Negative behavior

• Reverts if _inputs.length < 4.

  Test Coverage