Interactive Proofs of Knowledge
x:=a'•a-1 mod n