Announcement_20200816a

paper on succinct honest-verifier zero-knowledge argument for the satisfiability of Diophantine equations accepted in Asiacrypt 2020