Skip to content

Commit

Permalink
Preexplain role of Flatten
Browse files Browse the repository at this point in the history
  • Loading branch information
tideofwords committed Jul 9, 2024
1 parent afdf9f7 commit 5a8bec7
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions easy/src/fhe3.typ
Original file line number Diff line number Diff line change
Expand Up @@ -78,9 +78,9 @@ multiply two bits, you just multiply (matrix multiplication) the
ciphertexts:
$ C_1 C_2 upright(bold(v)) approx C_1 (mu_2 upright(bold(v))) = mu_2 C_1 upright(bold(v)) approx mu_2 mu_1 upright(bold(v)) = mu_1 mu_2 upright(bold(v)) . $

(At this point you might be concerned about this symbol $approx$ and
At this point you might be concerned about this symbol $approx$ and
what happens to the size of the error. That’s an important issue, and
well come back to it.)
we'll resolve it with the help of a special operation called "Flatten."

Anyway, once you have AND and NOT, you can build arbitrary logic gates –
and this is what we mean when we say you can perform arbitrary
Expand Down

0 comments on commit 5a8bec7

Please sign in to comment.