For the complete documentation index, see llms.txt.
aztec-nr - noir_aztec::protocol::blob_data

Function compute_tx_effect_leaf

pub fn compute_tx_effect_leaf(
    tx_effect: TxEffect,
    array_lengths: TxEffectArrayLengths,
) -> Field

This tx's leaf of the block's tx effects tree: a hash binding the tx hash to the hash of the tx's effects.

A holder of the block header can verify "tx X was included in this block and produced exactly effects E" with a membership proof against BlockHeader.tx_effects_tree_root.