Code

Solidity verifier revisit#37

Code

Merged

nulltea merged 14 commits intomainChainSafe/Spectre:mainfrom timoftime/sol-verifier-revisitChainSafe/Spectre:timoftime/sol-verifier-revisitCopy head branch name to clipboardDec 4, 2023

+457-202

Commits

Commits on Dec 1, 2023

• update just file

  nulltea

  committed
  efd8010

  Copy full SHA for efd8010

• add flag for gas estimation

  nulltea

  committed
  3d9bbd3

  Copy full SHA for 3d9bbd3

• fix default witness for step proof (wip)

  nulltea

  committed
  8fa9d48

  Copy full SHA for 8fa9d48

• fix step default witness

  nulltea

  committed
  2ffebe3

  Copy full SHA for 2ffebe3

• add tests for default wittnes correctness

  nulltea

  committed
  225a5df

  Copy full SHA for 225a5df

• add deploy local script

  nulltea

  committed
  0aadb0c

  Copy full SHA for 0aadb0c

Commits on Dec 2, 2023

• add experimental feature with new halo2-solidity-verifier

  nulltea

  committed
  7b83fda

  Copy full SHA for 7b83fda

• update justfile

  nulltea

  committed
  4838834

  Copy full SHA for 4838834

• fix committee update contract generation

  nulltea

  committed
  1d7eb08

  Copy full SHA for 1d7eb08

Commits on Dec 4, 2023

• fix num instances in solidity gen

  nulltea

  committed
  27bc524

  Copy full SHA for 27bc524

• use remote dependency

  nulltea

  committed
  dad0172

  Copy full SHA for dad0172

• use old verion of sync step verifier

  nulltea

  committed
  62148e1

  Copy full SHA for 62148e1

• fix num instances infer

  nulltea

  committed
  cd5acf6

  Copy full SHA for cd5acf6

• fix solidity contract generation

  nulltea

  committed
  02ac2ba

  Copy full SHA for 02ac2ba