pub fn convolve<M: NttFriendly>( a: Vec<StaticModInt<M>>, b: Vec<StaticModInt<M>>, ) -> Vec<StaticModInt<M>>