Function: setZKVerifier(address _verifier)

This sets the zero-knowledge verifier address.

Inputs

• _verifier

  • Control: Full.

  • Constraints: Needs to be a valid address.

  • Impact: The zero-knowledge verifier address.

Branches and code coverage (including function calls)

Intended branches

• Owner successfully invokes function.

  Test coverage

Negative behavior

• Function reverts if invoked by nonowner.

  Negative test