pub fn g1_on_curve_vesta(p: G1_vesta) -> bool