// SPDX-License-Identifier: Apache-2.0 OR MIT
pragma solidity 0.8.15;

interface IVerifier {
    function verifyProof(uint256[2] memory a, uint256[2][2] memory b, uint256[2] memory c, uint256[2] memory input)
        external
        view
        returns (bool);
}