pub fn engine_from_perm<P>( perm: P, fri_params: FriParameters, ) -> GoldilocksPermutationEngine<P>where P: CryptographicPermutation<[Goldilocks; 8]> + CryptographicPermutation<[<Goldilocks as Field>::Packing; 8]> + Clone,