pub fn proof_trace_to_json(trace: &ProofTrace) -> String
Serialize a proof trace to its wire JSON string.