Code

feat: arbitrary sized circuits#95

Code

Merged

Autoparallel merged 61 commits intomainpluto/web-prover-circuits:mainfrom feat/arbitrary-sized-circuitspluto/web-prover-circuits:feat/arbitrary-sized-circuitsCopy head branch name to clipboardFeb 6, 2025

+3,281-500

Commits

Commits on Jan 23, 2025

• update pd circuit

  lonerapier

  committed
  2c6faf8

  Copy full SHA for 2c6faf8

• add http circuit

  lonerapier

  committed
  a8dee35

  Copy full SHA for a8dee35

Commits on Jan 24, 2025

• fix: PlaintextAuthentication tests

  

  Autoparallel

  authored and

  lonerapier

  committed
  b51e790

  Copy full SHA for b51e790

• fix: HTTPVerification test -- no body

  

  Autoparallel

  authored and

  lonerapier

  committed
  eda7f9d

  Copy full SHA for eda7f9d

• fix: HTTPVerification -- with body

  

  Autoparallel

  authored and

  lonerapier

  committed
  3d76155

  Copy full SHA for 3d76155

• Update package.json

  

  Autoparallel

  authored and

  lonerapier

  committed
  578ce3a

  Copy full SHA for 578ce3a

• fix: PlaintextAuthentication -- multi component

  

  Autoparallel

  authored and

  lonerapier

  committed
  b0f76b7

  Copy full SHA for b0f76b7

• fix: uncomment tests

  

  Autoparallel

  authored and

  lonerapier

  committed
  fbaa178

  Copy full SHA for fbaa178

• fix: uncomment pt auth tests

  

  Autoparallel

  authored and

  lonerapier

  committed
  6a57c78

  Copy full SHA for 6a57c78

Commits on Jan 29, 2025

• json circuit with tests

  lonerapier

  committed
  094af24

  Copy full SHA for 094af24

• add 2 full tests

  lonerapier

  committed
  34f226d

  Copy full SHA for 34f226d

• complete tests

  lonerapier

  committed
  e6956e4

  Copy full SHA for e6956e4

• req+res proving starts

  lonerapier

  committed
  6efc634

  Copy full SHA for 6efc634

• update HTTP.step_in[6] to be body_ciphertext_digest_pow_var

  lonerapier

  committed
  8239fac

  Copy full SHA for 8239fac

• add final test

  lonerapier

  committed
  dc203a8

  Copy full SHA for dc203a8

• finish tests

  lonerapier

  committed
  7da72af

  Copy full SHA for 7da72af

• fix tests

  lonerapier

  committed
  f7b8f21

  Copy full SHA for f7b8f21

• initial setup

  

  Autoparallel

  authored and

  lonerapier

  committed
  8537b97

  Copy full SHA for 8537b97

• refactor

  

  Autoparallel

  authored and

  lonerapier

  committed
  d61fb59

  Copy full SHA for d61fb59

• cleanup + initial public io

  

  Autoparallel

  authored and

  lonerapier

  committed
  77b1841

  Copy full SHA for 77b1841

• WIP: json parser

  

  Autoparallel

  authored and

  lonerapier

  committed
  a1f50b2

  Copy full SHA for a1f50b2

• save state

  

  Autoparallel

  authored and

  lonerapier

  committed
  262522f

  Copy full SHA for 262522f

• more progress

  

  Autoparallel

  authored and

  lonerapier

  committed
  99708da

  Copy full SHA for 99708da

• Update parser.rs

  

  Autoparallel

  authored and

  lonerapier

  committed
  5f3b1bc

  Copy full SHA for 5f3b1bc

• Update parser.rs

  

  Autoparallel

  authored and

  lonerapier

  committed
  ed77527

  Copy full SHA for ed77527

• Update parser.rs

  

  Autoparallel

  authored and

  lonerapier

  committed
  8b7782f

  Copy full SHA for 8b7782f

• Update parser.rs

  

  Autoparallel

  authored and

  lonerapier

  committed
  f6cd81b

  Copy full SHA for f6cd81b

• refactor + From trait

  

  Autoparallel

  authored and

  lonerapier

  committed
  0aeda7e

  Copy full SHA for 0aeda7e

• reworking

  

  Autoparallel

  authored and

  lonerapier

  committed
  11820ff

  Copy full SHA for 11820ff

• refactored

  

  Autoparallel

  authored and

  lonerapier

  committed
  e4b2efe

  Copy full SHA for e4b2efe

• one working test

  

  Autoparallel

  authored and

  lonerapier

  committed
  565c700

  Copy full SHA for 565c700

• more tests and fixes

  

  Autoparallel

  authored and

  lonerapier

  committed
  d956c21

  Copy full SHA for d956c21

• stronger test

  

  Autoparallel

  authored and

  lonerapier

  committed
  e19ba30

  Copy full SHA for e19ba30

• checked things by hand like a pro

  

  Autoparallel

  authored and

  lonerapier

  committed
  f4261c5

  Copy full SHA for f4261c5

• feat: http parser

  

  Autoparallel

  authored and

  lonerapier

  committed
  6de4f4e

  Copy full SHA for 6de4f4e

• update circuits inputs

  lonerapier

  committed
  9d3b40f

  Copy full SHA for 9d3b40f

Commits on Jan 30, 2025

• fix: add more fields to RawJsonMachine

  

  Autoparallel

  authored and

  lonerapier

  committed
  d11f6f0

  Copy full SHA for d11f6f0

• fix: parsing number status

  

  Autoparallel

  authored and

  lonerapier

  committed
  b40b092

  Copy full SHA for b40b092

• fix: use field elements

  

  Autoparallel

  authored and

  lonerapier

  committed
  ecddaf5

  Copy full SHA for ecddaf5

• fix: parsing number clear

  

  Autoparallel

  authored and

  lonerapier

  committed
  93c12b2

  Copy full SHA for 93c12b2

• revert: extraction.test.ts

  

  Autoparallel

  authored and

  lonerapier

  committed
  6f815ab

  Copy full SHA for 6f815ab

• WIP: fix HTTP parser

  

  Autoparallel

  authored and

  lonerapier

  committed
  d473f6d

  Copy full SHA for d473f6d

• fix: consistent header counting

  

  Autoparallel

  authored and

  lonerapier

  committed
  43305dc

  Copy full SHA for 43305dc

• fix: CRLF in body

  

  Autoparallel

  authored and

  lonerapier

  committed
  ab27588

  Copy full SHA for ab27588

• move to single lib

  lonerapier

  committed
  58ec4cd

  Copy full SHA for 58ec4cd

• add inner_main_digest to http parser

  lonerapier

  committed
  b03f3dc

  Copy full SHA for b03f3dc

• fix(http): remove last machine state

  lonerapier

  committed
  717ac4d

  Copy full SHA for 717ac4d

• fix rust tests

  lonerapier

  committed
  89f72e7

  Copy full SHA for 89f72e7

Commits on Jan 31, 2025

• wip: update

  lonerapier

  committed
  e018e6c

  Copy full SHA for e018e6c

• add serialization methods

  lonerapier

  committed
  f4a2f3e

  Copy full SHA for f4a2f3e

Commits on Feb 4, 2025

• fix parser bug, and remove unused code

  lonerapier

  committed
  eabf166

  Copy full SHA for eabf166

• simplify authentication circuit step_out

  lonerapier

  committed
  0eab71d

  Copy full SHA for 0eab71d

• add flatten to httpmachine

  lonerapier

  committed
  c6c4e0f

  Copy full SHA for c6c4e0f

• remove logs

  lonerapier

  committed
  69ebdd7

  Copy full SHA for 69ebdd7

• fix max rom length size

  lonerapier

  committed
  4f76dbf

  Copy full SHA for 4f76dbf

• fix more logs

  lonerapier

  committed
  057da4a

  Copy full SHA for 057da4a

Commits on Feb 5, 2025

• remove toods, clippy, and simplify http byteorpad

  lonerapier

  committed
  702c25f

  Copy full SHA for 702c25f

• remove ByteOrPad::as_bytes

  lonerapier

  committed
  09c76fd

  Copy full SHA for 09c76fd

• increase max rom length to 20

  lonerapier

  committed
  5673cd4

  Copy full SHA for 5673cd4

• add circuit diagram

  lonerapier

  committed
  62c9733

  Copy full SHA for 62c9733

• add final value verification

  lonerapier

  committed
  e6a93f1

  Copy full SHA for e6a93f1