Lagrange basis Lagrange interpolating polynomial Proof that polynomial is unique Barycentric form DFT FFT Completeness Soundness Zero-Knowledge PSHVZK Proofs v/s arguments