Module IRiscZeroVerifier 

@notice Verifier interface for RISC Zero receipts of execution.

interface IRiscZeroVerifier {
    function verify(bytes calldata seal, bytes32 imageId, bytes32 journalDigest) external view;
    function verifyIntegrity(Receipt calldata receipt) external view;
}

Structs

IRiscZeroVerifierInstance

A IRiscZeroVerifier instance.

verifyCall

@notice Verify that the given seal is a valid RISC Zero proof of execution with the given image ID and journal digest. Reverts on failure. @dev This method additionally ensures that the input hash is all-zeros (i.e. no committed input), the exit code is (Halted, 0), and there are no assumptions (i.e. the receipt is unconditional). @param seal The encoded cryptographic proof (i.e. SNARK). @param imageId The identifier for the guest program. @param journalDigest The SHA-256 digest of the journal bytes. Function with signature verify(bytes,bytes32,bytes32) and selector 0xab750e75.

verifyIntegrityCall

@notice Verify that the given receipt is a valid RISC Zero receipt, ensuring the seal is valid a cryptographic proof of the execution with the given claim. Reverts on failure. @param receipt The receipt to be verified. Function with signature verifyIntegrity((bytes,bytes32)) and selector 0x1599ead5.

verifyIntegrityReturn

@notice Verify that the given receipt is a valid RISC Zero receipt, ensuring the seal is valid a cryptographic proof of the execution with the given claim. Reverts on failure. @param receipt The receipt to be verified. Container type for the return parameters of the verifyIntegrity((bytes,bytes32)) function.

verifyReturn

@notice Verify that the given seal is a valid RISC Zero proof of execution with the given image ID and journal digest. Reverts on failure. @dev This method additionally ensures that the input hash is all-zeros (i.e. no committed input), the exit code is (Halted, 0), and there are no assumptions (i.e. the receipt is unconditional). @param seal The encoded cryptographic proof (i.e. SNARK). @param imageId The identifier for the guest program. @param journalDigest The SHA-256 digest of the journal bytes. Container type for the return parameters of the verify(bytes,bytes32,bytes32) function.

Enums

IRiscZeroVerifierCalls

Container for all the IRiscZeroVerifier function calls.

Functions

new

Creates a new wrapper around an on-chain IRiscZeroVerifier contract instance.