Code

Lde/gemini shplonk in prover#67

Code

Merged

codygunton merged 14 commits intomasterAztecProtocol/barretenberg:masterfrom lde/gemini_shplonk_in_proverAztecProtocol/barretenberg:lde/gemini_shplonk_in_proverCopy head branch name to clipboardJan 19, 2023

+229-146

Commits

Commits on Jan 19, 2023

• update multivariates constructor to handle shifts and add evals to transcript using poly manifest

  ledwards2225

  committed
  0834845

  Copy full SHA for 0834845

• WiP; claim construction

  ledwards2225

  committed
  7fd32cc

  Copy full SHA for 7fd32cc

• computing claims in prover; still using mock commitments for non witness polynomials

  ledwards2225

  committed
  00a2976

  Copy full SHA for 00a2976

• calling gemini reduce prove in prover; all tests passing; still using raw pointer for commitment key

  ledwards2225

  committed
  08c8a9b

  Copy full SHA for 08c8a9b

• Updating PCS to use shared pointer instead of raw pointer for commitment key

  ledwards2225

  committed
  8a7ec37

  Copy full SHA for 8a7ec37

• adding debug outputs for CCI

  ledwards2225

  committed
  c89c353

  Copy full SHA for c89c353

• more debug prints

  ledwards2225

  committed
  6413d31

  Copy full SHA for 6413d31

• Codys sumcheck round size fix

  ledwards2225

  committed
  105591a

  Copy full SHA for 105591a

• testing change in full_polynomials initialization

  ledwards2225

  committed
  1fcc2d0

  Copy full SHA for 1fcc2d0

• fixing multivariates constructor

  ledwards2225

  committed
  3cf8fab

  Copy full SHA for 3cf8fab

• gemini, shplonk, and kzg all running in prover

  ledwards2225

  committed
  b91588b

  Copy full SHA for b91588b

• fix Sumcheck tests that broke after last update

  ledwards2225

  committed
  15d7194

  Copy full SHA for 15d7194

• cleanup for PR

  ledwards2225

  committed
  d990b38

  Copy full SHA for d990b38

• Adding STANDARD_HONK tag to constant and deleting debug void line

  ledwards2225

  committed
  2e51fcb

  Copy full SHA for 2e51fcb