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