Code

impl multiplication for polyval#55

Code

Merged

0xJepsen merged 23 commits intomainpluto/aes-circuits:mainfrom impl-polymulpluto/aes-circuits:impl-polymulCopy head branch name to clipboardSep 13, 2024

+842-25

Commits

Commits on Aug 21, 2024

• impl bmul multiplication subroutine

  thor314

  committed
  3698750

• impl gfmul (mostly)

  thor314

  committed
  0c4fd52

Commits on Sep 4, 2024

• implement rest of mul

  thor314

  committed
  b706432

Commits on Sep 5, 2024

• notes on rev64 added, renamed mul64 -> wrappingMul64 for clarity

  thor314

  committed
  e9e4495

• wrapping mul partial impl 1 - testing in progress

  thor314

  committed
  b839880

• wrapping mul tests correctly running, not passing

  thor314

  committed
  02a1830

Commits on Sep 9, 2024

• rm component

  thor314

  committed
  8980c89

• debug wrapping mul - pause - tests for wrapping mul failing

  thor314

  committed
  bed8b7a

Commits on Sep 11, 2024

• impl LE wrapping mul, tests pass

  thor314

  committed
  09a7674

Commits on Sep 12, 2024

• parse int le/be

  thor314

  committed
  ec817c8

• Switched suite name from Wrapping_LE to Wrapping_BE

  KaiGeffen

  committed
  35549ee

• Merge https://github.com/pluto/aes-proof into impl-polymul

  KaiGeffen

  committed
  c6e57c5

• wrapping mul moved

  thor314

  committed
  8a18505

• Merge branch 'impl-polymul' of https://github.com/pluto/aes-proof into impl-polymul

  KaiGeffen

  committed
  0176062

• Removed unused test impl / resolved test todos

  KaiGeffen

  committed
  dcc42ae

• Added wrap_mul test, fixed minor scope smell

  KaiGeffen

  committed
  0fb4b23

• tests written for bmul

  thor314

  committed
  177658b

Commits on Sep 13, 2024

• bugfix: indexing error in BMUL

  thor314

  committed
  f8fe80b

• tests for gfmul

  thor314

  committed
  42fe433

• annotate gfmul empty bits issue

  thor314

  committed
  3046074

• gfmul debugged

  thor314

  committed
  a37608c

• adjusted expected values in gfmul tests; circomkit still only capturing 64 of 128 bits in out

  thor314

  committed
  c585377

• gfmul tests fixed

  thor314

  committed
  b11e9be