8000 GitHub - ulrich-haboeck/MVlookups: A note on multivariate lookups based on logarithmic derivatives
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

ulrich-haboeck/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 lookups based on logarithmic derivatives

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • TeX 65.7%
  • Mathematica 34.3%
0