Skip to content

Orbis-Tertius/MVlookups

Repository files navigation

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.)

About

A note on multivariate lookup arguments

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages