Implements serde for hypernova prover and verifier params, proof and public inputs. Serding the ccs could make serialization costs increase quickly, so I did not implement the CanonicalDeserialize trait for Hypernova, ProverParams and VerifierParams.
For testing, I followed the same logic as what is being done in test_decider_serialization for nova. Testing is done here.
Implements serde for hypernova prover and verifier params, proof and public inputs. Serding the ccs could make serialization costs increase quickly, so I did not implement the
CanonicalDeserializetrait forHypernova,ProverParamsandVerifierParams.For testing, I followed the same logic as what is being done in
test_decider_serializationfor nova. Testing is done here.