pub fn default_engine() -> GoldilocksPoseidonEngineExpand description
pcs_log_degree is the upper bound on the log_2(PCS polynomial degree).
pub fn default_engine() -> GoldilocksPoseidonEnginepcs_log_degree is the upper bound on the log_2(PCS polynomial degree).