Skip to content

Latest commit

 

History

History
5 lines (3 loc) · 1006 Bytes

readme.md

File metadata and controls

5 lines (3 loc) · 1006 Bytes

A note on a multivariate lookup argument based on logarithmic derivatives.

The repo started with a multivariate (standard) Plonk prover, leveraging logarithmic derivatives for the permutation argument. We decided to changed the focus with the publication of Hyperplonk, switching to lookups, as there was nothing to add to their much more general (and beautiful) solution.

The lookup argument is based on the same fractional decomposition technique as Flookup, Sec. 5 and RDJH, which (unluckily to us) appeared at the time of writing. Nevertheless, the paper documents in detail the benefits of fractional decompositions for batch-column lookups, where many columns are subject to the same (normal-sized) table lookup. (Batch-column lookups are extensively used by AIR-like execution trace provers, ensuring the elements of several trace columns to be valid machine words.)