pub fn poseidon_hash(left: Fp, right: Fp) -> Fp
Poseidon hash of two field elements (delegates to imt-tree for circuit consistency).