diff --git a/src/standard/BaseStandardVerifier.sol b/src/standard/BaseStandardVerifier.sol index 27056d3..193169c 100644 --- a/src/standard/BaseStandardVerifier.sol +++ b/src/standard/BaseStandardVerifier.sol @@ -155,7 +155,7 @@ abstract contract BaseStandardVerifier { * @param _publicInputs - An array of the public inputs * @return True if proof is valid, reverts otherwise */ - function verify(bytes calldata _proof, bytes32[] calldata _publicInputs) external view returns (bool) { + function verify(bytes calldata _proof, bytes32[] calldata _publicInputs) public view returns (bool) { loadVerificationKey(N_LOC, OMEGA_INVERSE_LOC); // @note - The order of the checks in this implementation differs from the paper to save gas. uint256 requiredPublicInputCount; diff --git a/src/ultra/BaseUltraVerifier.sol b/src/ultra/BaseUltraVerifier.sol index 1d2842c..f08316d 100644 --- a/src/ultra/BaseUltraVerifier.sol +++ b/src/ultra/BaseUltraVerifier.sol @@ -302,7 +302,7 @@ abstract contract BaseUltraVerifier { * @param _publicInputs - An array of the public inputs * @return True if proof is valid, reverts otherwise */ - function verify(bytes calldata _proof, bytes32[] calldata _publicInputs) external view returns (bool) { + function verify(bytes calldata _proof, bytes32[] calldata _publicInputs) public view returns (bool) { loadVerificationKey(N_LOC, OMEGA_INVERSE_LOC); uint256 requiredPublicInputCount;