As reported in #127, the current vocabulary includes three terms that do not have a formal specification in the DI spec, namely: proof, nonce, and revoked. These entries must be present.
Note that there is a PR (#122) that may take care of the nonce case.
