Code

feat: Simplify relation containers#2619

Code

Merged

codygunton merged 48 commits intomasterAztecProtocol/aztec-packages:masterfrom cg/pg-simplify-relation-containersAztecProtocol/aztec-packages:cg/pg-simplify-relation-containersCopy head branch name to clipboardOct 11, 2023

+1,201-1,378

Commits

Commits on Sep 27, 2023

• Get rid of proxies to accumulate.

  codygunton

  committed
  13f2957

  Copy full SHA for 13f2957

Commits on Sep 28, 2023

• More explicit names for accumulator types.

  codygunton

  committed
  b4d7f6d

  Copy full SHA for b4d7f6d

• Step: Containers from arrays.

  codygunton

  committed
  02e304a

  Copy full SHA for 02e304a

Commits on Sep 29, 2023

• WIP on accumulate interface

  codygunton

  committed
  0812041

  Copy full SHA for 0812041

Commits on Oct 2, 2023

• It works

  codygunton

  committed
  8798c6a

  Copy full SHA for 8798c6a

• Add get_row and rename ClaimedEvaluations

  codygunton

  committed
  7f87044

  Copy full SHA for 7f87044

Commits on Oct 3, 2023

• This index does nothing?

  codygunton

  committed
  af3241e

  Copy full SHA for af3241e

• Format -_-

  codygunton

  committed
  afdd72b

  Copy full SHA for afdd72b

• Get rid of index in gp computation.

  codygunton

  committed
  af8e251

  Copy full SHA for af8e251

• get_row in compute_logderivative_inverse

  codygunton

  committed
  6b44bd3

  Copy full SHA for 6b44bd3

• compute_read_term WIP

  codygunton

  committed
  13d6577

  Copy full SHA for 13d6577

• Name type

  codygunton

  committed
  dff0c38

  Copy full SHA for dff0c38

• Ditto compute_write_term

  codygunton

  committed
  a989d4f

  Copy full SHA for a989d4f

• Supply Accumulator0 type

  codygunton

  committed
  0a6a6c4

  Copy full SHA for 0a6a6c4

• r/w predicates and cleanup

  codygunton

  committed
  7c66273

  Copy full SHA for 7c66273

Commits on Oct 4, 2023

• Make circuit builder build.

  codygunton

  committed
  b413e51

  Copy full SHA for b413e51

• Merge remote-tracking branch 'origin/master' into cg/pg-simplify-relation-containers

  codygunton

  committed
  01bcdb8

  Copy full SHA for 01bcdb8

• Fix (??)

  codygunton

  committed
  3329eb4

  Copy full SHA for 3329eb4

• No more get_view

  codygunton

  committed
  d30ab50

  Copy full SHA for d30ab50

• Lookup relation

  codygunton

  committed
  65cfd43

  Copy full SHA for 65cfd43

• GenPermSort relation

  codygunton

  committed
  1c4d011

  Copy full SHA for 1c4d011

• EllipticRelation

  codygunton

  committed
  1286417

  Copy full SHA for 1286417

• ECCOpQueue

  codygunton

  committed
  b0e26b0

  Copy full SHA for b0e26b0

• Aux relation

  codygunton

  committed
  806b1eb

  Copy full SHA for 806b1eb

• Permutation relation

  codygunton

  committed
  5f81c32

  Copy full SHA for 5f81c32

Commits on Oct 5, 2023

• proof_system_tests compiles.

  codygunton

  committed
  4beb688

  Copy full SHA for 4beb688

• Everything builds.

  codygunton

  committed
  af25ed9

  Copy full SHA for af25ed9

• No templates in relation_types.hpp

  codygunton

  committed
  56b0908

  Copy full SHA for 56b0908

• Four type sin relation_types.hpp

  codygunton

  committed
  cf66000

  Copy full SHA for cf66000

• Rename (better grammar)?

  codygunton

  committed
  8dc4c58

  Copy full SHA for 8dc4c58

• RELATION_LENGTH is calculated dynamically

  codygunton

  committed
  908f485

  Copy full SHA for 908f485

• Nix LEN_s and getters

  codygunton

  committed
  8ee72d2

  Copy full SHA for 8ee72d2

• Clarify around extended_edges

  codygunton

  committed
  d3ec8a2

  Copy full SHA for d3ec8a2

• Resolve TODOs

  codygunton

  committed
  dc3e46d

  Copy full SHA for dc3e46d

• accumulate functions can infer types

  codygunton

  committed
  41fb68f

  Copy full SHA for 41fb68f

• Tweaks in review 1.

  codygunton

  committed
  a6e22b1

  Copy full SHA for a6e22b1

• Use generic template parameter name

  codygunton

  committed
  7b2e885

  Copy full SHA for 7b2e885

• More review.

  codygunton

  committed
  8ea3674

  Copy full SHA for 8ea3674

Commits on Oct 6, 2023

• Move subrelation_is_linearly_independent to fn.

  codygunton

  committed
  b0dccce

  Copy full SHA for b0dccce

• Credit

  codygunton

  committed
  ad5050b

  Copy full SHA for ad5050b

• unnamed scope is fine?

  codygunton

  committed
  d16c09c

  Copy full SHA for d16c09c

• Add illustrative test.

  codygunton

  committed
  a552815

  Copy full SHA for a552815

• Rename compute_full_polynomails; use get_row

  codygunton

  committed
  29a8422

  Copy full SHA for 29a8422

• Finishing touches

  codygunton

  committed
  7ab6829

  Copy full SHA for 7ab6829

• Merge remote-tracking branch 'origin/master' into cg/pg-simplify-relation-containers

  codygunton

  committed
  1caa638

  Copy full SHA for 1caa638

Commits on Oct 10, 2023

• Respond to Luke's review.

  codygunton

  committed
  2a91100

  Copy full SHA for 2a91100

• Merge remote-tracking branch 'origin/master' into cg/pg-simplify-relation-containers

  codygunton

  committed
  2650429

  Copy full SHA for 2650429

• Whoops--staged missing change.

  codygunton

  committed
  c1ac0ed

  Copy full SHA for c1ac0ed