Assessment reports>Nocturne>Threat Model>depositFunds

Function: depositFunds(Deposit deposit)

This is called by an authorized deposit source to deposit funds. Inserts the refund note into the Merkle tree if valid.

Inputs

  • deposit

    • Control: Arbitrarily set by caller.

    • Constraints: None checked by this contract (see Handler.handleDeposit in section ref for more details).

    • Impact: Calls Handler.handleDeposit with deposit and transfers deposit.encodedAsset (assumed to be an ERC-20 token) from sender to Teller.

Branches and code coverage

Intended branches

  • Call into Handler.handleDeposit.

Negative behavior

  • Contract is paused.

  • Caller is not deposit source.

  • handleDeposit reverts.

Zellic © 2024Back to top ↑