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

DEAP clarify that Enc means encode

Browse Source
This commit is contained in:
dan
2024-04-02 10:11:53 +00:00
committed by GitHub
parent 9cbbd50933
commit cd991f9674
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/mpc/deap.md
View File

@@ -37,7 +37,7 @@ In the last phase of our protocol Bob must open all oblivious transfers he sent
* $x$ and $y$ are Alice and Bob's inputs, respectively. * $x$ and $y$ are Alice and Bob's inputs, respectively.
* $[X]_A$ denotes an encoding of $x$ chosen by Alice. * $[X]_A$ denotes an encoding of $x$ chosen by Alice.
* $[x]$ and $[y]$ are Alice and Bob's encoded _active_ inputs, respectively, ie $\mathsf{Enc}(x, [X]) = [x]$. * $[x]$ and $[y]$ are Alice and Bob's encoded _active_ inputs, respectively, ie $\mathsf{Encode}(x, [X]) = [x]$.
* $\mathsf{com}_x$ denotes a binding commitment to $x$ * $\mathsf{com}_x$ denotes a binding commitment to $x$
* $G$ denotes a garbled circuit for computing $f(x, y) = v$, where: * $G$ denotes a garbled circuit for computing $f(x, y) = v$, where:
* $\mathsf{Gb}([X], [Y]) = G$ * $\mathsf{Gb}([X], [Y]) = G$
@@ -133,4 +133,4 @@ Bob's only options are to behave honestly, or cause Alice to abort without leaki
### Malicious Alice & Bob ### Malicious Alice & Bob
They deserve whatever they get. They deserve whatever they get.