Code

fix: gnark plonky2 verifier#234

Code

Merged

jtguibas merged 31 commits intomainsuccinctlabs/succinctx:mainfrom uma/modify-verifiersuccinctlabs/succinctx:uma/modify-verifierCopy head branch name to clipboardOct 18, 2023

+3,622-693

Commits

Commits on Oct 12, 2023

• modified verifier

  puma314

  committed
  9402efa

  Copy full SHA for 9402efa

• Test now works

  puma314

  committed
  c74218b

  Copy full SHA for c74218b

• cleanup

  puma314

  committed
  2243a39

  Copy full SHA for 2243a39

• Clean up verifier test

  puma314

  committed
  d3e5ab6

  Copy full SHA for d3e5ab6

• Circuit digest works

  puma314

  committed
  7d06381

  Copy full SHA for 7d06381

• clippy

  puma314

  committed
  a4a696a

  Copy full SHA for a4a696a

• Changed smart contract

  puma314

  committed
  5a4471b

  Copy full SHA for 5a4471b

• udpdate succinct json

  puma314

  committed
  6943848

  Copy full SHA for 6943848

• go mod tidy

  ctian1

  committed
  ec7908c

  Copy full SHA for ec7908c

• change to plonk

  puma314

  committed
  d227b18

  Copy full SHA for d227b18

Commits on Oct 13, 2023

• Updates to work with new verifier

  puma314

  committed
  d499896

  Copy full SHA for d499896

• Solidty version

  puma314

  committed
  57d4e8d

  Copy full SHA for 57d4e8d

• anotehr try

  puma314

  committed
  587a3f9

  Copy full SHA for 587a3f9

• cursed

  puma314

  committed
  ffccb04

  Copy full SHA for ffccb04

• benchmarking code (#236)

  puma314

  authored
  8af64be

  Copy full SHA for 8af64be

• Updated logic in backend/function and removed assets/Verifier.sol

  puma314

  committed
  53bded2

  Copy full SHA for 53bded2

• nits

  puma314

  committed
  9c1a69e

  Copy full SHA for 9c1a69e

• Forge fmt

  puma314

  committed
  f88dfb2

  Copy full SHA for f88dfb2

• upgraded to optimized version of gnark

  puma314

  committed
  c50cbf5

  Copy full SHA for c50cbf5

• Test works

  puma314

  committed
  1f82c01

  Copy full SHA for 1f82c01

Commits on Oct 17, 2023

• With tons of debug statements

  puma314

  committed
  32e412b

  Copy full SHA for 32e412b

• Made go command have a cli with stdin for circuitPath

  puma314

  committed
  876f7e2

  Copy full SHA for 876f7e2

• Modified function/mod.rs to write to stdout

  puma314

  committed
  9c9522d

  Copy full SHA for 9c9522d

Commits on Oct 18, 2023

• std pipe

  puma314

  committed
  f115978

  Copy full SHA for f115978

• try again

  puma314

  committed
  5f297de

  Copy full SHA for 5f297de

• Cleanup test

  puma314

  committed
  896c471

  Copy full SHA for 896c471

• Forge fmt

  puma314

  committed
  ea2db3b

  Copy full SHA for ea2db3b

• clippy

  puma314

  committed
  41bb8bd

  Copy full SHA for 41bb8bd

• fix: john edits

  jtguibas

  committed
  93ebac5

  Copy full SHA for 93ebac5

• fix: john edits

  jtguibas

  committed
  255f09b

  Copy full SHA for 255f09b

• fix: john edits

  jtguibas

  committed
  9aa369f

  Copy full SHA for 9aa369f