From b412169be56b856eb75d6e1e3533fbc611c04f2b Mon Sep 17 00:00:00 2001 From: "J. Ayo Akinyele" Date: Fri, 18 May 2018 11:43:31 -0400 Subject: [PATCH] more tweaks --- docs/bolt_design.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/bolt_design.tex b/docs/bolt_design.tex index 9aada9a..5e1e2bb 100644 --- a/docs/bolt_design.tex +++ b/docs/bolt_design.tex @@ -31,7 +31,7 @@ {\selectfont{\huge{Version \myversion}}}} \vspace{1in} \\ -{{\bf Authors}\\ Matthew D. Green (mgreen@cs.jhu.edu) \\ Ian Miers (imiers@jhu.edu)\\J. Ayo Akinyele (ayo@yeletech.org)} +{{\bf Authors}\\ Matthew D. Green (mgreen@cs.jhu.edu) \\ Ian Miers (imiers@cs.jhu.edu)\\J. Ayo Akinyele (ayo@yeletech.org)} \\ \vspace{2in} \textcolor{black}{ @@ -581,7 +581,7 @@ The customer does the following: \item Generate proof $\pi_2$ as follows: \\ $\pi_2 = PK\{ (wpk', B, r', \sigma_w) : {\sf wCom'} = {\sf Commit}({\sf cID}, wpk', B - \epsilon; r') \\ \wedge {\sf Verify}(pk_m, (wpk, B), \sigma_w) = 1 -\\ \wedge 0 \leq (B - \epsilon) \leq val_{\sf max} \}$ +\\ \wedge 0 \leq (B - \epsilon) \leq {\sf val}_{\sf max} \}$ \begin{itemize} \item Compute $C_1 = g^B \cdot h^{r_1}$