Code

Plonk: Add solidity verifier#1249

Code

Open

georgwiese wants to merge 25 commits intoZokrates:add-bellman-plonk-backendZokrates/ZoKrates:add-bellman-plonk-backendfrom georgwiese:plonk-add-verifiergeorgwiese/ZoKrates:plonk-add-verifierCopy head branch name to clipboard

+1,210-123

Commits

Commits on Nov 23, 2022

• Add matter-labs Plonk solidity verifier

  georgwiese

  committed
  9de7966

  Copy full SHA for 9de7966

• Write basic code to return static verifier

  georgwiese

  committed
  7c27642

  Copy full SHA for 7c27642

• Update solidity version, format, add dummy verifyTx()

  georgwiese

  committed
  b95f98e

  Copy full SHA for b95f98e

• Get dummy proof working

  georgwiese

  committed
  d7adaf7

  Copy full SHA for d7adaf7

• Move inputs outside of proof struct, run actual verification

  georgwiese

  committed
  f351605

  Copy full SHA for f351605

• Pass correct proof

  georgwiese

  committed
  98d432b

  Copy full SHA for 98d432b

Commits on Nov 25, 2022

• Replace plonk verifier template with one from solidity_plonk_verifier repo

  georgwiese

  committed
  037ec0a

  Copy full SHA for 037ec0a

• Update solidity version

  georgwiese

  committed
  ff999c5

  Copy full SHA for ff999c5

• Rename verifier

  georgwiese

  committed
  d8df138

  Copy full SHA for d8df138

• Plonk solidity verifier: Move inputs outside prove, add verifyTx() function

  georgwiese

  committed
  f44ff73

  Copy full SHA for f44ff73

• Add solidity renderer

  georgwiese

  committed
  c06a21c

  Copy full SHA for c06a21c

• Beginn moving plonk proving scheme

  georgwiese

  committed
  ff4736d

  Copy full SHA for ff4736d

Commits on Nov 30, 2022

• Implement Plonk proving scheme in zokrates_bellamn, fix verifier template

  georgwiese

  committed
  35fcbe7

  Copy full SHA for 35fcbe7

• Enable more tests

  georgwiese

  committed
  77afc6d

  Copy full SHA for 77afc6d

• Clean up integration test

  georgwiese

  committed
  8517c29

  Copy full SHA for 8517c29

• Clean up

  georgwiese

  committed
  944429e

  Copy full SHA for 944429e

• Clean up

  georgwiese

  committed
  28c0029

  Copy full SHA for 28c0029

• Clean up

  georgwiese

  committed
  fdf2132

  Copy full SHA for fdf2132

• Refactor solidity renderer to not depend on bellman

  georgwiese

  committed
  9dfd51c

  Copy full SHA for 9dfd51c

• Move Plonk proving system to zokrates_proof_systems

  georgwiese

  committed
  195f9af

  Copy full SHA for 195f9af

• Add zokrates_proof_system files

  georgwiese

  committed
  58e248a

  Copy full SHA for 58e248a

• Remove unused imports

  georgwiese

  committed
  254dbf6

  Copy full SHA for 254dbf6

• Cleanup

  georgwiese

  committed
  d09d5db

  Copy full SHA for d09d5db

Commits on Dec 21, 2022

• Review feedback

  georgwiese

  committed
  092b4e3

  Copy full SHA for 092b4e3

• Add universal setup for marlin

  georgwiese

  committed
  759a4a0

  Copy full SHA for 759a4a0