Assessment reports>Nocturne>Threat Model>instantiateETHMultiDeposit

Function: instantiateETHMultiDeposit(uint256[] values, CompressedStealthAddress depositAddr)

This instantiates a series of ETH deposit requests.

Inputs

  • values

    • Control: Arbitrary.

    • Constraints: Transfer of sum of values must succeed. Deposit-size maximum enforced.

    • Impact: Transfers values and issues deposit requests for values.

  • depositAddr

    • Control: Arbitrary.

    • Constraints: None. (If not a valid address, complete will fail.)

    • Impact: Copied to deposit request.

Branches and code coverage

Intended branches

  • Instantiates deposit.

Negative behavior

  • Deposit size exceeds maximum.

  • Not enough ETH sent with call.

  • Gas compensation split uneven.

Zellic © 2024Back to top ↑