Expand description
We use the proof as given in protocol 6.1 in https://eprint.iacr.org/2017/552.pdf Statement: (c, pk, Q, G) witness (x, r, sk) such that Q = xG, c = Enc(pk, x, r) and Dec(sk, c) = x. note that because of the range proof, the proof is sound only for x < q/3
Structs§
- PDLProver
Decommit - PDLProver
First Message - PDLProver
Second Message - PDLProver
State - PDLStatement
- PDLVerifier
First Message - PDLVerifier
Second Message - PDLVerifier
State - PDLWitness
- Prover
- Verifier