Gives more details about DLEQ proof.

cfrg / draft-irtf-cfrg-voprf

Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups

Other

39 stars 15 forks source link

Closed armfazh closed 2 years ago

armfazh commented 2 years ago

The document actually uses a slightly modified version of Davidson et al. proof (POPETS). This PR specifies two subtle changes.

Fixes #335