Repository navigation

feat: conventional lookups using log-deriv - #7020

Merged

ledwards2225 merged 49 commits into

masterfrom

lde/log_deriv_lookups

Jun 25, 2024

Merged

feat: conventional lookups using log-deriv#7020
ledwards2225 merged 49 commits into
masterfrom
lde/log_deriv_lookups

Commits on Jun 7, 2024
- some initial comments and cleanup
  ledwards2225
  committed
  60f2b1b
Commits on Jun 10, 2024
- some naming updates and comments
  ledwards2225
  committed
  760a9fb
- more comments
  ledwards2225
  committed
  5005403
- another comment
  ledwards2225
  committed
  2ce44bd
- table read counts seems to be working
  ledwards2225
  committed
  205a1e4
Commits on Jun 11, 2024
- update and add read tags to method
  ledwards2225
  committed
  5d2237d
- add counts and tags to flavor and oink, tests pass
  ledwards2225
  committed
  856fbfb
- construct counts at bottom of trace to match tables
  ledwards2225
  committed
  f8cdcb9
- relation code in place, not tested yet
  ledwards2225
  committed
  bcdc1a7
- add (fake) lookup inverses to proof system, tests pass
  ledwards2225
  committed
  e00d618
- compute genuine inverses; relation correctness fails though
  ledwards2225
  committed
  8d76a3c
- relation correctness passes for ultra and Mega
  ledwards2225
  committed
  1a12f9d
Commits on Jun 17, 2024
- use inheritance for getters
  ledwards2225
  committed
  a66e0c6
- Merge branch 'master' into lde/log_deriv_lookups
  ledwards2225
  committed
  76743f4
- fix build
  ledwards2225
  committed
  ed7cdbe
- fix bad template alias
  ledwards2225
  committed
  b90989c
- use ultra in ultra recursive
  ledwards2225
  committed
  6da8c4d
- update transcript tests
  ledwards2225
  committed
  bd8903a
- update pg and ultra rec verifiers
  ledwards2225
  committed
  50b53b9
- add lookup polys to verifier commitments for ultra
  ledwards2225
  committed
  97ecc40
- fix ultra rec flavor
  ledwards2225
  committed
  6d95dbe
- use ultra sizes in rec ultra flav
  ledwards2225
  committed
  a84bb75
- turn on log deriv lookups in the flavors
  ledwards2225
  committed
  3aa43c6
Commits on Jun 18, 2024
- remove pi folding and add a test
  ledwards2225
  committed
  e728e8a
- remove pi folding from verifier as well
  ledwards2225
  committed
  cf8e0a0
Commits on Jun 19, 2024
- test cleanup
  ledwards2225
  committed
  46b70ba
- remove lookup relation and all its paraphernalia
  ledwards2225
  committed
  4dfd415
- Merge branch 'master' into lde/log_deriv_lookups
  ledwards2225
  committed
  5886ee9
- use etas instead of betas, add subrel additional offsets
  ledwards2225
  committed
  7f93c26
- Merge branch 'master' into lde/log_deriv_lookups
  ledwards2225
  committed
  f79aedb
- fix sumcheck test
  ledwards2225
  committed
  019c268
- move sorted poly method to plonk only lib
  ledwards2225
  committed
  a37fa4f
Commits on Jun 20, 2024
- add skip condition
  ledwards2225
  committed
  32ecdd3
- update honk proof data for acir recursion
  ledwards2225
  committed
  1f3fc15
- comments and cleanup
  ledwards2225
  committed
  40191a7
- clean up test and add todo
  ledwards2225
  committed
  f706150
- failure tests
  ledwards2225
  committed
  3a5c42e
Commits on Jun 21, 2024
- more failure tests and some cleanup
  ledwards2225
  committed
  cd2da7a
- fix build and cleanup
  ledwards2225
  committed
  c36266c
- min circuit size due to lookups is only based on tables now
  ledwards2225
  committed
  f74ceff
- lots of cleanup
  ledwards2225
  committed
  dc883bb
- Merge branch 'master' into lde/log_deriv_lookups
  ledwards2225
  committed
  1940724
- add op count timer to new lookup relation
  ledwards2225
  committed
  0b83848
- Merge branch 'master' into lde/log_deriv_lookups
  ledwards2225
  authored
  407b664
- revert lookups size change
  ledwards2225
  committed
  810a110
- Merge branch 'lde/log_deriv_lookups' of github.com:AztecProtocol/aztec-packages into lde/log_deriv_lookups
  ledwards2225
  committed
  67f76cc
- Merge branch 'master' into lde/log_deriv_lookups
  ledwards2225
  committed
  65ba681
- circuit checker failure test
  ledwards2225
  committed
  8c5fe0c
Commits on Jun 24, 2024
- comments and cleanup based on review
  ledwards2225
  committed
  0d4032d

Commits

Commits on Jun 7, 2024

Commits on Jun 10, 2024

Commits on Jun 11, 2024

Commits on Jun 17, 2024

Commits on Jun 18, 2024

Commits on Jun 19, 2024

Commits on Jun 20, 2024

Commits on Jun 21, 2024

Commits on Jun 24, 2024