CCS2022

Caulk: Lookup Arguments in Sublinear Time

Arantxa Zapico, Vitalik Buterin, Dmitry Khovratovich, Mary Maller, Anca Nitulescu, Mark Simkin

被引用 41 次

摘要

We present position-hiding linkability for vector commitment schemes: one can prove in zero knowledge that one or m values that comprise commitment all belong to the vector of size N committed to in . Our construction can be used for membership proofs and lookup arguments and outperforms all existing alternatives in prover time by orders of magnitude.