From cdbac7614976be2e293d94de7149e30374fe0973 Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Tue, 11 May 2021 10:01:35 +0200
Subject: [PATCH] Fixes based on PR comments

---
 src/prover.rs | 22 +---------------------
 1 file changed, 1 insertion(+), 21 deletions(-)

diff --git a/src/prover.rs b/src/prover.rs
index 0ec2fa9a..434d0084 100644
--- a/src/prover.rs
+++ b/src/prover.rs
@@ -116,7 +116,7 @@ pub(crate) fn prove<F: Field>(
         "to compute quotient polys and commit to them"
     );
 
-    challenger.observe_hash(&plonk_zs_commitment.merkle_tree.root);
+    challenger.observe_hash(&quotient_polys_commitment.merkle_tree.root);
 
     // TODO: How many do we need?
     let num_zetas = 2;
@@ -283,23 +283,3 @@ fn compute_wire_polynomial<F: Field>(
         .collect();
     PolynomialValues::new(wire_values).ifft()
 }
-
-fn compute_wire_lde<F: Field>(
-    input: usize,
-    witness: &PartialWitness<F>,
-    degree: usize,
-    rate_bits: usize,
-) -> PolynomialValues<F> {
-    let wire_values = (0..degree)
-        // Some gates do not use all wires, and we do not require that generators populate unused
-        // wires, so some wire values will not be set. We can set these to any value; here we
-        // arbitrary pick zero. Ideally we would verify that no constraints operate on these unset
-        // wires, but that isn't trivial.
-        .map(|gate| {
-            witness
-                .try_get_wire(Wire { gate, input })
-                .unwrap_or(F::ZERO)
-        })
-        .collect();
-    PolynomialValues::new(wire_values).lde(rate_bits)
-}