pub fn compute_block_tx_ids_spec(block: &Block) -> Vec<[u8; 32]>Expand description
Compute { Hash(tx) : tx ∈ block.transactions } for ComputeMerkleRoot (Orange Paper §8.4.1).
Spec reference: sequential calculate_tx_id only (no rayon, no &mut Vec, no cfg in the
body). blvm-spec-lock Z3 translates this for determinism/ensures. Optimized paths in
compute_block_tx_ids_into are tested to match this result.