diff --git a/index.html b/index.html index 7848e7ac..2119fb81 100644 --- a/index.html +++ b/index.html @@ -2011,7 +2011,7 @@

Relationship to Verifiable Credentials

verifiable presentation, during the process of validation. One way to check for such an association is to ensure that the value of the -controller property of a proof's verification method +`controller` property of a proof's verification method matches the URL value used to identify the `issuer` or `holder`, respectively. @@ -2311,7 +2311,7 @@

The `cryptosuiteString` Datatype

-The cryptosuiteString datatype is defined as follows: +The `cryptosuiteString` datatype is defined as follows:

@@ -2489,7 +2489,7 @@

Cryptographic Suites

  • The JSON-LD context associated with the cryptographic suite MUST have its terms -protected from unsafe redefinition, by use of the @protected keyword. +protected from unsafe redefinition, by use of the `@protected` keyword.
  • @@ -2992,20 +2992,20 @@

    Add Proof Set/Chain

    Let |matchingProofs| be an empty list.
  • -If |options| has a previousProof [=struct/item=] that +If |options| has a `previousProof` [=struct/item=] that is a string, add the element from |allProofs| with an -id attribute matching previousProof to +`id` attribute matching `previousProof` to |matchingProofs|. If a proof with -id equal to previousProofdoes not exist in +`id` equal to `previousProof`does not exist in |allProofs|, an error MUST be raised and SHOULD convey an error type of PROOF_GENERATION_ERROR.
  • -If |options| has a previousProof [=struct/item=] that +If |options| has a `previousProof` [=struct/item=] that is an array, add each element from -|allProofs| with an id attribute that matches an element -of that array. If any element of previousProof array has an -id attribute that does not match the id attribute +|allProofs| with an `id` attribute that matches an element +of that array. If any element of `previousProof` array has an +`id` attribute that does not match the `id` attribute of any element of |allProofs|, an error MUST be raised and SHOULD convey an error type of PROOF_GENERATION_ERROR. @@ -3180,7 +3180,7 @@

    Verify Proof

    Verify Proof Sets and Chains

    In a proof set or proof chain, a secured data document has a -proof attribute which contains a list of proofs +`proof` attribute which contains a list of proofs (|allProofs|). The following algorithm provides one method of checking the authenticity and integrity of a secured data document, achieved by verifying every @@ -3188,7 +3188,7 @@

    Verify Proof Sets and Chains

    it is only desired to verify a subset of the proofs contained in |allProofs|. If another approach is taken to verify only a subset of the proofs, then it is important to note that any proof in that subset with a -previousProof can only be considered verified if the proofs it +`previousProof` can only be considered verified if the proofs it references are also considered verified.

    @@ -3209,17 +3209,17 @@

    Verify Proof Sets and Chains

    Let |matchingProofs| be an empty list.
  • -If |proof| contains a previousProof attribute and that +If |proof| contains a `previousProof` attribute and that attribute is a string, add the element from |allProofs| with an -id attribute matching previousProof to -matchingProofs. -If a proof with id does not exist in |allProofs|, an error +`id` attribute matching `previousProof` to +`matchingProofs`. +If a proof with `id` does not exist in |allProofs|, an error MUST be raised and SHOULD convey an error type of MALFORMED_PROOF_ERROR. -If the previousProof attribute is an array, add each element from -|allProofs| with an id attribute that matches an element -of that array. If any element of previousProof array has an -id attribute that does not match the id attribute +If the `previousProof` attribute is an array, add each element from +|allProofs| with an `id` attribute that matches an element +of that array. If any element of `previousProof` array has an +`id` attribute that does not match the `id` attribute of any element of |allProofs|, an error MUST be raised and SHOULD convey an error type of MALFORMED_PROOF_ERROR.