poseidon2_compression

prover::merkle

Function poseidon2_compression 

Source 
pub fn poseidon2_compression(
    left: Fp<MontBackend<FqConfig, 4>, 4>,
    right: Fp<MontBackend<FqConfig, 4>, 4>,
) -> Fp<MontBackend<FqConfig, 4>, 4>
Expand description

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.