Caulk
Arantxa Zapico, Vitalik Buterin, Dmitry Khovratovich, Mary Maller, Anca Nitulescu, Mark Simkin
2022Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security43 citationsDOI
Abstract
We present position-hiding linkability for vector commitment schemes: one can prove in zero knowledge that one or m values that comprise commitment \cm all belong to the vector of size N committed to in \com. Our construction \textsfCaulk can be used for membership proofs and lookup arguments and outperforms all existing alternatives in prover time by orders of magnitude.
Topics & Concepts
Mathematical proofComputer scienceGas meter proverPosition (finance)Zero (linguistics)Theoretical computer scienceDiscrete mathematicsAlgorithmMathematicsFinancePhilosophyGeometryEconomicsLinguisticsCryptography and Data SecurityBlockchain Technology Applications and SecurityPrivacy-Preserving Technologies in Data