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?
Hello, I'm building Spartan proofs and trying to serialize them for transportation. I see that to verify the
SNARKinstance 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 deriveSerializebut the higher level ones don't?Is there another suggested way to serialize a proof and later verify?