Function: _processJoinSplitsReservingFee(Operation op, uint256 perJoinSplitVerifyGas)

This is called by handleOperation to unwrap assets for the operation (nullifying unwrapped assets), transferring assets minus the amount reserved for the gas to the Handler (this).

Inputs

• op

  • Control: Arbitrary --- proof must be valid. Tracked assets are whitelisted.

  • Constraints: None.

  • Impact: Operation to run.

• perJoinSplitVerifyGas

  • Control: None.

  • Constraints: None.

  • Impact: Amount to reserve (withhold from the Handler) to pay for gas.

Branches and code coverage

Intended branches

• Assets unwrap successfully.

  Test coverage

Negative behavior

• Tree root not past tree root.

  Negative test

• Note to be unwrapped already used (nullifier set).

  Negative test

• Not enough assets to cover gas.

  Negative test