Code

Foreign fields 4: Multiplication#1223

Code

Merged

mitschabaude merged 37 commits intomaino1-labs/o1js:mainfrom feature/ffmulo1-labs/o1js:feature/ffmulCopy head branch name to clipboardNov 21, 2023

+556-69

Commits

Commits on Nov 2, 2023

• ffmul gate wrapper

  mitschabaude

  committed
  959cac2

  Copy full SHA for 959cac2

• ffmul witnesses

  mitschabaude

  committed
  7dab788

  Copy full SHA for 7dab788

• raw gate wrapper

  mitschabaude

  committed
  99628cb

  Copy full SHA for 99628cb

• ffmul constraints

  mitschabaude

  committed
  409c73a

  Copy full SHA for 409c73a

• constant case

  mitschabaude

  committed
  8f58577

  Copy full SHA for 8f58577

• start testing

  mitschabaude

  committed
  283fbd6

  Copy full SHA for 283fbd6

Commits on Nov 3, 2023

• another small witness test

  mitschabaude

  committed
  fb28f88

  Copy full SHA for fb28f88

• add proof mul test which doesn't work

  mitschabaude

  committed
  ee17ca3

  Copy full SHA for ee17ca3

• revert test to normal

  mitschabaude

  committed
  cff7732

  Copy full SHA for cff7732

Commits on Nov 10, 2023

• refactor common mul logic into function

  mitschabaude

  committed
  b6bdf13

  Copy full SHA for b6bdf13

• ff inverse

  mitschabaude

  committed
  d0f592d

  Copy full SHA for d0f592d

• fix inverse

  mitschabaude

  committed
  b403745

  Copy full SHA for b403745

• division

  mitschabaude

  committed
  f7e2fe4

  Copy full SHA for f7e2fe4

• improve zkprogram analyzemethods return

  mitschabaude

  committed
  4d8c4e1

  Copy full SHA for 4d8c4e1

• fix division

  mitschabaude

  committed
  ca0f39a

  Copy full SHA for ca0f39a

• test inv and div

  mitschabaude

  committed
  16d8dc4

  Copy full SHA for 16d8dc4

Commits on Nov 14, 2023

• Merge branch 'feature/ffadd' into feature/ffmul

  mitschabaude

  committed
  1295155

  Copy full SHA for 1295155

• minor

  mitschabaude

  committed
  aa8c8f4

  Copy full SHA for aa8c8f4

• add cs tests for mul

  mitschabaude

  committed
  96f52da

  Copy full SHA for 96f52da

Commits on Nov 15, 2023

• fix: add missing mrc

  mitschabaude

  committed
  3bfdc09

  Copy full SHA for 3bfdc09

• introduce assertmul and use it for inv and div

  mitschabaude

  committed
  67d706e

  Copy full SHA for 67d706e

• add ff tests with unreduced inputs

  mitschabaude

  committed
  e100923

  Copy full SHA for e100923

• Merge branch 'feature/ffmul' of github.com:o1-labs/o1js into feature/ffmul

  mitschabaude

  committed
  2b9ca3f

  Copy full SHA for 2b9ca3f

• a bit of clean up

  mitschabaude

  committed
  f40104c

  Copy full SHA for f40104c

• remove unused logic

  mitschabaude

  committed
  4f1b21f

  Copy full SHA for 4f1b21f

• add to gadgets namespace, mul doccomment

  mitschabaude

  committed
  4532a21

  Copy full SHA for 4532a21

• fix unit tests and code tweak

  mitschabaude

  committed
  8358f57

  Copy full SHA for 8358f57

• document inv and div

  mitschabaude

  committed
  21b9e8b

  Copy full SHA for 21b9e8b

• bindings

  mitschabaude

  committed
  e46432d

  Copy full SHA for e46432d

• minor

  mitschabaude

  committed
  df2ea58

  Copy full SHA for df2ea58

• minor tweaks + changelog

  mitschabaude

  committed
  9d6bb6d

  Copy full SHA for 9d6bb6d

Commits on Nov 17, 2023

• fix: don't range-check 2-bit carry

  mitschabaude

  committed
  0ccea11

  Copy full SHA for 0ccea11

• consistent lower-casing of limb size constant

  mitschabaude

  committed
  571866b

  Copy full SHA for 571866b

• remove remainder bounds check in mul() gadget

  mitschabaude

  committed
  91fef76

  Copy full SHA for 91fef76

• fixup unit test

  mitschabaude

  committed
  ccb55c7

  Copy full SHA for ccb55c7

Commits on Nov 21, 2023

• Merge branch 'main' into feature/ffmul

  mitschabaude

  committed
  976f212

  Copy full SHA for 976f212

• address feedback

  mitschabaude

  committed
  021b001

  Copy full SHA for 021b001