Skip to main content

VerifierModule

Overview​

VerifierModule is an abstract extension of BaseModule designed to provide standardized access to a Verifier contract. It manages internal storage using a deterministic slot derived via SlotLibrary, supporting secure modular composition across multiple vault systems.

Configuration and State​

Constructor​

constructor(string memory name_, uint256 version_)

Computes and stores the custom storage slot used for verifier configuration based on a unique (name_, version_) pair.

Parameters:

  • name_ — Unique identifier used to namespace the storage slot.
  • version_ — Version number used for slot derivation.

Functions​

Public and External Functions​

verifier()​

function verifier() public view returns (IVerifier)

Returns the address of the configured Verifier contract. It is retrieved from internal storage using a fixed slot.

Returns:

  • IVerifier — The verifier contract associated with the module.

Internal Functions​

__VerifierModule_init(address verifier_)​

function __VerifierModule_init(address verifier_) internal onlyInitializing

Initializes the verifier module with the given verifier contract address. Validates non-zero address to prevent misconfiguration.

Parameters:

  • verifier_ — Address of the verifier contract.

Reverts:

  • ZeroAddress() if verifier address is zero.

Private Functions​

_verifierModuleStorage()​

function _verifierModuleStorage() private view returns (VerifierModuleStorage storage)

Internal function to access the VerifierModuleStorage struct using the precomputed custom slot. Utilizes inline assembly for direct storage access.

Returns:

  • VerifierModuleStorage — Storage struct holding verifier address.