Proof serialization

[chancehudson]

Hello, I'm building Spartan proofs and trying to serialize them for transportation. I see that to verify the SNARK instance i need the commitment, inputs, and public parameters (gens?).

These structs do not implement serde::Serialize, is this by design? Would y'all accept a PR adding this? It seems that some of the underlying structs derive Serialize but the higher level ones don't?

Is there another suggested way to serialize a proof and later verify?