Unused field

src/field/packable.rs

@@ -1,4 +1,3 @@
-
 use crate::field::field_types::Field;
 use crate::field::packed_field::{PackedField, Singleton};
 

src/plonk/circuit_builder.rs

@@ -587,7 +587,6 @@ impl<F: PrimeField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
             constants_sigmas_commitment,
             sigmas: transpose_poly_values(sigma_vecs),
             subgroup,
-            gate_instances: self.gate_instances,
             public_inputs: self.public_inputs,
             marked_targets: self.marked_targets,
             partition_witness,

src/plonk/circuit_data.rs

@@ -147,8 +147,6 @@ pub(crate) struct ProverOnlyCircuitData<F: PrimeField + Extendable<D>, const D:
     pub sigmas: Vec<Vec<F>>,
     /// Subgroup of order `degree`.
     pub subgroup: Vec<F>,
-    /// The concrete placement of each gate in the circuit.
-    pub gate_instances: Vec<GateInstance<F, D>>,
     /// Targets to be made public.
     pub public_inputs: Vec<Target>,
     /// A vector of marked targets. The values assigned to these targets will be displayed by the prover.