pub trait ExtConst<F: Field, EF: ExtensionField<F>> { // Required method fn cons(self) -> SymbolicExt<F, EF>; }