Module starky::lookup

A Lookup protocol leveraging logarithmic derivatives, introduced in https://eprint.iacr.org/2022/1530.pdf.

Structs

• Column
  Represent two linear combination of columns, corresponding to the current and next row values. Each linear combination is represented as:
• Filter
  Represents a filter, which evaluates to 1 if the row must be considered and 0 if it should be ignored. It’s an arbitrary degree 2 combination of columns: products are the degree 2 terms, and constants are the degree 1 terms.
• GrandProductChallenge
  Randomness for a single instance of a permutation check protocol.
• GrandProductChallengeSet
  Like GrandProductChallenge, but with num_challenges copies to boost soundness.
• Lookup
  A Lookup defines a set of columns`` whose values should appear in a table_column(i.e. the lookup table associated to these looking columns), along with afrequencies_column` indicating the frequency of each looking column in the looked table.

Functions

• get_grand_product_challenge_set
  Generates a new GrandProductChallengeSet containing num_challenges pairs of challenges from the current challenger state.
• get_grand_product_challenge_set_target
  Circuit version of get_grand_product_challenge_set.