From 30e58ad22eab49ed21e6d0a2f1ca9bd111b713c6 Mon Sep 17 00:00:00 2001
From: Nicholas Ward <npward@berkeley.edu>
Date: Mon, 1 May 2023 10:33:53 -0700
Subject: [PATCH] remove ProofChallenges serialization

---
 plonky2/examples/fibonacci_serialization.rs | 10 ----------
 plonky2/src/fri/proof.rs                    |  1 -
 plonky2/src/plonk/proof.rs                  |  1 -
 3 files changed, 12 deletions(-)

diff --git a/plonky2/examples/fibonacci_serialization.rs b/plonky2/examples/fibonacci_serialization.rs
index 68943457..715561e7 100644
--- a/plonky2/examples/fibonacci_serialization.rs
+++ b/plonky2/examples/fibonacci_serialization.rs
@@ -60,16 +60,6 @@ fn main() -> Result<()> {
     let proof_serialized = serde_json::to_string(&proof).unwrap();
     fs::write("proof_with_public_inputs.json", proof_serialized).expect("Unable to write file");
 
-    let proof_challenges = proof
-        .get_challenges(
-            proof.get_public_inputs_hash(),
-            &data.verifier_only.circuit_digest,
-            &data.common,
-        )
-        .unwrap();
-    let proof_challenges_serialized = serde_json::to_string(&proof_challenges).unwrap();
-    fs::write("proof_challenges.json", proof_challenges_serialized).expect("Unable to write file");
-
     println!(
         "100th Fibonacci number mod |F| (starting with {}, {}) is: {}",
         proof.public_inputs[0], proof.public_inputs[1], proof.public_inputs[2]
diff --git a/plonky2/src/fri/proof.rs b/plonky2/src/fri/proof.rs
index d00feb4c..326001fd 100644
--- a/plonky2/src/fri/proof.rs
+++ b/plonky2/src/fri/proof.rs
@@ -393,7 +393,6 @@ impl<F: RichField + Extendable<D>, HCO: HashConfig, H: Hasher<F, HCO>, const D:
     }
 }
 
-#[derive(Serialize)]
 pub struct FriChallenges<F: RichField + Extendable<D>, const D: usize> {
     // Scaling factor to combine polynomials.
     pub fri_alpha: F::Extension,
diff --git a/plonky2/src/plonk/proof.rs b/plonky2/src/plonk/proof.rs
index fe4a0511..86203dd1 100644
--- a/plonky2/src/plonk/proof.rs
+++ b/plonky2/src/plonk/proof.rs
@@ -276,7 +276,6 @@ impl<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, const D: usize>
     }
 }
 
-#[derive(Serialize)]
 pub struct ProofChallenges<F: RichField + Extendable<D>, const D: usize> {
     /// Random values used in Plonk's permutation argument.
     pub plonk_betas: Vec<F>,