From 56b6d8bd0385fa1fbd813440ee97165b21b1c0df Mon Sep 17 00:00:00 2001
From: Sean Bowe <ewillbefull@gmail.com>
Date: Fri, 25 Sep 2020 09:28:49 -0600
Subject: [PATCH] Auxilary wires in PLONK are foux blinded just like fixed
 wires.

---
 src/plonk.rs        | 2 +-
 src/plonk/prover.rs | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/plonk.rs b/src/plonk.rs
index 968afb2b..1dc9ab14 100644
--- a/src/plonk.rs
+++ b/src/plonk.rs
@@ -375,7 +375,7 @@ fn test_proving() {
     pubinputs[0] = Fp::one();
     pubinputs[0] += Fp::one();
     let pubinput = params
-        .commit_lagrange(&pubinputs, Blind(Field::zero()))
+        .commit_lagrange(&pubinputs, Blind(Field::one()))
         .to_affine();
 
     for _ in 0..100 {
diff --git a/src/plonk/prover.rs b/src/plonk/prover.rs
index 4b6573eb..f036b953 100644
--- a/src/plonk/prover.rs
+++ b/src/plonk/prover.rs
@@ -96,7 +96,7 @@ impl<C: CurveAffine> Proof<C> {
         // Compute commitments to aux wire polynomials
         let aux_commitments_projective: Vec<_> = aux
             .iter()
-            .map(|poly| params.commit_lagrange(poly, Blind(C::Scalar::zero()))) // TODO: bad blind?
+            .map(|poly| params.commit_lagrange(poly, Blind::default()))
             .collect();
         let mut aux_commitments = vec![C::zero(); aux_commitments_projective.len()];
         C::Projective::batch_to_affine(&aux_commitments_projective, &mut aux_commitments);
@@ -501,7 +501,7 @@ impl<C: CurveAffine> Proof<C> {
                 accumulate(
                     point_index,
                     &aux_polys[wire.0],
-                    Blind(C::Scalar::zero()),
+                    Blind::default(),
                     aux_evals[query_index],
                 );
             }