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.

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.

Public & 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.

​Overview

​Constructor

​Public & External Functions

​verifier()

​Internal Functions

​__VerifierModule_init(address verifier_)

​Private Functions

​_verifierModuleStorage()