RapidUp: Multi-Domain Permutation Protocol for Lookup Tables

Aug 13, 2022·
Héctor Masip Ardevol
Héctor Masip Ardevol
,
Jordi Baylina Melé
,
Daniel Lubarov
,
Jose Luis Muñoz Tapia
· 0 min read
Abstract
SNARKs for standard cryptographic primitives often include SNARK-unfriendly operations like XOR. Previous protocols like Plookup introduced lookup arguments but were limited to the same circuit. RapidUp solves this by unfolding the grand-product polynomial into two equivalent polynomials, with selector-based generalization.
Type
publications
Héctor Masip Ardevol
Authors
Research Engineer
I build systems that prove computation without revealing secrets. Currently developing ZisK, a high-performance zkVM. My research lives at the intersection of probabilistic proofs, algebra, and cryptographic protocols. Always looking for elegant solutions to hard problems.