Code

feat: Sorted execution trace#5252

Code

Merged

ledwards2225 merged 45 commits intomasterAztecProtocol/aztec-packages:masterfrom lde/sorted_traceAztecProtocol/aztec-packages:lde/sorted_traceCopy head branch name to clipboardMar 19, 2024

+824-669

Commits

Commits on Mar 6, 2024

• initial PoC; addition gates in their own block; checker processes all blocks

  ledwards2225

  committed
  dd01b70

  Copy full SHA for dd01b70

• minor non changing updates

  ledwards2225

  committed
  cd97781

  Copy full SHA for cd97781

• update fibbo test

  ledwards2225

  committed
  b0d944a

  Copy full SHA for b0d944a

• move some arith gates into their block

  ledwards2225

  committed
  9f9db7b

  Copy full SHA for 9f9db7b

• update ecc double in the same way as ecc add

  ledwards2225

  committed
  aac0c4e

  Copy full SHA for aac0c4e

• roll back some of those

  ledwards2225

  committed
  0216b1f

  Copy full SHA for 0216b1f

• poly

  ledwards2225

  committed
  8eeb03c

  Copy full SHA for 8eeb03c

• fix fidget test

  ledwards2225

  committed
  79aa5db

  Copy full SHA for 79aa5db

• fix witness and elliptic double

  ledwards2225

  committed
  29ea42f

  Copy full SHA for 29ea42f

• lookups

  ledwards2225

  committed
  d3a8b80

  Copy full SHA for d3a8b80

• sort (but not sort with edges)

  ledwards2225

  committed
  dc4121d

  Copy full SHA for dc4121d

Commits on Mar 12, 2024

• use block syntax but no sorting change

  ledwards2225

  committed
  c3e1128

  Copy full SHA for c3e1128

• Merge branch 'master' into lde/gate_sorting

  ledwards2225

  committed
  f7af9d8

  Copy full SHA for f7af9d8

• separate nonzero poly gates into individual gates/blocks

  ledwards2225

  committed
  def3bdc

  Copy full SHA for def3bdc

• rephrase as dummy gate, no expected change

  ledwards2225

  committed
  be60f07

  Copy full SHA for be60f07

• dummy gates in nnf mul make tests pass w big add in arith

  ledwards2225

  committed
  669d0ac

  Copy full SHA for 669d0ac

• turn off dummy gates due to doubling in acir double verify proof circuit

  ledwards2225

  committed
  df89d75

  Copy full SHA for df89d75

• use add gate explicitly in sort with edges

  ledwards2225

  committed
  7ee58d7

  Copy full SHA for 7ee58d7

Commits on Mar 13, 2024

• move sort with edges to sort block

  ledwards2225

  committed
  a3401b6

  Copy full SHA for a3401b6

• big add is arithmetic

  ledwards2225

  committed
  2eadd1a

  Copy full SHA for 2eadd1a

• Merge branch 'master' into lde/gate_sorting

  ledwards2225

  committed
  7bf371a

  Copy full SHA for 7bf371a

• move dummy gates to exactly where theyre needed

  ledwards2225

  committed
  cbb027e

  Copy full SHA for cbb027e

• add a required dummy in bigfield

  ledwards2225

  committed
  c05a8b0

  Copy full SHA for c05a8b0

• update pinning and big mul to arithmetic

  ledwards2225

  committed
  44991bb

  Copy full SHA for 44991bb

• use pop wires syntax, no change expected

  ledwards2225

  committed
  d35dca4

  Copy full SHA for d35dca4

• move ecc add to elliptic

  ledwards2225

  committed
  7d13b04

  Copy full SHA for 7d13b04

• nnf add and subract are arithmetic

  ledwards2225

  committed
  5af392f

  Copy full SHA for 5af392f

Commits on Mar 14, 2024

• move aux gates to aux

  ledwards2225

  committed
  ba502f9

  Copy full SHA for ba502f9

• move poseidon int and ext to respective blocks

  ledwards2225

  committed
  8a895c0

  Copy full SHA for 8a895c0

• split poseidon in guh add gates

  ledwards2225

  committed
  72f0e9b

  Copy full SHA for 72f0e9b

• move databus gates and delete main block altogether

  ledwards2225

  committed
  ba4b82a

  Copy full SHA for ba4b82a

• missing poseidon dummy gate in gob add gates

  ledwards2225

  committed
  7d07ff1

  Copy full SHA for 7d07ff1

• cleanup and rename

  ledwards2225

  committed
  6720420

  Copy full SHA for 6720420

• add print summary methods for blocks

  ledwards2225

  committed
  4a8fac1

  Copy full SHA for 4a8fac1

• Merge branch 'master' into lde/gate_sorting

  ledwards2225

  committed
  ec6b60e

  Copy full SHA for ec6b60e

• disable double verify and update circuit hash

  ledwards2225

  committed
  718da65

  Copy full SHA for 718da65

Commits on Mar 18, 2024

• reinstate double v prove for js with test prints

  ledwards2225

  committed
  46cd7dd

  Copy full SHA for 46cd7dd

• manual add gate added to aux block to avoid need for dummy

  ledwards2225

  committed
  cc62695

  Copy full SHA for cc62695

• cleanup and add TODO

  ledwards2225

  committed
  374330a

  Copy full SHA for 374330a

• cleanup TODOs

  ledwards2225

  committed
  cb906a3

  Copy full SHA for cb906a3

• Merge branch 'master' into lde/sorted_trace

  ledwards2225

  committed
  9da509f

  Copy full SHA for 9da509f

• remove old WORKTODO

  ledwards2225

  committed
  b42dfff

  Copy full SHA for b42dfff

Commits on Mar 19, 2024

• address Keshas comments

  ledwards2225

  committed
  6675126

  Copy full SHA for 6675126

• Merge branch 'master' into lde/sorted_trace

  ledwards2225

  committed
  6c4b037

  Copy full SHA for 6c4b037

• name fix

  ledwards2225

  committed
  55f1dec

  Copy full SHA for 55f1dec