pub fn generate_trace_rows_for_perm<F: PrimeField, LinearLayers: GenericPoseidon2LinearLayers<WIDTH>, const WIDTH: usize, const SBOX_DEGREE: u64, const SBOX_REGISTERS: usize, const HALF_FULL_ROUNDS: usize, const PARTIAL_ROUNDS: usize>(
perm: &mut Poseidon2Cols<MaybeUninit<F>, WIDTH, SBOX_DEGREE, SBOX_REGISTERS, HALF_FULL_ROUNDS, PARTIAL_ROUNDS>,
state: [F; WIDTH],
constants: &RoundConstants<F, WIDTH, HALF_FULL_ROUNDS, PARTIAL_ROUNDS>,
)Expand description
rows will normally consist of 24 rows, with an exception for the final row.