arnaucube
arnaucube/ark-r1cs-stdPublic Self-hosted repository
Fix dangling batch normalization for twisted Edwards curves (#102)

* push

debug

see if gens are broken

see if we can find why

test

copy

copy

normalize-batch

remove debug

remove debug

remove debug

make it similar

* consistency

* type

Co-authored-by: onewayfunc <onewayfunc@gmail.com>
Weikeng Chen w.k@berkeley.edu
Sat, 03 Sep 2022 20:26:17 -0700
commit

2416780e0f514e0f3610ef145d5ace5fa20cb43e

parent

6b1cfd5396b2f0bc5be4e97174512847641a060f

1 files changed, 2 insertions(+), 2 deletions(-)

jump to
M src/groups/curves/twisted_edwards/mod.rs → src/groups/curves/twisted_edwards/mod.rs

@@ -540,9 +540,9 @@ .unzip();

let zero: TEAffine<P> = TEProjective::zero().into_affine(); for (bits, multiples) in bits.chunks(2).zip(multiples.chunks(2)) { if bits.len() == 2 { - let mut table = [multiples[0], multiples[1], multiples[0] + multiples[1]]; + let table_projective = [multiples[0], multiples[1], multiples[0] + multiples[1]]; - TEProjective::normalize_batch(&mut table); + let table = TEProjective::normalize_batch(&table_projective); let x_s = [zero.x, table[0].x, table[1].x, table[2].x]; let y_s = [zero.y, table[0].y, table[1].y, table[2].y];