Serialization

src/commitments.rs

@@ -1,9 +1,10 @@
 use super::group::{GroupElement, VartimeMultiscalarMul, GROUP_BASEPOINT_COMPRESSED};
 use super::scalar::Scalar;
 use digest::{ExtendableOutput, Input, XofReader};
+use serde::{Deserialize, Serialize};
 use sha3::Shake256;
 
-#[derive(Debug)]
+#[derive(Debug, Serialize, Deserialize)]
 pub struct MultiCommitGens {
   pub n: usize,
   pub G: Vec<GroupElement>,

src/dense_mlpoly.rs

@@ -14,13 +14,14 @@ use serde::{Deserialize, Serialize};
 #[cfg(feature = "multicore")]
 use rayon::prelude::*;
 
-#[derive(Debug)]
+#[derive(Debug, Serialize, Deserialize)]
 pub struct DensePolynomial {
   num_vars: usize, // the number of variables in the multilinear polynomial
   len: usize,
   Z: Vec<Scalar>, // evaluations of the polynomial in all the 2^num_vars Boolean inputs
 }
 
+#[derive(Serialize, Deserialize)]
 pub struct PolyCommitmentGens {
   pub gens: DotProductProofGens,
 }

src/lib.rs

@@ -45,17 +45,19 @@ use timer::Timer;
 use transcript::{AppendToTranscript, ProofTranscript};
 
 /// `ComputationCommitment` holds a public preprocessed NP statement (e.g., R1CS)
+#[derive(Serialize, Deserialize)]
 pub struct ComputationCommitment {
   comm: R1CSCommitment,
 }
 
 /// `ComputationDecommitment` holds information to decommit `ComputationCommitment`
+#[derive(Serialize, Deserialize)]
 pub struct ComputationDecommitment {
   decomm: R1CSDecommitment,
 }
 
 /// `Assignment` holds an assignment of values to either the inputs or variables in an `Instance`
-#[derive(Clone)]
+#[derive(Clone, Serialize, Deserialize)]
 pub struct Assignment {
   assignment: Vec<Scalar>,
 }
@@ -276,6 +278,7 @@ impl Instance {
 }
 
 /// `SNARKGens` holds public parameters for producing and verifying proofs with the Spartan SNARK
+#[derive(Serialize, Deserialize)]
 pub struct SNARKGens {
   gens_r1cs_sat: R1CSGens,
   gens_r1cs_eval: R1CSCommitmentGens,

src/nizk/mod.rs

@@ -404,6 +404,7 @@ impl DotProductProof {
   }
 }
 
+#[derive(Serialize, Deserialize)]
 pub struct DotProductProofGens {
   n: usize,
   pub gens_n: MultiCommitGens,

src/r1csinstance.rs

@@ -25,6 +25,7 @@ pub struct R1CSInstance {
   C: SparseMatPolynomial,
 }
 
+#[derive(Serialize, Deserialize)]
 pub struct R1CSCommitmentGens {
   gens: SparseMatPolyCommitmentGens,
 }
@@ -63,6 +64,7 @@ impl AppendToTranscript for R1CSCommitment {
   }
 }
 
+#[derive(Serialize, Deserialize)]
 pub struct R1CSDecommitment {
   dense: MultiSparseMatPolynomialAsDense,
 }

src/r1csproof.rs

@@ -36,6 +36,7 @@ pub struct R1CSProof {
   proof_eq_sc_phase2: EqualityProof,
 }
 
+#[derive(Serialize, Deserialize)]
 pub struct R1CSSumcheckGens {
   gens_1: MultiCommitGens,
   gens_3: MultiCommitGens,
@@ -57,6 +58,7 @@ impl R1CSSumcheckGens {
   }
 }
 
+#[derive(Serialize, Deserialize)]
 pub struct R1CSGens {
   gens_sc: R1CSSumcheckGens,
   gens_pc: PolyCommitmentGens,

src/sparse_mlpoly.rs

@@ -209,6 +209,7 @@ impl AppendToTranscript for DerefsCommitment {
   }
 }
 
+#[derive(Serialize, Deserialize)]
 struct AddrTimestamps {
   ops_addr_usize: Vec<Vec<usize>>,
   ops_addr: Vec<DensePolynomial>,
@@ -270,6 +271,7 @@ impl AddrTimestamps {
   }
 }
 
+#[derive(Serialize, Deserialize)]
 pub struct MultiSparseMatPolynomialAsDense {
   batch_size: usize,
   val: Vec<DensePolynomial>,
@@ -279,6 +281,7 @@ pub struct MultiSparseMatPolynomialAsDense {
   comb_mem: DensePolynomial,
 }
 
+#[derive(Serialize, Deserialize)]
 pub struct SparseMatPolyCommitmentGens {
   gens_ops: PolyCommitmentGens,
   gens_mem: PolyCommitmentGens,