Struct TxProvingResult 

pub struct TxProvingResult {
    pub tx_hash: Option<TxHash>,
    pub private_execution_result: Value,
    pub public_inputs: PrivateKernelTailCircuitPublicInputs,
    pub chonk_proof: ChonkProof,
    pub contract_class_log_fields: Vec<ContractClassLogFields>,
    pub public_function_calldata: Vec<HashedValues>,
    pub stats: Option<Value>,
}

Result of proving a transaction via the PXE.

Mirrors the upstream stdlib proving result shape closely enough for the wallet to materialize the node-facing Tx envelope.

Fields

tx_hash: Option<TxHash>

Canonical tx hash computed from the tail public inputs.

private_execution_result: Value

Structured private execution result.

public_inputs: PrivateKernelTailCircuitPublicInputs

Serialized private-kernel tail public inputs.

chonk_proof: ChonkProof

Serialized chonk proof.

contract_class_log_fields: Vec<ContractClassLogFields>

Contract-class log preimages.

public_function_calldata: Vec<HashedValues>

Calldata preimages for enqueued public calls.

stats: Option<Value>

Optional proving or profiling stats.

Implementations

impl TxProvingResult

pub fn to_tx(&self) -> Tx

Convert the proving result into the node-facing transaction payload.

This matches upstream TxProvingResult.toTx() semantics:

• Contract class log fields are included as-is (already collected/sorted by the prover)
• Public function calldata preimages are included for hash verification
• The tx hash would be computed from the public inputs (done by the node)

pub fn validate(&self) -> Result<(), Error>

Validate the internal consistency of the proving result.

Checks the same invariants that the node’s DataTxValidator would check:

• Calldata count matches number of public calls
• Contract class log count matches log hashes in public inputs

Trait Implementations

impl Clone for TxProvingResult

fn clone(&self) -> TxProvingResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TxProvingResult

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

Formats the value using the given formatter.

impl Default for TxProvingResult

fn default() -> TxProvingResult

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for TxProvingResult

fn deserialize<__D>( __deserializer: __D, ) -> Result<TxProvingResult, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for TxProvingResult

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

where __S: Serializer,

Serialize this value into the given Serde serializer.