This market resolves YES if, after all opportunities for appeals have been exhausted, the final ruling is in DJB's favor, and NO if the final ruling is in NIST's favor.

In case of a settlement or a not-easily-classified ruling, I will use my judgement (and the crowd wisdom), but generally plan to defer to whether DJB announces himself satisfied with the outcome.

See context here: http://blog.cr.yp.to/20220805-nsa.html

Aug 5, 7:46pm: Because of the risk that the resolution requires some judgement call, I will not be betting in this market.