From f3f3641fb5fad15795b9bd2cc57870f1b6b20b69 Mon Sep 17 00:00:00 2001
From: Nicholas Ward <npward@berkeley.edu>
Date: Mon, 17 Apr 2023 11:23:58 -0700
Subject: [PATCH] rename

---
 plonky2/examples/fibonacci.rs        |  2 +-
 plonky2/src/plonk/circuit_builder.rs | 10 +++++-----
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/plonky2/examples/fibonacci.rs b/plonky2/examples/fibonacci.rs
index a90d49e2..459f4c9d 100644
--- a/plonky2/examples/fibonacci.rs
+++ b/plonky2/examples/fibonacci.rs
@@ -41,7 +41,7 @@ fn main() -> Result<()> {
     pw.set_target(initial_a, F::ZERO);
     pw.set_target(initial_b, F::ONE);
 
-    let data = builder.build_deterministic::<C>();
+    let data = builder.build_without_randomizing::<C>();
 
     let common_circuit_data_serialized = serde_json::to_string(&data.common).unwrap();
     fs::write("common_circuit_data.json", common_circuit_data_serialized)
diff --git a/plonky2/src/plonk/circuit_builder.rs b/plonky2/src/plonk/circuit_builder.rs
index d13bf9d0..c95e1d84 100644
--- a/plonky2/src/plonk/circuit_builder.rs
+++ b/plonky2/src/plonk/circuit_builder.rs
@@ -740,7 +740,7 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
     /// Builds a "full circuit", with both prover and verifier data.
     fn build_inner<C: GenericConfig<D, F = F>>(
         mut self,
-        deterministic: bool,
+        randomize_unused_pi_wires: bool,
     ) -> CircuitData<F, C, D>
     where
         [(); C::HCO::WIDTH]:,
@@ -765,7 +765,7 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
         {
             self.connect(hash_part, Target::wire(pi_gate, wire))
         }
-        if !deterministic {
+        if randomize_unused_pi_wires {
             self.randomize_unused_pi_wires(pi_gate);
         }
 
@@ -956,16 +956,16 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
         [(); C::HCO::WIDTH]:,
         [(); C::HCI::WIDTH]:,
     {
-        self.build_inner(false)
+        self.build_inner(true)
     }
 
     /// Build without randomizing PI wires
-    pub fn build_deterministic<C: GenericConfig<D, F = F>>(self) -> CircuitData<F, C, D>
+    pub fn build_without_randomizing<C: GenericConfig<D, F = F>>(self) -> CircuitData<F, C, D>
     where
         [(); C::HCO::WIDTH]:,
         [(); C::HCI::WIDTH]:,
     {
-        self.build_inner(true)
+        self.build_inner(false)
     }
 
     /// Builds a "prover circuit", with data needed to generate proofs but not verify them.