Closed weikengchen closed 3 years ago
This PR adds the serialization for Proof.
A byproduct is that this PR adds serialization for ProverMsg, which is an enum type that automatic derivation panics.
This PR adds the serialization for Proof.
A byproduct is that this PR adds serialization for ProverMsg, which is an enum type that automatic derivation panics.