Code

Sswu fp generic rebased#147

Code

Merged

Tabaie merged 48 commits intodevelopConsensys/gnark-crypto:developfrom sswu-fp-generic-rebasedConsensys/gnark-crypto:sswu-fp-generic-rebasedCopy head branch name to clipboardFeb 8, 2022

+2,354-943

Commits

Commits on Feb 4, 2022

• test: vectors form standard doc for existing ExpandMsgXmd implementation

  Tabaie

  committed
  c919e01

  Copy full SHA for c919e01

• feat: SqrtRatio. Non-qr case fails

  Tabaie

  committed
  17aeb03

  Copy full SHA for 17aeb03

• fix: sqrtRatio for p = 3 mod 4 works

  Tabaie

  committed
  6bfcc30

  Copy full SHA for 6bfcc30

• feat: BLS12-381 G1 isogeny (very inefficient)

  Tabaie

  committed
  507ca74

  Copy full SHA for 507ca74

• test: extracting test data for iso-g1 from faz's implementation

  Tabaie

  committed
  455bf6e

  Copy full SHA for 455bf6e

• fix: first G1 isogeny test passes

  Tabaie

  committed
  9b2fd2d

  Copy full SHA for 9b2fd2d

• fix: bls12-381 g1 encode to curve works

  Tabaie

  committed
  ecdccfd

  Copy full SHA for ecdccfd

• feat: "generify" additional field operations

  Tabaie

  committed
  779ce84

  Copy full SHA for 779ce84

• feat: bls12-381 HashToG1 works

  Tabaie

  committed
  c917245

  Copy full SHA for c917245

• style: Isogeny to be package-private

  Tabaie

  committed
  0e2b871

  Copy full SHA for 0e2b871

• feat: attempt to generate evaluate_poly

  Tabaie

  committed
  cc710ba

  Copy full SHA for cc710ba

• fix: Generic TestElement0Inverse error

  Tabaie

  committed
  d916b6e

  Copy full SHA for d916b6e

• fix: No isogeny func if no isogeny data

  Tabaie

  committed
  4361593

  Copy full SHA for 4361593

• fix: some eval_poly debugging

  Tabaie

  committed
  2c93fa2

  Copy full SHA for 2c93fa2

• feat: generic isogeny map

  Tabaie

  committed
  732bfd7

  Copy full SHA for 732bfd7

• style: cleanup

  Tabaie

  committed
  b732679

  Copy full SHA for b732679

• refactor: CurveInfo

  Tabaie

  committed
  8891ff0

  Copy full SHA for 8891ff0

• feat!: encode sqrtRatio params

  Tabaie

  committed
  08aab66

  Copy full SHA for 08aab66

• feat: move big int slicing to bavard

  Tabaie

  committed
  8c4ec36

  Copy full SHA for 8c4ec36

• test: c1 value computed correctly. c2 is wrong

  Tabaie

  committed
  fbe681c

  Copy full SHA for fbe681c

• feat: standardize sqrt

  Tabaie

  committed
  dd04c50

  Copy full SHA for dd04c50

• feat: bls12-381 g1 hash auto generated

  Tabaie

  committed
  2800d94

  Copy full SHA for 2800d94

• feat: precomputed values for q = 1 mod 8

  Tabaie

  committed
  6f2c29c

  Copy full SHA for 6f2c29c

• feat: sqrtRatio for any field, needs tests

  Tabaie

  committed
  ea4b64c

  Copy full SHA for ea4b64c

• fix: sqrtRatio works for bls12-377 (p = 1 mod 8)

  Tabaie

  committed
  eb6fb33

  Copy full SHA for eb6fb33

• fix: all sqrtRatio works

  Tabaie

  committed
  e8b8bdd

  Copy full SHA for e8b8bdd

• style: Cleanup and test vectors for for bls12-381 G1

  Tabaie

  committed
  fc0ebf1

  Copy full SHA for fc0ebf1

• fix: remove useless mulBy11 test, replace mulBy11 with mulByZ

  Tabaie

  committed
  a3c3c72

  Copy full SHA for a3c3c72

• fix: some feedback addressed

  Tabaie

  committed
  1a6c76d

  Copy full SHA for 1a6c76d

• chore: addressed all "small" feedback points

  Tabaie

  committed
  c6ce9f9

  Copy full SHA for c6ce9f9

• revert: Inverse0 to have own PR

  Tabaie

  committed
  679df1d

  Copy full SHA for 679df1d

• style: rename TempForHash to HashUtils

  Tabaie

  committed
  40d2b93

  Copy full SHA for 40d2b93

• refactor: Move field related funcs to field.Field

  Tabaie

  committed
  30ea708

  Copy full SHA for 30ea708

• refactor: property based testing of IntToMont

  Tabaie

  committed
  b71fe21

  Copy full SHA for b71fe21

• chore: removed redundant function SetHex

  Tabaie

  committed
  e73cbff

  Copy full SHA for e73cbff

• refactor: property based testing for SqrtRatio, move sgn0 to ecc package

  Tabaie

  committed
  a838775

  Copy full SHA for a838775

• test: for BigIntMatchUint64Slice with verbose error messages

  Tabaie

  committed
  d7600cd

  Copy full SHA for d7600cd

• test: include decimal in error msg

  Tabaie

  committed
  ecb9aee

  Copy full SHA for ecb9aee

• test: obnoxious verbosity

  Tabaie

  committed
  9304eff

  Copy full SHA for 9304eff

• test: possible fix

  Tabaie

  committed
  7f9a50e

  Copy full SHA for 7f9a50e

• style: remove excessive logs

  Tabaie

  committed
  9b5c3fb

  Copy full SHA for 9b5c3fb

• fix: constant-time sqrtRatio

  Tabaie

  committed
  31b63d2

  Copy full SHA for 31b63d2

• chore: clean up mess regarding inv(0) conflict

  Tabaie

  committed
  ae443f1

  Copy full SHA for ae443f1

• fix: 1st if statement in sswu

  Tabaie

  committed
  1b293f1

  Copy full SHA for 1b293f1

• chore: remove second if, auto-gen removal of first if

  Tabaie

  committed
  2d15b7f

  Copy full SHA for 2d15b7f

• chore: removed the last sswu if

  Tabaie

  committed
  46d7a56

  Copy full SHA for 46d7a56

• chore: genericize c-time sswu

  Tabaie

  committed
  a9ece02

  Copy full SHA for a9ece02

Commits on Feb 8, 2022

• rename Neq to NotEqual

  Tabaie

  committed
  47664d9

  Copy full SHA for 47664d9