Commitments and Efficient Zero-Knowledge Proofs from Learning Parity with Noise

TL;DR: A perfectly binding string commitment scheme whose security is based on the learning parity with noise (LPN) assumption, or equivalently, the hardness of decoding random linear codes, which allows for a simple and efficient zero-knowledge proof of knowledge for committed values.

Abstract: We construct a perfectly binding string commitment scheme whose security is based on the learning parity with noise (LPN) assumption, or equivalently, the hardness of decoding random linear codes. Our scheme not only allows for a simple and efficient zero-knowledge proof of knowledge for committed values (essentially a Σ-protocol), but also for such proofs showing any kind of relation amongst committed values, i.e., proving that messages m0, . . . ,mu, are such that m0 = C(m1, . . . ,mu) for any circuit C. To get soundness which is exponentially small in a security parameter t, and when the zero-knowledge property relies on the LPN problem with secrets of length `, our 3 round protocol has communication complexity O(t|C|` log(`)) and computational complexity of O(t|C|`) bit operations. The hidden constants are small, and the computation consists mostly of computing inner products of bit-vectors.