Struct GuestInput

pub struct GuestInput {
    pub state: GuestState,
    pub claims: Vec<ReceiptClaim>,
    pub finalize: bool,
}

Input of the aggregation set builder guest.

Fields

state: GuestState

State of the incremental set building process. On first run, this will be the initial state, which does not require verification (it is trivially true that an empty set contains no false claims). On subsequent runs, it will be set to the state written to the journal by the last run of the set builder guest.

claims: Vec<ReceiptClaim>

Vector of claims to be verified and added to the set of verified claims committed to by the MerkleMountainRange.

finalize: bool

Whether or not to finalize the Merkle mountain range at the end of guest execution.

A finalized MerkleMountainRange cannot have additional leaves added, but is guaranteed to be a single root. The MerkleMountainRange should be finalized to obtain the root for use with the Solidity set verifier contract.

Trait Implementations

impl Clone for GuestInput

fn clone(&self) -> GuestInput

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for GuestInput

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for GuestInput

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for GuestInput

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.