From 5e40d1511044a95601003f8fb6a15bd0e9ab2aeb Mon Sep 17 00:00:00 2001 From: Aritra Bhaduri <92646038+aritroCoder@users.noreply.github.com> Date: Tue, 31 Oct 2023 13:27:39 +0530 Subject: [PATCH] Update spec/data_flow_presentation_verify.md Co-authored-by: Michael Lodder Signed-off-by: Aritra Bhaduri <92646038+aritroCoder@users.noreply.github.com> --- spec/data_flow_presentation_verify.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec/data_flow_presentation_verify.md b/spec/data_flow_presentation_verify.md index 8826b94..a66aca7 100644 --- a/spec/data_flow_presentation_verify.md +++ b/spec/data_flow_presentation_verify.md @@ -93,7 +93,7 @@ $$\widehat{T_7} \leftarrow \left(\frac{e(pk\cdot\mathcal{G},\mathcal{S})}{e(g,g' $$\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 $\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. +If $\widehat{c_H} = c_H$, then the proof is valid. The NRP is bound to the primary credential by the $\widehat{m_2}$ value that is presented in both proofs.