GroupProjective serializes to different byte arrays even when "equal"

[nirvantyagi]

GroupProjective (https://github.com/scipr-lab/zexe/blob/master/algebra/src/curves/models/short_weierstrass_jacobian.rs#L221) serializes based on the (X, Y, Z) elliptic curve coordinates (https://github.com/scipr-lab/zexe/blob/master/algebra/src/curves/models/short_weierstrass_jacobian.rs#L267) which results in different serializations even when the group elements are "equal", i.e., project to the same affine point (https://github.com/scipr-lab/zexe/blob/master/algebra/src/curves/models/short_weierstrass_jacobian.rs#L234).

This means that if trying to generically work with GroupProjective as a Group, hashing two group elements that are supposed to be equal will result in different outputs. This breaks primitives that rely on Fiat-Shamir non-interactive challenges.

[nirvantyagi]

Commit 5fa9b2d identifies serialization mismatch.

[nirvantyagi]

Commit d2139bf pushes temporary workaround that parameterizes the algebraic MAC with ProjectiveCurve allowing the serialization to use the affine group element.

The fix is not robust; it only serializes the commitment group elements using the affine representation. These are the elements that are calculated in different ways so they end up in different projective representations. The public key and public parameters are serialized normally.