Struct verifyCall

pub struct verifyCall {
    pub seal: Bytes,
    pub imageId: FixedBytes<32>,
    pub journalDigest: FixedBytes<32>,
}

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

function verify(bytes calldata seal, bytes32 imageId, bytes32 journalDigest) external view;

Fields

seal: Bytes

imageId: FixedBytes<32>

journalDigest: FixedBytes<32>

Trait Implementations

impl Clone for verifyCall

fn clone(&self) -> verifyCall

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for verifyCall

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

Formats the value using the given formatter.

impl Default for verifyCall

fn default() -> verifyCall

Returns the “default value” for a type.

impl Hash for verifyCall

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 verifyCall

fn eq(&self, other: &verifyCall) -> 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 verifyCall

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

The function’s ABI signature.

const SELECTOR: [u8; 4]

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

type Parameters<'a> = (Bytes, FixedBytes<32>, FixedBytes<32>)

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

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

The arguments’ corresponding TokenSeq type.

type Return = verifyReturn

The function’s return struct.

type ReturnTuple<'a> = ()

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

type ReturnToken<'a> = <<verifyCall 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 abi_decode_returns(data: &[u8], validate: bool) -> Result<Self::Return>

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

fn abi_encoded_size(&self) -> usize

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

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

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

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

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

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<'a, E>(e: &'a E) -> Vec<u8>

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

ABI encode the call’s return values.

impl Eq for verifyCall

impl StructuralPartialEq for verifyCall