Skip to content

Commit

Permalink
Move transform of inputData to verification algorithm.
Browse files Browse the repository at this point in the history
  • Loading branch information
msporny committed Jul 21, 2024
1 parent 2cf2a94 commit 59ed20b
Showing 1 changed file with 14 additions and 15 deletions.
29 changes: 14 additions & 15 deletions index.html
Original file line number Diff line number Diff line change
Expand Up @@ -4129,12 +4129,9 @@ <h3>Securing Mechanism Specifications</h3>
for debugging purposes), such as details of the securing mechanism. A verification
algorithm MUST provide an interface that receives a media type ([=string=]
|inputMediaType|) and input data ([=byte sequence=] or [=map=] |inputData|).
If the verification algorithm expects a [=byte sequence=], provide |inputData|
to the algorithm. If the verification algorithm expects a [=map=], provide the
result of [=parsing JSON bytes to an Infra value=] given |inputData|. Securing
mechanism specifications MAY provide algorithms and interfaces in addition to the
ones specified in this document. The verification algorithm returns a
verification result with at least the following [=struct/items=]:
Securing mechanism specifications MAY provide algorithms and interfaces in
addition to the ones specified in this document. The verification algorithm
returns a verification result with at least the following [=struct/items=]:
</p>

<dl>
Expand Down Expand Up @@ -4736,11 +4733,10 @@ <h2>Algorithms</h2>
<h3>Verification</h3>

<p>
This section contains an algorithm that [=conforming verifier
implementations=] MUST run when verifying a [=verifiable credential=] or a
[=verifiable presentation=]. This algorithm takes a media
type ([=string=] |inputMediaType|) and secured data
([=byte sequence=] or [=map=] |inputData|) and returns a [=map=] that
This section contains an algorithm that [=conforming verifier implementations=]
MUST run when verifying a [=verifiable credential=] or a [=verifiable
presentation=]. This algorithm takes a media type ([=string=] |inputMediaType|)
and secured data ([=byte sequence=] |inputData|) and returns a [=map=] that
contains the following:
</p>

Expand Down Expand Up @@ -4788,10 +4784,13 @@ <h3>Verification</h3>
described in <a href="#securing-mechanism-specifications"></a>.
</li>
<li>
Set |result| to the result of passing |inputMediaType| and |inputData| to
the |verifyProof| function. If the call was successful, |result| will contain
the |status|, |document|, |mediaType|, |controller|, |controllerDocument|,
|warnings|, and |errors| properties.
If the |verifyProof| function expects a [=byte sequence=], provide
|inputMediaType| and |inputData| to the algorithm. If the |verifyProof| function
expects a [=map=], provide |inputMediaType| and the result of [=parsing JSON
bytes to an Infra value=] given |inputData|. Set |result| to the result of the
call to the |verifyProof| function. If the call was successful, |result| will
contain the |status|, |document|, |mediaType|, |controller|,
|controllerDocument|, |warnings|, and |errors| properties.
</li>
<li>
If |result|.|status| is set to `false`, add a
Expand Down

0 comments on commit 59ed20b

Please sign in to comment.