Struct okCall

pub struct okCall {
    pub imageId: FixedBytes<32>,
    pub journalDigest: FixedBytes<32>,
}

@notice Construct a ReceiptClaim from the given imageId and journalDigest. Returned ReceiptClaim will represent a successful execution of the zkVM, running the program committed by imageId and resulting in the journal specified by journalDigest. @param imageId The identifier for the guest program. @param journalDigest The SHA-256 digest of the journal bytes. @dev Input hash and postStateDigest are set to all-zeros (i.e. no committed input, or final memory state), the exit code is (Halted, 0), and there are no assumptions (i.e. the receipt is unconditional). Function with signature ok(bytes32,bytes32) and selector 0xdfc1245e.

function ok(bytes32 imageId, bytes32 journalDigest) internal pure returns (ReceiptClaim memory) { <stmts> }

Fields

imageId: FixedBytes<32>

journalDigest: FixedBytes<32>

Trait Implementations

impl Clone for okCall

fn clone(&self) -> okCall

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for okCall

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

Formats the value using the given formatter.

impl Default for okCall

fn default() -> okCall

Returns the “default value” for a type.

impl Hash for okCall

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 okCall

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

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

The function’s ABI signature.

const SELECTOR: [u8; 4]

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

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

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

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

The arguments’ corresponding TokenSeq type.

type Return = okReturn

The function’s return struct.

type ReturnTuple<'a> = (ReceiptClaim,)

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

type ReturnToken<'a> = <<okCall 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 okCall

impl StructuralPartialEq for okCall