add derive serialize&deserialize for VerifierOnlyCircuitData

arnaucube · arnaucube · commit cdb4a11ca2cc · 2025-08-15T16:11:22.000Z
(needed for the onchain verification flow)
diff --git a/plonky2/src/plonk/circuit_data.rs b/plonky2/src/plonk/circuit_data.rs
@@ -388,7 +388,7 @@ impl<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, const D: usize>
 }
 
 /// Circuit data required by the verifier, but not the prover.
-#[derive(Debug, Clone, Eq, PartialEq)]
+#[derive(Debug, Clone, Eq, PartialEq, Serialize, Deserialize)]
 pub struct VerifierOnlyCircuitData<C: GenericConfig<D>, const D: usize> {
     /// A commitment to each constant polynomial and each permutation polynomial.
     pub constants_sigmas_cap: MerkleCap<C::F, C::Hasher>,

Original file line number	Diff line number	Diff line change
`@@ -388,7 +388,7 @@ impl<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, const D: usize>`
`388`	`388`	`}`
`389`	`389`
`390`	`390`	`/// Circuit data required by the verifier, but not the prover.`
`391`		`-#[derive(Debug, Clone, Eq, PartialEq)]`
	`391`	`+#[derive(Debug, Clone, Eq, PartialEq, Serialize, Deserialize)]`
`392`	`392`	`pub struct VerifierOnlyCircuitData<C: GenericConfig<D>, const D: usize> {`
`393`	`393`	`/// A commitment to each constant polynomial and each permutation polynomial.`
`394`	`394`	`pub constants_sigmas_cap: MerkleCap<C::F, C::Hasher>,`