Skip to content

Commit a51d2a5

Browse files
committed
add spaces before/after $$
1 parent 33c852c commit a51d2a5

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

Malicious-Security-Authenticated-Garbling-zh-TW.md

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -73,6 +73,7 @@ Evaluator 拿到 label 時可以看到 public pointer bit $\hat{x}$, 也知道
7373
Rows 直接用 pointer bits $\hat{x}$ 和 $\hat{y}$ 的順序來看.
7474

7575
當 $\hat{x} = 0, \hat{y} = 0$, 則
76+
7677
$$
7778
\begin{split}
7879
\hat{z_{00}} &= z \oplus \lambda_\gamma \\
@@ -82,6 +83,7 @@ $$
8283
&= (\lambda_\alpha \land \lambda_\beta) \oplus \lambda_\gamma
8384
\end{split}
8485
$$
86+
8587
Evaluator 到這邊會持有 $L_{\alpha,\hat{x}}$ 也就是 $L_{\alpha,0}$.<br>
8688
也會持有 $L_{\beta,\hat{y}}$ 也就是 $L_{\beta,0}$.<br>
8789
我們希望 evaluator 可以 decrypt 出 $L_{\gamma,\hat{z}}$ 和 pointer bit $\hat{z}$.<br>
@@ -139,6 +141,7 @@ $$
139141
&= (L_{\gamma,0} \oplus r_{00}\Delta_A \oplus K[s_{00}]) \oplus (M[s_{00}])
140142
\end{split}
141143
$$
144+
142145
左邊給 generator, 右邊給 evaluator.<br>
143146
當 generator 把左邊送給 evaluator 時, evaluator 就可以還原出 $L_{\gamma,\hat{z}_{00}}$.
144147

0 commit comments

Comments
 (0)