Code

Batch sumchecks in a Wire bundle #1248

Code

Draft

amit0365 wants to merge 31 commits intoConsensys:masterConsensys/gnark:masterfrom amit0365:wireBundleamit0365/gnark:wireBundleCopy head branch name to clipboard

+5,170-334

Commits

Commits on Jun 12, 2024

• gkr_nonnative intial review

  

  amit0365

  committed
  b1a4c73

• removed unused fns

  

  amit0365

  committed
  2825fdc

Commits on Jun 13, 2024

• added some tests

  

  amit0365

  committed
  94a6866

• Debugged nil elements -m added verifier in claimsmaanager and popoulated it in verify -m using emulated.assertequal in verify -m removed unused frombits in element as @arya pointed -m

  

  amit0365

  committed
  6cbdc74

• Revert "Debugged nil elements -m added verifier in claimsmaanager and popoulated it in verify -m using emulated.assertequal in verify -m removed unused frombits in element as @arya pointed -m"

  Show description for 2b30342
  

  amit0365

  committed
  2b30342

• git commit -m "Debugged nil elements" -m "Added verifier in ClaimsManager and populated it in verify" -m "Removed unused fromBits in Element"

  

  amit0365

  committed
  ac3b04e

• Debugged nil elements

  Show description for 59c8554
  

  amit0365

  committed
  59c8554

• removed unused fns

  

  amit0365

  committed
  650d48a

• compiles now

  

  amit0365

  committed
  4717901

• fixed

  

  amit0365

  committed
  04b5caf

Commits on Jun 17, 2024

• resolve ivo comments - prover done

  TheDarkMatters

  committed
  9a6f78c

Commits on Jun 18, 2024

• fixed ivo comments

  amit0365

  committed
  a8917d9

• removed Fr naming with Emulated

  amit0365

  committed
  5224fac

• removed all Fr with Emulated

  amit0365

  committed
  4720856

Commits on Jun 19, 2024

• testing single add gate

  amit0365

  committed
  218c27a

Commits on Jun 21, 2024

• testgkrvector fails, debug

  amit0365

  committed
  6670c2d

• arya review test

  amit0365

  committed
  043048b

Commits on Jun 28, 2024

• fixed single_identity_gate_two_instances prove, renamed partialSumPolys to RoundPolyEvals

  amit0365

  committed
  0da71f7

Commits on Jun 29, 2024

• single identity gate passes testgkr

  amit0365

  committed
  93e787c

Commits on Jul 4, 2024

• testgkr passes

  amit0365

  committed
  b091b79

• commented print patch

  amit0365

  committed
  81335d7

• changes from gofmt

  amit0365

  committed
  29c23c5

• fixed lint

  amit0365

  committed
  3a72147

• removed TestLogNbInstances

  amit0365

  committed
  b34071a

Commits on Jul 9, 2024

• dbladdgkr passes

  amit0365

  committed
  47bad48

Commits on Jul 28, 2024

• input layer doesn't work

  amit0365

  committed
  33011f8

Commits on Jul 29, 2024

• manyInstances works

  amit0365

  committed
  fe46739

Commits on Aug 7, 2024

• passes with random inputs

  amit0365

  committed
  14d12b4

Commits on Aug 8, 2024

• eq common in next and computeGJ

  amit0365

  committed
  1cf2c2d

Commits on Aug 14, 2024

• cleanup

  amit0365

  committed
  de475cd

Commits on Aug 15, 2024

• cleanup

  amit0365

  committed
  793cf77