Struct verifyIntegrityCall 

pub struct verifyIntegrityCall {
    pub receipt: <Receipt as SolType>::RustType,
}

@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.

function verifyIntegrity(Receipt calldata receipt) external view;

Fields

receipt: <Receipt as SolType>::RustType

Trait Implementations

impl Clone for verifyIntegrityCall

fn clone(&self) -> verifyIntegrityCall

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for verifyIntegrityCall

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for verifyIntegrityCall

fn default() -> verifyIntegrityCall

Returns the “default value” for a type.

impl Hash for verifyIntegrityCall

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for verifyIntegrityCall

fn eq(&self, other: &verifyIntegrityCall) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl SolCall for verifyIntegrityCall

const SIGNATURE: &'static str = "verifyIntegrity((bytes,bytes32))"

The function’s ABI signature.

const SELECTOR: [u8; 4]

The function selector: keccak256(SIGNATURE)[0..4]

type Parameters<'a> = (Receipt,)

The underlying tuple type which represents this type’s arguments.

type Token<'a> = <<verifyIntegrityCall as SolCall>::Parameters<'a> as SolType>::Token<'a>

The arguments’ corresponding TokenSeq type.

type Return = verifyIntegrityReturn

The function’s return struct.

type ReturnTuple<'a> = ()

The underlying tuple type which represents this type’s return values.

type ReturnToken<'a> = <<verifyIntegrityCall as SolCall>::ReturnTuple<'a> as SolType>::Token<'a>

The returns’ corresponding TokenSeq type.

fn new<'a>(tuple: <Self::Parameters<'a> as SolType>::RustType) -> Self

Convert from the tuple type used for ABI encoding and decoding.

fn tokenize(&self) -> Self::Token<'_>

Tokenize the call’s arguments.

fn tokenize_returns(ret: &Self::Return) -> Self::ReturnToken<'_>

Tokenize the call’s return values.

fn abi_decode_returns(data: &[u8]) -> Result<Self::Return>

ABI decode this call’s return values from the given slice.

fn abi_decode_returns_validate(data: &[u8]) -> Result<Self::Return>

ABI decode this call’s return values from the given slice, with validation.

fn abi_encoded_size(&self) -> usize

The size of the encoded data in bytes, without its selector.

fn abi_decode_raw(data: &[u8]) -> Result<Self, Error>

ABI decode this call’s arguments from the given slice, without its selector.

fn abi_decode_raw_validate(data: &[u8]) -> Result<Self, Error>

ABI decode this call’s arguments from the given slice, without its selector, with validation.

fn abi_decode(data: &[u8]) -> Result<Self, Error>

ABI decode this call’s arguments from the given slice, with the selector.

fn abi_decode_validate(data: &[u8]) -> Result<Self, Error>

ABI decode this call’s arguments from the given slice, with the selector, with validation.

fn abi_encode_raw(&self, out: &mut Vec<u8>)

ABI encode the call to the given buffer without its selector.

fn abi_encode(&self) -> Vec<u8>

ABI encode the call to the given buffer with its selector.

fn abi_encode_returns(ret: &Self::Return) -> Vec<u8>

ABI encode the call’s return value.

fn abi_encode_returns_tuple<'a, E>(e: &'a E) -> Vec<u8>

where E: SolTypeValue<Self::ReturnTuple<'a>>,

ABI encode the call’s return values.

impl Eq for verifyIntegrityCall

impl StructuralPartialEq for verifyIntegrityCall