Function: _handleJoinSplits(Operation op)

This checks that a joinsplit is valid and nullifies assets unwrapped for it.

Inputs

• op

  • Control: Arbitrary --- proof must be valid.

  • Constraints: See negative behavior.

  • Impact: Operation to check the joinsplits of.

Branches and code coverage

Intended branches

• Operation's joinsplits are valid.

  Test coverage

Negative behavior

• Commitment tree root is not a past root.

  Negative test

• Nullifier already used.

  Negative test

• Notes to join are the same note with same nullifier.

  Negative test