all files / contracts/interfaces/ IVerifier.sol

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;
 
/// @title IVerifier
/// @dev https://developer.unirep.io/docs/contracts-api/verifiers/iverifier-sols
interface IVerifier {
    /// @dev https://developer.unirep.io/docs/contracts-api/verifiers/iverifier-sol#verifyproof
    /// @param publicSignals The public signals of the snark proof
    /// @param proof The proof data of the snark proof
    /// @return isValid True if the proof is valid, false otherwise
    function verifyProof(
        uint256[] calldata publicSignals,
        uint256[8] calldata proof
    ) external view returns (bool);
}