ต่อไปนี้มาจากกระดาษ BGV (https://eprint.iacr.org/2011/277.pdf) หน้า 12.
$\text{FHE.Add}(pk,\textbf{c}_1,\textbf{c}_2)$: ใช้ข้อความเข้ารหัสสองตัวที่เข้ารหัสภายใต้สิ่งเดียวกัน $\textbf{s}_j$ (หากไม่ได้เริ่มต้นให้ใช้ $\text{FHE.Refresh}$ (ด้านล่าง) เพื่อให้เป็นเช่นนั้น) ตั้งค่า $\textbf{c}_3\leftarrow \textbf{c}_1+\textbf{c}_2 \mod q_j$. ตีความ $\textbf{c}_3$ เป็นไซเฟอร์เท็กซ์ภายใต้ $\textbf{s}_j'$ ($\textbf{s}_j'$ค่าสัมประสิทธิ์รวมทั้งหมดของ $\textbf{s}_j$ตั้งแต่ $\textbf{s}_j'=\textbf{s}_j\otimes\textbf{s}_j$ และ $\textbf{s}_j$ค่าสัมประสิทธิ์แรกของคือ $1$) และเอาต์พุต:
\begin{สมการ}
\textbf{c}_4\leftarrow\text{FHE.Refresh}(\textbf{c}_3,\tau_{\textbf{s}_j''\to\textbf{s}_{j-1}},q_j ,q_{จ-1})
\end{สมการ}
ถ้า $\textbf{c}_3$ เป็นไซเฟอร์เท็กซ์ภายใต้ $\textbf{s}_j'$เราควรจะสามารถกำหนดผลิตภัณฑ์ภายในได้ $\langle \textbf{c}_3,\textbf{s}_j'\range$. แต่ $\textbf{c}_3$ อยู่ใน $R^n$ ที่ไหน $R$ เป็นวงแหวนสลับหน่วย (ระบุไว้ในกระดาษ แต่อาจไม่สำคัญสำหรับคำถามนี้) ในขณะที่ $\textbf{s}_j'$ อยู่ใน $R^{n^2}$. ไม่ควร $\textbf{c}_3$ และ $\textbf{s}_j'$ ให้อยู่ในพื้นที่เดียวกันเพื่อกำหนดสินค้าภายใน?