Paper 2024/1531
FLI: Folding Lookup Instances
Abstract
We introduce two folding schemes for lookup instances: FLI and FLI+SOS. Both use a PIOP to check that a matrix has elementary basis vectors as rows, with FLI+SOS adding a twist based on Lasso’s SOS-decomposability.
FLI takes two lookup instances
Note: Added acknowledgements
Metadata
- Available format(s)
-
PDF
- Category
- Cryptographic protocols
- Publication info
- A minor revision of an IACR publication in ASIACRYPT 2024
- Keywords
- zero knowledgeinteractive proofsSNARKlookup argumentfolding scheme
- Contact author(s)
-
albert @ nethermind io
ignacio @ nethermind io - History
- 2024-10-28: last of 2 revisions
- 2024-09-30: received
- See all versions
- Short URL
- https://ia.cr/2024/1531
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2024/1531, author = {Albert Garreta and Ignacio Manzur}, title = {{FLI}: Folding Lookup Instances}, howpublished = {Cryptology {ePrint} Archive, Paper 2024/1531}, year = {2024}, url = {https://eprint.iacr.org/2024/1531} }