A dot-product proof (DPP) is a simple probabilistic proof system in which the input statement x and the proof {\pi} are vectors over a finite field \mathbb{F}, and the proof is verified by making a single dot-product query \langle {q},({x} \| {\pi})\rangle jointly to {x} and {\pi}. A DPP can ... more >>>