franklin-crypto icon indicating copy to clipboard operation
franklin-crypto copied to clipboard

Published 20 hours ago • verified publisher icon matter-labs

Fix naive range checks in bigint_new

Open tim-becker opened this issue 1 year ago • 0 comments

We noticed a few bugs with the naive strategy for range checks:

  1. The code assumed the wrong bit order fromBitIterator
  2. In the fast case (num_bits < 4), the linear combination check wasn't actually being enforced
  3. In the other case, d_next_coeff was being updated incorrectly.

tim-becker avatar Mar 12 '23 04:03 tim-becker