ISP1Verifier

This contract is the interface for the SP1 Verifier.

function verifyProof(bytes32 programVKey, bytes publicValues, bytes proofBytes) external view

Verifies a proof with given public values and vkey.

It is expected that the first 4 bytes of proofBytes must match the first 4 bytes of target verifier's VERIFIER_HASH.

Name	Type	Description
programVKey	bytes32	The verification key for the RISC-V program.
publicValues	bytes	The public values encoded as bytes.
proofBytes	bytes	The proof of the program execution the SP1 zkVM encoded as bytes.

ISP1VerifierWithHash

This interface is the interface for the SP1 Verifier with a hash.

function VERIFIER_HASH() external pure returns (bytes32)

Returns the hash of the verifier.