diff --git a/plonky2/src/plonk/circuit_builder.rs b/plonky2/src/plonk/circuit_builder.rs index 8466480a..d13bf9d0 100644 --- a/plonky2/src/plonk/circuit_builder.rs +++ b/plonky2/src/plonk/circuit_builder.rs @@ -738,7 +738,10 @@ impl, const D: usize> CircuitBuilder { } /// Builds a "full circuit", with both prover and verifier data. - fn build_inner>(mut self, deterministic: bool) -> CircuitData + fn build_inner>( + mut self, + deterministic: bool, + ) -> CircuitData where [(); C::HCO::WIDTH]:, [(); C::HCI::WIDTH]:,