tlsnotary/docs-mdbook
1
0
Fork 0
mirror of https://github.com/tlsnotary/docs-mdbook.git synced 2026-01-08 20:28:02 -05:00
Code Issues Packages Projects Releases Wiki Activity

Add fix for ROLE protocol

Browse Source
This commit is contained in:
th4s
2024-02-15 15:49:20 +01:00
parent c62299175f
commit ab9e969dc2
1 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
research/ole-flavors.typ
View File

@@ -37,11 +37,16 @@ such that $ y_k = a_k dot b_k + x_k$
$t_0^i, t_1^i$ and $P_B$ knows $t_(f_i)$.
- With some PRF define: $s_(i,0)^k := "PRF"(t^i_0, k)$, $s_(i,1)^k :=
"PRF"(t^i_1, k)$
- $P_A$ randomly samples $e_1 arrow.l bb(F)$ and $P_B$ randomly
samples $e_2 arrow.l bb(F)$.
- $P_A$ sends $e_1$ to $P_B$ and $P_B$ sends $e_2$ to $P_A$ using a
commit-reveal scheme.
- Both parties define $e_k = "PRF"(e_1 xor e_2, k)$.
+ $"Extend"_k$: This can be batched or/and repeated several times.
- $P_A$ samples randomly $c_k arrow.l bb(F)$ and $e_k arrow.l bb(F)$
- $P_A$ samples randomly $c_k arrow.l bb(F)$.
- $P_B$ samples randomly $d_k arrow.l bb(F)$.
- $P_A$ sends $e_k$ and $u_i^k = s_(i,0)^k - s_(i,1)^k + c_k$ to $P_B$.
- $P_A$ sends $u_i^k = s_(i,0)^k - s_(i,1)^k + c_k$ to $P_B$.
- $P_B$ defines $b_k = e_k + f$ and sends $d_k$ to $P_A$.
- $P_A$ defines $a_k = c_k + d_k$ and outputs
$x_k = sum 2^i s_(i,0)^k - a_k dot e_k$
@@ -52,7 +57,6 @@ such that $ y_k = a_k dot b_k + x_k$
and outputs $y_k = 2^i y^k_i$
+ Now it holds that $y_k = a_k dot b_k + x_k$.
#pagebreak()
== Vector OLE
=== Functionality $cal(F)_"VOLE"$