diff --git a/index.html b/index.html index a7213cd..f6bca78 100644 --- a/index.html +++ b/index.html @@ -3203,12 +3203,11 @@

Verify Proof Sets and Chains

  • For each |proof| in |allProofs|, do the following steps: -
    • -
      -
    1. +
        +
      1. Let |matchingProofs| be an empty list. -
        2. -
      2. +
        3. +
      3. 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 @@ -3220,23 +3219,24 @@

        Verify Proof Sets and Chains

        attribute of any element of |allProofs|, an error MUST be raised and SHOULD convey an error type of MALFORMED_PROOF_ERROR. -
        4. -
      4. +
        5. +
      5. Let |unsecuredDocument| be a copy of |securedDocument| with the proof value removed and then set |unsecuredDocument.proof| to |matchingProofs|. -
        6. -
      6. +
        7. +
      7. Run steps 5 through 8 to validate the contents of |proof|. -
        8. -
      8. +
        9. +
      9. Run steps 10 through 15 of the algorithm in section [[[#verify-proof]]]; if no exceptions are raised, associate the |isProofVerified| value with this |proof|. -

        +

        We specifically use the value of |unsecuredDocument| as set above, rather than using the value from step 5 of the algorithm in section [[[#verify-proof]]]. -

        -
        10. -
      +

      +
      2. +
    +
  • Return the |allProofs| along with each proof's associated |isProofVerified| information.