Struct HyliOutput 

pub struct HyliOutput {

    pub version: u32,
    pub initial_state: StateCommitment,
    pub next_state: StateCommitment,
    pub identity: Identity,
    pub index: BlobIndex,
    pub blobs: IndexedBlobs,
    pub tx_blob_count: usize,
    pub tx_hash: TxHash,
    pub success: bool,
    pub state_reads: Vec<(ContractName, StateCommitment)>,
    pub tx_ctx: Option<TxContext>,
    pub onchain_effects: Vec<OnchainEffect>,
    pub program_outputs: Vec<u8>,
}

This struct has to be the zkvm committed output. It will be used by hyli node to verify & settle the blob transaction.

Fields

version: u32

The version of the HyliOutput. This is unchecked for now.

initial_state: StateCommitment

The initial state of the contract. This is the state before the transaction is executed.

next_state: StateCommitment

The state of the contract after the transaction is executed.

identity: Identity

The identity used to execute the transaction. This must match the one used in the BlobTransaction.

index: BlobIndex

The index of the blob being proven.

blobs: IndexedBlobs

The blobs that were used by the contract. It has to be a subset of the transaction blobs. It can be the complete list of blobs if the contract used all of them. No further semantic checks are enforced by node state: contracts and verifiers are responsible for validating that the provided blob subset is sufficient for their logic.

tx_blob_count: usize

Number of blobs in the transaction. This must match the originating BlobTransaction’s total blob count exactly.

tx_hash: TxHash

TxHash of the BlobTransaction.

success: bool

Whether the execution was successful or not. If false, the BlobTransaction will be settled as failed.

state_reads: Vec<(ContractName, StateCommitment)>

List of other contracts used by the proof. Each state commitment will be checked against the contract’s state when settling.

tx_ctx: Option<TxContext>

Optional - if empty, these won’t be checked, but also can’t be used inside the program.

onchain_effects: Vec<OnchainEffect>

program_outputs: Vec<u8>

Arbitrary data that could be used by indexers or other tools. Some contracts write a utf-8 string here, but it can be anything. Note: As this data is generated by the contract in the zkvm, this can be trusted.

Trait Implementations

impl BorshDeserialize for HyliOutput

fn deserialize_reader<__R: Read>(reader: &mut __R) -> Result<Self, Error>

fn deserialize(buf: &mut &[u8]) -> Result<Self, Error>

Deserializes this instance from a given slice of bytes. Updates the buffer to point at the remaining bytes.

fn try_from_slice(v: &[u8]) -> Result<Self, Error>

Deserialize this instance from a slice of bytes.

fn try_from_reader<R>(reader: &mut R) -> Result<Self, Error>

where R: Read,

impl BorshSerialize for HyliOutput

fn serialize<__W: Write>(&self, writer: &mut __W) -> Result<(), Error>

impl Clone for HyliOutput

fn clone(&self) -> HyliOutput

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl ComposeSchema for HyliOutput

fn compose(generics: Vec<RefOr<Schema>>) -> RefOr<Schema>

impl Debug for HyliOutput

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

Formats the value using the given formatter.

impl Default for HyliOutput

fn default() -> HyliOutput

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for HyliOutput

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hashed<HyliOutputHash> for HyliOutput

fn hashed(&self) -> HyliOutputHash

impl PartialEq for HyliOutput

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl ToSchema for HyliOutput

fn name() -> Cow<'static, str>

Return name of the schema.

fn schemas(schemas: &mut Vec<(String, RefOr<Schema>)>)

Implement reference utoipa::openapi::schema::Schemas for this type.

impl Eq for HyliOutput

impl StructuralPartialEq for HyliOutput