Repository navigation

feat: Sorted execution trace - #5252

Merged

ledwards2225 merged 45 commits into

masterfrom

lde/sorted_trace

Mar 19, 2024

Merged

feat: Sorted execution trace#5252
ledwards2225 merged 45 commits into
masterfrom
lde/sorted_trace

Commits on Mar 6, 2024
- initial PoC; addition gates in their own block; checker processes all blocks
  ledwards2225
  committed
  dd01b70
- minor non changing updates
  ledwards2225
  committed
  cd97781
- update fibbo test
  ledwards2225
  committed
  b0d944a
- move some arith gates into their block
  ledwards2225
  committed
  9f9db7b
- update ecc double in the same way as ecc add
  ledwards2225
  committed
  aac0c4e
- roll back some of those
  ledwards2225
  committed
  0216b1f
- poly
  ledwards2225
  committed
  8eeb03c
- fix fidget test
  ledwards2225
  committed
  79aa5db
- fix witness and elliptic double
  ledwards2225
  committed
  29ea42f
- lookups
  ledwards2225
  committed
  d3a8b80
- sort (but not sort with edges)
  ledwards2225
  committed
  dc4121d
Commits on Mar 12, 2024
- use block syntax but no sorting change
  ledwards2225
  committed
  c3e1128
- Merge branch 'master' into lde/gate_sorting
  ledwards2225
  committed
  f7af9d8
- separate nonzero poly gates into individual gates/blocks
  ledwards2225
  committed
  def3bdc
- rephrase as dummy gate, no expected change
  ledwards2225
  committed
  be60f07
- dummy gates in nnf mul make tests pass w big add in arith
  ledwards2225
  committed
  669d0ac
- turn off dummy gates due to doubling in acir double verify proof circuit
  ledwards2225
  committed
  df89d75
- use add gate explicitly in sort with edges
  ledwards2225
  committed
  7ee58d7
Commits on Mar 13, 2024
- move sort with edges to sort block
  ledwards2225
  committed
  a3401b6
- big add is arithmetic
  ledwards2225
  committed
  2eadd1a
- Merge branch 'master' into lde/gate_sorting
  ledwards2225
  committed
  7bf371a
- move dummy gates to exactly where theyre needed
  ledwards2225
  committed
  cbb027e
- add a required dummy in bigfield
  ledwards2225
  committed
  c05a8b0
- update pinning and big mul to arithmetic
  ledwards2225
  committed
  44991bb
- use pop wires syntax, no change expected
  ledwards2225
  committed
  d35dca4
- move ecc add to elliptic
  ledwards2225
  committed
  7d13b04
- nnf add and subract are arithmetic
  ledwards2225
  committed
  5af392f
Commits on Mar 14, 2024
- move aux gates to aux
  ledwards2225
  committed
  ba502f9
- move poseidon int and ext to respective blocks
  ledwards2225
  committed
  8a895c0
- split poseidon in guh add gates
  ledwards2225
  committed
  72f0e9b
- move databus gates and delete main block altogether
  ledwards2225
  committed
  ba4b82a
- missing poseidon dummy gate in gob add gates
  ledwards2225
  committed
  7d07ff1
- cleanup and rename
  ledwards2225
  committed
  6720420
- add print summary methods for blocks
  ledwards2225
  committed
  4a8fac1
- Merge branch 'master' into lde/gate_sorting
  ledwards2225
  committed
  ec6b60e
- disable double verify and update circuit hash
  ledwards2225
  committed
  718da65
Commits on Mar 18, 2024
- reinstate double v prove for js with test prints
  ledwards2225
  committed
  46cd7dd
- manual add gate added to aux block to avoid need for dummy
  ledwards2225
  committed
  cc62695
- cleanup and add TODO
  ledwards2225
  committed
  374330a
- cleanup TODOs
  ledwards2225
  committed
  cb906a3
- Merge branch 'master' into lde/sorted_trace
  ledwards2225
  committed
  9da509f
- remove old WORKTODO
  ledwards2225
  committed
  b42dfff
Commits on Mar 19, 2024
- address Keshas comments
  ledwards2225
  committed
  6675126
- Merge branch 'master' into lde/sorted_trace
  ledwards2225
  committed
  6c4b037
- name fix
  ledwards2225
  committed
  55f1dec

Commits

Commits on Mar 6, 2024

Commits on Mar 12, 2024

Commits on Mar 13, 2024

Commits on Mar 14, 2024

Commits on Mar 18, 2024

Commits on Mar 19, 2024