Code

Cg/flavor#326

Code

Merged

codygunton merged 127 commits intomasterAztecProtocol/barretenberg:masterfrom cg/flavorAztecProtocol/barretenberg:cg/flavorCopy head branch name to clipboardMay 4, 2023

+3,436-2,524

Commits

Commits on Apr 18, 2023

• Add flavor & shuffle; everything builds with clang

  codygunton

  committed
  27079ce

• Template composer lib; split plonk tests pass.

  codygunton

  committed
  6bc56b1

• WIP on building Honk

  codygunton

  committed
  7546bc3

• set log_circuit_size in pk

  codygunton

  committed
  18a85ab

• "Everything builds" in clang!

  codygunton

  committed
  ebf82e8

• "It builds" again after rebase

  codygunton

  committed
  c8d75c7

• Make flavor base class, proof_system_tests pass.

  codygunton

  committed
  cef40e5

• Less inheritance

  codygunton

  committed
  08b6c34

• Good through creation of prover.

  codygunton

  committed
  06ce1dc

• Fix compilation.

  codygunton

  committed
  9073ecf

• Bring back evaluation_domain constructor.

  codygunton

  committed
  05db2a3

Commits on Apr 19, 2023

• Work on prover (it builds again!)

  codygunton

  committed
  fdbf396

• BaseCase runs through but fails.

  codygunton

  committed
  1a7de69

• Add table polys and reinstate in prover lib.

  codygunton

  committed
  27ffbeb

• Change assignment operators

  codygunton

  committed
  43bc9f1

• Reinstate some more polynomials.

  codygunton

  committed
  f10c9ce

Commits on Apr 20, 2023

• Fix grand product test.

  codygunton

  committed
  549cad1

• A bit of tidying up.

  codygunton

  committed
  5825d73

• Debugging: sigma polys make it to loop in test.

  codygunton

  committed
  7320e4c

• Notes after lookover.

  codygunton

  committed
  6fd6206

• See failures in AssertEquals test.

  codygunton

  committed
  f97be70

• Cleanup-ish

  codygunton

  committed
  e2c18d5

• Logs showing change in sigma polys.

  codygunton

  committed
  8155d48

• move wire index incrementer inside loop in compute perm mapping

  ledwards2225

  committed
  924d562

• Comments

  codygunton

  committed
  c279b8b

• commitment label fix

  ledwards2225

  committed
  ac03bf8

• Merge branch 'cg/flavor' of github.com:AztecProtocol/barretenberg into cg/flavor

  codygunton

  committed
  92e3bb0

• New vk

  codygunton

  committed
  56a5b0a

• WIP on verifier (build but failing assert)

  codygunton

  committed
  43fdc20

Commits on Apr 21, 2023

• WIP on Gemini verification

  codygunton

  committed
  a25deb3

• WIP sumcheck verifier passes but Gemini fails.

  codygunton

  committed
  8b82d58

• proof bbytes agree with master

  ledwards2225

  committed
  84bbeed

• WIP

  codygunton

  committed
  ed68972

• fix typo, verifies

  ledwards2225

  committed
  2bed95e

• Merge branch 'cg/flavor' of github.com:AztecProtocol/barretenberg into cg/flavor

  codygunton

  committed
  7d9b768

Commits on Apr 22, 2023

• LookupGrandProduct passes.

  codygunton

  committed
  9192d6b

• WIP debugging correctness test

  codygunton

  committed
  a6f1875

Commits on Apr 24, 2023

• Get rid of old flavor file.

  codygunton

  committed
  dcbabf1

• fix and simplify relation consistency tests

  ledwards2225

  committed
  a843aea

• fix expected manifest in transcript tests

  ledwards2225

  committed
  b9ef0bf

• exploring some simplifications in the Flavor data classes

  ledwards2225

  committed
  4410fdb

Commits on Apr 25, 2023

• simplifying flavor classes a bit

  ledwards2225

  committed
  a4a6157

• make selector order match that in ultra composer; relation correctness passing

  ledwards2225

  committed
  881da26

• Cheaply fix Flavor.Standard.

  codygunton

  committed
  ea20222

Commits on Apr 26, 2023

• Enrich circuit constructor

  codygunton

  committed
  94b4cc3

• Reduce boilerplate.

  codygunton

  committed
  44430c0

• Revert "Cheaply fix Flavor.Standard."

  Show description for bdb25d6
  codygunton

  committed
  bdb25d6

• Merge branch 'cg/flavor' of github.com:AztecProtocol/barretenberg into cg/flavor

  codygunton

  committed
  67e5d5b

• Trip skipping segfaulting incomplete test.

  codygunton

  committed
  e867a9c

• Reorg CCI workflow

  codygunton

  committed
  cfc911e

• Fix CCI workflow.

  codygunton

  committed
  727a47e

• Initialize proving key in SetUp().

  codygunton

  committed
  154da15

• Write test idiomatically.

  codygunton

  committed
  62a12d7

• Change num_randomized_gates.

  codygunton

  committed
  19bedf0

• Fix typo in pk setup.

  codygunton

  committed
  5a77e5b

• Splitting out biggroup tests saves no time.

  codygunton

  committed
  4d255db

• initial merge

  ledwards2225

  committed
  b9b4ed8

• getting things to build post master merge; all previously passing tests are passing

  ledwards2225

  committed
  3589b0e

• well ok now its building anyway

  ledwards2225

  committed
  6601e97

• lookup relation consistency tests passing

  ledwards2225

  committed
  d53aede

• reinstated UH composer tests passing

  ledwards2225

  committed
  893d6ae

• all tests reinstated and passing!

  ledwards2225

  committed
  2f24618

• new ProvingKey and WiP on making everything use the wires in the pkey

  ledwards2225

  committed
  d0732c0

Commits on Apr 27, 2023

• store all witness polys in the provng key for standard and ultra honk

  ledwards2225

  committed
  06116f5

• Small WORKTODOs

  codygunton

  committed
  d64b9f8

• fix wrong wire access in field tests

  ledwards2225

  committed
  2c83444

• WORKTODO: read wires

  codygunton

  committed
  5c54ee0

• Small WORKTODOs

  codygunton

  committed
  0a6d1a9

• Prover ~> StandardProver_, simly for Honk

  codygunton

  committed
  b1e2617

• Small WORKTODOs

  codygunton

  committed
  b8884ca

• Delete test due to significant drift over time.

  codygunton

  committed
  5f9f19e

• Fix commitment labels

  codygunton

  committed
  d1631d0

• Clean up test

  codygunton

  committed
  a768d8f

• Make MAX_RELATION_LENGTH issue.

  codygunton

  committed
  ecb272f

• Reference zip issue

  codygunton

  committed
  0684049

• Another opportunity to zip

  codygunton

  committed
  916a225

• Merge branch 'cg/flavor' of github.com:AztecProtocol/barretenberg into cg/flavor

  codygunton

  committed
  1a0c774

• Remove unused template argument.

  codygunton

  committed
  d197327

• Update comment.

  codygunton

  committed
  59ceaf7

• Ranged for loop and note.

  codygunton

  committed
  dffbefd

• Clarify complicated loop.

  codygunton

  committed
  ac0414d

Commits on Apr 28, 2023

• Note on ComposerType

  codygunton

  committed
  ffdffef

• Add note on ComposerType

  codygunton

  committed
  f881a12

• Fix the dirty hack.

  codygunton

  committed
  fb3b0db

• Generalize verifier, nix unused template param

  codygunton

  committed
  3c17edd

• Fix reverted comments (?)

  codygunton

  committed
  dc3e03a

• Fix compilation.

  codygunton

  committed
  bfe8ce5

• Clean up comments

  codygunton

  committed
  e98ca5d

• More cleanup of TODOs

  codygunton

  committed
  c7fc7cb

• Rename template args in Flavor.

  codygunton

  committed
  1611950

• Add handle types for uniformity

  codygunton

  committed
  9a30d6e

• Rename the base classes.

  codygunton

  committed
  64836c8

• Straggler

  codygunton

  committed
  a69185c

• Some hierarchy simplifications.

  codygunton

  committed
  66ac270

• Split flavor

  codygunton

  committed
  87499ff

• Less verbose name

  codygunton

  committed
  372f14b

• Comments and clarity.

  codygunton

  committed
  df37f58

• Rename "data" to "entities"

  codygunton

  committed
  859e5dd

• Use access specifiers in flavors.

  codygunton

  committed
  2bdacb7

• Explicitness in flavor

  codygunton

  committed
  4dfe945

• Move constructor from array and clean up.

  codygunton

  committed
  0be17f0

• Add huge introductory comment.

  codygunton

  committed
  8421b49

• Document flavor class templates.

  codygunton

  committed
  e89aeef

• num_wires ~> NUM_WIRES

  codygunton

  committed
  c6dc98a

• Comment standard flavor; resolve last WORKTODO.

  codygunton

  committed
  2a9af17

Commits on May 1, 2023

• Comments and WitnessEntities_

  codygunton

  committed
  91913f9

• Remove redundant template arg.

  codygunton

  committed
  0c33146

• Symmetry of proving key.

  codygunton

  committed
  93d6d61

• Remove some boilerplate

  codygunton

  committed
  604e68e

• Share proving key constructor.

  codygunton

  committed
  f25d727

• Rename members; resue VK constructors.

  codygunton

  committed
  1ddb451

• Paste standard flavor comments into ultra flavor.

  codygunton

  committed
  050bb38

• Cleanup

  codygunton

  committed
  e6d7ebe

• Merge branch 'master' into cg/flavor

  codygunton

  committed
  623e11a

Commits on May 4, 2023

• Merge branch 'master' into cg/flavor

  codygunton

  committed
  12b0ea4

• Merge branch 'master' into cg/flavor

  codygunton

  committed
  2c70458

• Add cci config line back in.

  codygunton

  committed
  c7b3e30

• Low-lying fixes like typos.

  codygunton

  committed
  4a8d52d

• Cheaply reintroduce equality check.

  codygunton

  committed
  b9c2952

• Leave note on unfinished tests

  codygunton

  committed
  503aca0

• Make todo an issue

  codygunton

  committed
  75589bf

• Add failure case.

  codygunton

  committed
  aa6d063

• Clarify some flavor tests.

  codygunton

  committed
  7053096

• Remove some logging.

  codygunton

  committed
  e7a997d

• Add assert suggested by Kesha.

  codygunton

  committed
  034c541

• Fix typo.

  codygunton

  committed
  0561e5d

• Remove proof printing function.

  codygunton

  committed
  5282d68