Skip to content

Commit

Permalink
Update spec/data_flow_presentation_verify.md
Browse files Browse the repository at this point in the history
Co-authored-by: Michael Lodder <redmike7@gmail.com>
Signed-off-by: Aritra Bhaduri <92646038+aritroCoder@users.noreply.github.com>
aritroCoder and mikelodder7 authored Oct 31, 2023

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
1 parent c7e016c commit 4cf0284
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion spec/data_flow_presentation_verify.md
Original file line number Diff line number Diff line change
@@ -92,7 +92,7 @@ $$\widehat{T_6} \leftarrow D^{\widehat{r''}}\cdot g^{-\widehat{m'}} \widetilde{
$$\widehat{T_7} \leftarrow \left(\frac{e(pk\cdot\mathcal{G},\mathcal{S})}{e(g,g')}\right)^{c_H}\cdot e(pk\cdot \mathcal{G},\widehat{h})^{\widehat{r''}}\cdot e(\widetilde{h},\widehat{h})^{-\widehat{m'}}\cdot e(\widetilde{h},\mathcal{S})^{\widehat{r}}$$
$$\widehat{T_8} \leftarrow \left(\frac{e(\mathcal{G},u)}{e(g,\mathcal{U})}\right)^{c_H}\cdot e(\widetilde{h},u)^{\widehat{r}}\cdot e(1/g,\widehat{h})^{\widehat{r'''}}$$

Then all these values are added to $\hat{T}$. This is then added with the validity proof which when hashed with $\mathcal{C}$ and $n_1$(recieved from [[ref: holder]]) re constructs the challenge hash $\widehat{c_H}$
Then all these values are added to $\widehat{T}$. This is then added with the validity proof which when hashed with $\mathcal{C}$ and $n_1$(recieved from [[ref: holder]]) re constructs the challenge hash $\widehat{c_H}$
Now, if $\widehat{c_H} = c_H$ then the proof is valid.

The NRP is bound to the credential by the $\widehat{m_2}$ value that is present in the proof.

0 comments on commit 4cf0284

Please sign in to comment.