pub trait PolyExt { fn poly_ext(&self, ctx: &PolyExtContext, u: &[Fp4], args: &[&[Fp]]) -> MixState; }