Announcement_20200609

preprint on succinct honest-verifier zero-knowledge argument for the satisfiability of Diophantine equations is now on IACR eprint