💡 Note this is an attempt at removing G: CurveGroup<ScalarField = F> from all ZK-related functions
G: CurveGroup<ScalarField = F>