zec
/
halo2
mirror of https://github.com/zcash/halo2.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Auxilary wires in PLONK are foux blinded just like fixed wires.

This commit is contained in:
Sean Bowe 2020-09-25 09:28:49 -06:00
parent 316a027784
commit 56b6d8bd03
No known key found for this signature in database
GPG Key ID: 95684257D8F8B031
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/plonk.rs
View File

@ -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 {

4
src/plonk/prover.rs
View File

@ -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],
);
}