Code

Fix check bug#40

Code

Merged

enricobottazzi merged 8 commits intomastersumma-dev/summa-solvency:masterfrom fix-check-bugsumma-dev/summa-solvency:fix-check-bugCopy head branch name to clipboardJun 9, 2023

+9-31

Commits

Commits on Jun 5, 2023

• fix: assign check from constant to avoid manipulation during witness generation

  enricobottazzi

  committed
  739fa42

  Copy full SHA for 739fa42

• chore: rename gate name

  enricobottazzi

  committed
  07a0dfa

  Copy full SHA for 07a0dfa

• test: fix test expected error

  enricobottazzi

  committed
  b2e79e7

  Copy full SHA for b2e79e7

• fix: modify mst chip configure to build advice columns rather than receiving them as input

  enricobottazzi

  committed
  6c74c65

  Copy full SHA for 6c74c65

Commits on Jun 6, 2023

• fix: cleaner way to fix the bug

  enricobottazzi

  committed
  3333f16

  Copy full SHA for 3333f16

Commits on Jun 7, 2023

• fix: fixed further bug

  enricobottazzi

  committed
  0893d45

  Copy full SHA for 0893d45

Commits on Jun 8, 2023

• Merge branch 'master' into fix-check-bug

  enricobottazzi

  committed
  c1f6701

  Copy full SHA for c1f6701

• fix: test

  enricobottazzi

  committed
  2f7efd6

  Copy full SHA for 2f7efd6