Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
prover P has secret input w and public input x=gʷ. The verifier V has only public input x=gʷ. Both P and V have common the public group parameters g and q. Protocol: Prover P generates a random group element h and samples a random integer r. She sends the random value a=gʳ to the verifier V.