Code

feat: NIVC circuits + tests#96

Code

Merged

Autoparallel merged 19 commits intomainpluto/parser-attestor:mainfrom feat/nivc-circuitspluto/parser-attestor:feat/nivc-circuitsCopy head branch name to clipboardOct 22, 2024

+992-9

Commits

Commits on Oct 18, 2024

• initial circuits

  Autoparallel

  committed
  9162b6e

  Copy full SHA for 9162b6e

Commits on Oct 19, 2024

• initial passing tests

  Show description for 45d5ac5
  Autoparallel

  committed
  45d5ac5

  Copy full SHA for 45d5ac5

• simplify JsonMaskObjectNIVC

  Autoparallel

  committed
  1e073f4

  Copy full SHA for 1e073f4

• passing JsonMaskArrayIndexNIVC

  Autoparallel

  committed
  b52a801

  Copy full SHA for b52a801

• bug: incorrect mask for "profile" key

  Autoparallel

  committed
  ca23d2d

  Copy full SHA for ca23d2d

• bug: not extracting "profile"

  Autoparallel

  committed
  b40464d

  Copy full SHA for b40464d

Commits on Oct 20, 2024

• add extra key index to match end quote

  

  lonerapier

  authored and

  Autoparallel

  committed
  93a6e1d

  Copy full SHA for 93a6e1d

• fix: masking tests pass

  Autoparallel

  committed
  acd2f2c

  Copy full SHA for acd2f2c

• fix: final extraction

  Autoparallel

  committed
  0962990

  Copy full SHA for 0962990

• cleanup: unused signals, consistency

  Show description for 57b0542
  Autoparallel

  committed
  57b0542

  Copy full SHA for 57b0542

• feat: passing HTTP NIVC tests

  Autoparallel

  committed
  81937bc

  Copy full SHA for 81937bc

• fix: unallocated signals

  Show description for 0e98a0d
  Autoparallel

  committed
  0e98a0d

  Copy full SHA for 0e98a0d

Commits on Oct 22, 2024

• rename SubstringMatchWithIndex

  

  lonerapier

  authored and

  Autoparallel

  committed
  0550f51

  Copy full SHA for 0550f51

• add HeaderFieldNameValueMatchPadded

  

  lonerapier

  authored and

  Autoparallel

  committed
  c6f5353

  Copy full SHA for c6f5353

• add a todo in json interpreter

  

  lonerapier

  authored and

  Autoparallel

  committed
  4b4d7fc

  Copy full SHA for 4b4d7fc

• change LockHeader to handle max key and value length

  

  lonerapier

  authored and

  Autoparallel

  committed
  5ad8272

  Copy full SHA for 5ad8272

• use circuit.compute to find witness and simplify test

  

  lonerapier

  authored and

  Autoparallel

  committed
  f4ebb4c

  Copy full SHA for f4ebb4c

• delete unused files for http tests

  

  lonerapier

  authored and

  Autoparallel

  committed
  55716ed

  Copy full SHA for 55716ed

• revert circuit_json

  

  lonerapier

  authored and

  Autoparallel

  committed
  c220c40

  Copy full SHA for c220c40