Open
Description
This looks great! I looked into
WideScalarMul
for instance size 2 and I didn't neither come with a nice algorithm given the algorithms we use inScalarMul
andScalarMulBase
. For 2-chains GLV, indeed I don't think it would save constraints because the loop size there is bounded bylambda
the (fixed) endomorphism eigenvalue size. Maybe for later we can try the approach of using GLV only if the scalar is uniformly random inFr
and using the bounded scalar approach if the scalar are of a particular form e.g. smaller than halflambda
. But this not crucial for now and it needs benchmarking to confirm.
Originally posted by @yelhousni in #934 (review)