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