Struct ProofPublicOutputs 

pub struct ProofPublicOutputs {

    pub start_height: u32,
    pub end_height: u32,
    pub start_hash: [u8; 32],
    pub start_prev_hash: [u8; 32],
    pub tip_hash: [u8; 32],
    pub tip_prev_hash: [u8; 32],
    pub cumulative_difficulty: u64,
    pub final_commitment: [u8; 32],
    pub final_state_commitment: [u8; 32],
    pub num_headers: u32,
    pub tip_tree_root: [u8; 32],
    pub tip_nullifier_root: [u8; 32],
    pub final_actions_commitment: [u8; 32],
}

Public outputs claimed by the prover.

These values are extracted from the committed trace at fixed offsets and bound to the Fiat-Shamir transcript before proving, so they cannot be swapped after proof generation. However, the Ligerito proof itself does NOT constrain these values — a malicious prover can claim arbitrary outputs for any valid polynomial commitment.

Security model

Under the honest-prover assumption (zidecar), the values are correct because the prover honestly extracts them from the trace. The cross- verification layer (BFT majority against independent lightwalletd nodes) detects a malicious prover claiming forged outputs.

For sound proof composition, evaluation opening proofs binding these values to specific polynomial positions are required (not yet implemented).

Fields

start_height: u32

end_height: u32

start_hash: [u8; 32]

First block hash (known checkpoint).

start_prev_hash: [u8; 32]

prev_hash of first block. Links to previous proof’s tip_hash.

tip_hash: [u8; 32]

Last block hash. Verify against external checkpoint.

tip_prev_hash: [u8; 32]

cumulative_difficulty: u64

final_commitment: [u8; 32]

Running header hash chain result.

final_state_commitment: [u8; 32]

Running state root chain result.

num_headers: u32

tip_tree_root: [u8; 32]

Orchard commitment tree root at tip.

tip_nullifier_root: [u8; 32]

Nullifier root (NOMT) at tip.

final_actions_commitment: [u8; 32]

Running actions commitment chain result.

Trait Implementations

impl Clone for ProofPublicOutputs

fn clone(&self) -> ProofPublicOutputs

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofPublicOutputs

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProofPublicOutputs

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ProofPublicOutputs

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

where __S: Serializer,

Serialize this value into the given Serde serializer.