Edit of Proof Format section (#857)

Co-authored-by: Dave Longley <[email protected]>
Co-authored-by: Kyle Den Hartog <[email protected]>

Author: 3 people

index.html

@@ -3447,11 +3447,11 @@ <h3>Proof Formats</h3>
 The data model described in this specification is designed to be proof format
 agnostic. This specification does not normatively require any particular digital
 proof or signature format. While the data model is the canonical representation
-of a <a>verifiable credential</a> or <a>verifiable presentation</a>, the
+of a <a>credential</a> or <a>presentation</a>, the
 proofing mechanisms for these are often tied to the syntax used in the
 transmission of the document between parties. As such, each proofing mechanism
-has to specify whether the validation of the proof is calculated against the
-state of the document as transmitted, against the transformed data model, or
+has to specify whether the verification of the proof is calculated against the
+state of the document as transmitted, against the possibly transformed data model, or
 against another form. At the time of publication, at least two proof formats
 are being actively utilized by implementers and the Working Group felt
 that documenting what these proof formats are and how they are being used would