pub fn decompress_g2( _: (Uint<256, 4>, Uint<256, 4>), ) -> Option<([Uint<256, 4>; 2], [Uint<256, 4>; 2])>