VerifierModule.sol

// SPDX-License-Identifier: BUSL-1.1
pragma solidity 0.8.25;

import "../interfaces/modules/IVerifierModule.sol";

import "../libraries/SlotLibrary.sol";

import "./BaseModule.sol";

abstract contract VerifierModule is IVerifierModule, BaseModule {
    bytes32 private immutable _verifierModuleStorageSlot;

    constructor(string memory name_, uint256 version_) {
        _verifierModuleStorageSlot = SlotLibrary.getSlot("VerifierModule", name_, version_);
    }

    // View functions

    /// @inheritdoc IVerifierModule
    function verifier() public view returns (IVerifier) {
        return IVerifier(_verifierModuleStorage().verifier);
    }

    // Internal functions

    function __VerifierModule_init(address verifier_) internal onlyInitializing {
        if (verifier_ == address(0)) {
            revert ZeroAddress();
        }
        _verifierModuleStorage().verifier = verifier_;
    }

    function _verifierModuleStorage() private view returns (VerifierModuleStorage storage $) {
        bytes32 slot = _verifierModuleStorageSlot;
        assembly {
            $.slot := slot
        }
    }
}