Score:0

ความสามารถในการแยกแยะไม่ได้ของตัวอย่างประเภท LWE สองตัวอย่าง

ธง cn

พิจารณาปัญหาของความแตกต่างระหว่างตัวอย่างพหุนามจำนวนมากของอย่างใดอย่างหนึ่ง \begin{สมการ} (x, b, As + e) ​​~~\text{or}~~\left(x, b, ~Ax + b\cdot(As + e) ​​+ e'\right) \end{สมการ}

ที่นี่, $A$ เป็นเมทริกซ์สาธารณะและ $s$ เป็นเวกเตอร์ลับที่ถูกเลือกแบบสุ่ม $e$ และ $e'$ เป็นข้อผิดพลาด Gaussian $x$ และ $ข$ มีการสุ่มตัวอย่างอย่างสม่ำเสมอ

ขนาดของวัตถุต่างๆ มีดังนี้

\begin{จัด} ข &\in \{0, 1\}, \ x &\in \mathbb{Z}_{q}^{n}, \ s &\in \mathbb{Z}_{q}^{n}, \ A &\in \mathbb{Z}_{q}^{m \times n}, \ e, e' &\in \mathbb{Z}_{q}^{m}, \ \end{แนว}

$q \geq 2$ เป็นจำนวนเต็มเฉพาะ


ทั้งสองกรณีนี้แยกไม่ออก (ในทางคำนวณ) เมื่อเราได้รับตัวอย่างพหุนามจำนวนมากหรือไม่? ฉันคิดว่าพวกเขาเป็น แต่ฉันไม่สามารถผูกเข้ากับการคาดเดาได้

โปรดทราบว่าโดย LWE

\begin{สมการ} (x, b, As + e) ​​~~\text{and}~~\left(x, b, u\right), \end{สมการ} แยกไม่ออกทางคอมพิวเตอร์และเป็นเช่นนั้น \begin{สมการ} (x, b, ~Ax + b\cdot(As + e) ​​+ e') ~~\text{and}~~\left(x, b, ~Ax + b\cdot u + e'\right) \end{สมการ}

$u$ เป็นการสุ่มอย่างสมํ่าเสมอ อย่างไรก็ตาม ฉันไม่สามารถลดกรณีของฉันเป็น LWE ได้

Score:0
ธง ru

เราสามารถแยกแยะได้เล็กน้อย $(x,0,u)$ จาก $(x,0,Ax+eâ)$ โดยการลบ $ขวาน$ จากรายการที่สามและดูว่ารายการมีลักษณะเหมือนกันหรือเสียน

ความแตกต่าง $(x,1,u)$ จาก $(x,1,A(x+s)+(e+eâ))$ เป็นปัญหา LWE มาตรฐาน (สังเกตว่าความแปรปรวนของ $e+eâ$ เป็นผลรวมของความแปรปรวนของ $e$ และ $eâ$.

ดังนั้นตัวอย่างด้วย $b=0$ เป็นเรื่องเล็กน้อยและเป็นตัวอย่างด้วย $b=1$ คงจะไม่ใช่ การหาตัวอย่างพหุนามหลายตัวอย่างนั้นแน่นอนว่าต้องให้อย่างน้อยหนึ่งตัวอย่างด้วย $b=0$ และเพื่อให้เราสามารถแยกแยะได้เล็กน้อย

Morbius avatar
cn flag
เพื่อตรวจสอบสติว่ามีตัวอย่างหลายชื่อจาก \begin{equation} อย่างใดอย่างหนึ่งหรือไม่ (x, b_1, b_2, \ldots, b_k, ~Ax + b_1\cdot(As_1 + e_1) + b_2\cdot(As_2 + e_2) + \cdots + b_k\cdot(As_k + e_k) + e') ~~ \text{or}~~\left(x, b_1, b_2, \ldots, b_k, u \right), \end{equation} สำหรับ $b_i \in \{0, 1\}$, สำหรับ $k$ ที่มีพหุนามขนาดใหญ่ และสำหรับเวกเตอร์ลับ $s_1, \ldots, s_k$ สิ่งเหล่านี้จะแยกไม่ออก ใช่ไหม
Morbius avatar
cn flag
ข้อโต้แย้งคือเมื่อทุกๆ $b_i$ คือ $0$ พวกมันสามารถแยกแยะได้ง่าย แต่กรณีดังกล่าวไม่น่าเป็นไปได้แบบทวีคูณ สำหรับทุกกรณี สำหรับ $k$ ตัวเลือกใดๆ เราสามารถลดเป็น LWE ได้
Daniel S avatar
ru flag
ไม่ ข้อโต้แย้งคือถ้าอย่างน้อย $b_i$ เป็น 0 เซตนั้นสามารถแยกความแตกต่างได้ง่าย
Morbius avatar
cn flag
มันจะเป็นความจริงได้อย่างไร? สมมุติว่า $b_1 = 0$ เท่านั้น จากนั้น เราจะแยกความแตกต่างระหว่าง $A(x + s_2 + s_3 + \cdots + s_k) + (e_1 + e_2 + \cdots + e_k) + e'$ และ $u$ นั่นไม่ใช่แค่ตัวแปรของ LWE ใช่ไหม ดังนั้น เราไม่ต้องการให้ทุก ๆ $b_i$ เป็น $0$ เพื่อให้ตัวอย่างแยกแยะได้ และไม่ใช่แค่ $b_i$ อย่างน้อยหนึ่งรายการเท่านั้นถึงจะเป็น $0$
Morbius avatar
cn flag
*เรากำลังแยกความแตกต่างระหว่าง $A(x + s_2 + \cdots + s_k) + (e_2 + \cdots + e_k + e')$ และ $u$....
Daniel S avatar
ru flag
ฉันขอแนะนำให้เราย้ายการสนทนา [ไปที่ห้องแชทนี้](https://chat.stackexchange.com/rooms/135597/discussion-on-computational-indistinguiability)

โพสต์คำตอบ

คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา