Lookup Arguments based on Logarithmic Derivatives
eprint.iacr.org · 8,087 words · saved by 1 readers
N/A
Multivariate lookups based on logarithmic derivatives Ulrich Haböck Orbis Labs, Polygon Zero uhaboeck@polygon.technology March 31, 2023∗ Abstract Logarithmic derivatives translate products of linear factors into sums of their reciprocals, turning zeroes into simple poles of same multiplicity. Based on this simple fact, we…
related reading
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- Binius: highly efficient proofs over binary fieldsvitalik.eth.limo
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- A Time-Space Tradeoff for the Sumcheck Provereprint.iacr.org
- 370.pdfeprint.iacr.org
- small-sumcheck.pdfpeople.cs.georgetown.edu
- Lookup argument - The halo2 Bookzcash.github.io
- 17 misconceptions about SNARKs - a16z cryptoa16zcrypto.com
- P lonK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge[0.72cm]eprint.iacr.org
- Flock: Fast Proving for Batch Boolean Computationseprint.iacr.org
- WHIR: Reed–Solomon Proximity Testing with Super-Fast Verificationeprint.iacr.org
- STARKs, Part II: Thank Goodness It's FRI-dayvitalik.eth.limo