Code

Support for cq static lookups#1

Code

Open

therealyingtong wants to merge 23 commits intomaingeometryxyz/halo2-cq:mainfrom halo2-cqgeometryxyz/halo2-cq:halo2-cqCopy head branch name to clipboard

+4,035-1,892

Commits

Commits on May 22, 2023

• batch pairing

  Show description for 8d29a68
  

  therealyingtong

  and

  akinovak

  committed
  8d29a68

  Copy full SHA for 8d29a68

Commits on May 26, 2023

• Remove CommitmentScheme generic from Verifier and VerificationStrategy

  Show description for 82e4304
  

  therealyingtong

  and

  akinovak

  committed
  82e4304

  Copy full SHA for 82e4304

• Test merge_into_pairing_batcher

  Show description for 280fc91
  

  therealyingtong

  and

  akinovak

  committed
  280fc91

  Copy full SHA for 280fc91

Commits on May 30, 2023

• Remove CommitmentScheme generic from Prover

  Show description for d79e686
  

  therealyingtong

  and

  akinovak

  committed
  d79e686

  Copy full SHA for d79e686

• Add e2e test

  therealyingtong

  committed
  28bbb42

  Copy full SHA for 28bbb42

• Introduce MultiMillerLoop bound in ProvingKey, VerifyingKey

  Show description for 5619589
  

  therealyingtong

  and

  akinovak

  committed
  5619589

  Copy full SHA for 5619589

• Introduce plonk::static_lookup

  Show description for 6de5135
  

  therealyingtong

  and

  akinovak

  committed
  6de5135

  Copy full SHA for 6de5135

Commits on May 31, 2023

• Introduce Assignment::register_static_table<E: MultiMillerLoop>

  Show description for 33c5fbd
  

  therealyingtong

  and

  akinovak

  committed
  33c5fbd

  Copy full SHA for 33c5fbd

Commits on Jun 5, 2023

• Introduce Layouter::register_static_table

  Show description for c6e30ba
  

  therealyingtong

  and

  akinovak

  committed
  c6e30ba

  Copy full SHA for c6e30ba

• Working my_test

  Show description for d51397c
  

  therealyingtong

  and

  akinovak

  committed
  d51397c

  Copy full SHA for d51397c

• Integrate prover and verifier

  Show description for 5fba685
  

  therealyingtong

  and

  akinovak

  committed
  5fba685

  Copy full SHA for 5fba685

Commits on Jun 6, 2023

• Generic size KZG setup; value_index_mapping in StaticTableValues

  Show description for b27bfed
  

  therealyingtong

  and

  akinovak

  committed
  b27bfed

  Copy full SHA for b27bfed

• Integrate static lookups into IOP

  Show description for e6a9e1a
  

  therealyingtong

  and

  akinovak

  committed
  e6a9e1a

  Copy full SHA for e6a9e1a

Commits on Jun 7, 2023

• WIP working example; blinding for advice columns not working

  Show description for 5188bff
  

  therealyingtong

  and

  akinovak

  committed
  5188bff

  Copy full SHA for 5188bff

• Introduce SRS, ParamsCQ structs

  Show description for 7a78064
  

  therealyingtong

  and

  akinovak

  committed
  7a78064

  Copy full SHA for 7a78064

Commits on Jun 19, 2023

• Working test

  Show description for ea158fa
  

  therealyingtong

  and

  akinovak

  committed
  ea158fa

  Copy full SHA for ea158fa

• Sumcheck identity

  Show description for 3e212f3
  

  therealyingtong

  and

  akinovak

  committed
  3e212f3

  Copy full SHA for 3e212f3

• b_poly check

  Show description for 7179ba3
  

  therealyingtong

  and

  akinovak

  committed
  7179ba3

  Copy full SHA for 7179ba3

• SRS for multiple table sizes

  Show description for 2799aad
  

  therealyingtong

  and

  akinovak

  committed
  2799aad

  Copy full SHA for 2799aad

Commits on Jun 20, 2023

• Prover vector lookup

  Show description for ae189e4
  

  therealyingtong

  and

  akinovak

  committed
  ae189e4

  Copy full SHA for ae189e4

Commits on Jun 29, 2023

• Remove values from StaticTableValues

  Show description for e1c5a4d
  

  therealyingtong

  and

  akinovak

  committed
  e1c5a4d

  Copy full SHA for e1c5a4d

Commits on Oct 27, 2023

• static_lookup: Do not assume tables have unique values

  Show description for c34cb47
  

  therealyingtong

  and

  akinovak

  committed
  c34cb47

  Copy full SHA for c34cb47

• tests::static_lookup: fix e2e test

  therealyingtong

  committed
  028f6e5

  Copy full SHA for 028f6e5