search

cfrg / draft-irtf-cfrg-voprf

Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups
https://cfrg.github.io/draft-irtf-cfrg-voprf/#go.draft-irtf-cfrg-voprf.html
Other
39 stars 15 forks source link

Test vectors for failing conditions and edge-cases #333

Closed bytemare closed 1 year ago

bytemare commented 2 years ago

It is important for implementers to test their work produces correct results, and I believe that it is also important that the implementations fail or return relevant errors when necessary.

Has the addition of test vectors for particular cases or failing conditions been envisioned? Do you plan in adding such vectors?

This would greatly support tests for other protocols that use (V)OPRF, such as OPAQUE.

chris-wood commented 2 years ago

We could include test vectors with invalid request or response messages (maybe they deserialize to the identity element), or test cases where the proofs are corrupted or otherwise bogus. However, we can't come up with proofs for invalid inputs to the protocol (inputs that map to the identity element in the group).

chris-wood commented 1 year ago

Closing since no one got around to doing this.