Function poseidon2_compression 

pub fn poseidon2_compression(left: FpBN256, right: FpBN256) -> FpBN256

Poseidon2 compression for merkle tree nodes

Computes P(left, right)[0] + left where P is the Poseidon2 permutation. This matches the feed-forward compression used in Circom circuits.