From cb6af7b755d00039b6646827b3950437a5c9d0f1 Mon Sep 17 00:00:00 2001
From: Evan Chen <evan@evanchen.cc>
Date: Tue, 13 Aug 2024 12:22:28 -0700
Subject: [PATCH] Add distinctness assumption to OT

---
 easy/src/ot.typ | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/easy/src/ot.typ b/easy/src/ot.typ
index 626f563..68d8f90 100644
--- a/easy/src/ot.typ
+++ b/easy/src/ot.typ
@@ -4,6 +4,8 @@
 <ot>
 
 Alice has $n$ messages $x_1, dots, x_n$.
+For simplicity we'll assume the messages are pairwise distinct
+(if not, one can pad them with random bits).
 Bob wants to request the $i$-th message,
 without letting Alice learn anything about the value of $i$.
 Alice wants to send Bob $x_i$,