Code

gkr_nonnative intial review#1162

Code

Open

amit0365 wants to merge 26 commits intoConsensys:masterConsensys/gnark:masterfrom amit0365:masteramit0365/gnark:masterCopy head branch name to clipboard

+4,559-295

Commits

Commits on Jun 12, 2024

• gkr_nonnative intial review

  

  amit0365

  committed
  b1a4c73

  Copy full SHA for b1a4c73

• removed unused fns

  

  amit0365

  committed
  2825fdc

  Copy full SHA for 2825fdc

Commits on Jun 13, 2024

• added some tests

  

  amit0365

  committed
  94a6866

  Copy full SHA for 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

  Copy full SHA for 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

  Copy full SHA for 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

  Copy full SHA for ac3b04e

• Debugged nil elements

  Show description for 59c8554
  

  amit0365

  committed
  59c8554

  Copy full SHA for 59c8554

• removed unused fns

  

  amit0365

  committed
  650d48a

  Copy full SHA for 650d48a

• compiles now

  

  amit0365

  committed
  4717901

  Copy full SHA for 4717901

• fixed

  

  amit0365

  committed
  04b5caf

  Copy full SHA for 04b5caf

Commits on Jun 17, 2024

• resolve ivo comments - prover done

  TheDarkMatters

  committed
  9a6f78c

  Copy full SHA for 9a6f78c

Commits on Jun 18, 2024

• fixed ivo comments

  amit0365

  committed
  a8917d9

  Copy full SHA for a8917d9

• removed Fr naming with Emulated

  amit0365

  committed
  5224fac

  Copy full SHA for 5224fac

• removed all Fr with Emulated

  amit0365

  committed
  4720856

  Copy full SHA for 4720856

Commits on Jun 19, 2024

• testing single add gate

  amit0365

  committed
  218c27a

  Copy full SHA for 218c27a

Commits on Jun 21, 2024

• testgkrvector fails, debug

  amit0365

  committed
  6670c2d

  Copy full SHA for 6670c2d

• arya review test

  amit0365

  committed
  043048b

  Copy full SHA for 043048b

Commits on Jun 28, 2024

• fixed single_identity_gate_two_instances prove, renamed partialSumPolys to RoundPolyEvals

  amit0365

  committed
  0da71f7

  Copy full SHA for 0da71f7

Commits on Jun 29, 2024

• single identity gate passes testgkr

  amit0365

  committed
  93e787c

  Copy full SHA for 93e787c

Commits on Jul 4, 2024

• testgkr passes

  amit0365

  committed
  b091b79

  Copy full SHA for b091b79

• commented print patch

  amit0365

  committed
  81335d7

  Copy full SHA for 81335d7

• changes from gofmt

  amit0365

  committed
  29c23c5

  Copy full SHA for 29c23c5

• fixed lint

  amit0365

  committed
  3a72147

  Copy full SHA for 3a72147

• removed TestLogNbInstances

  amit0365

  committed
  b34071a

  Copy full SHA for b34071a

Commits on Jul 9, 2024

• dbladdgkr passes

  amit0365

  committed
  47bad48

  Copy full SHA for 47bad48

Commits on Aug 15, 2024

• cleanup

  amit0365

  committed
  800dcb3

  Copy full SHA for 800dcb3