ฉันรู้ว่า PRF Xored ที่มีรหัสไม่ใช่ PRF ที่ปลอดภัย แล้วฉันสงสัยว่าถ้ารายการ Xored (หรือคูณ) เป็นตัวเลขสุ่มอื่น การแสดงออกที่เป็นทางการมีดังนี้:
อนุญาต $F_k(x):\{0,1\}^n \times \{0,1\}^n \rightarrow \{0,1\}^n$ เป็น PRF
"$<<$" การดำเนินการบ่งชี้การหมุนซ้าย "$\cdot$" การดำเนินการบ่งชี้โมดูลการคูณเลขฐานสอง $2^n$ ที่ไหน $n$สตริงบิตถูกตีความเป็นตัวเลขใน $Z_{2^n}$ และ "$(ก, ข)$" หมายถึงตัวหารร่วมมากของ $a$ และ $ข$.
ไตรมาสที่ 1 กำหนด $F'_{k_1,k_2}(x) = F_{k_1}(x) \oบวก k_2$, ที่ไหน $k_2$ ได้รับการคัดสรรจาก $\{0,1\}^n$. แล้วก็คือ $F'_{k_1,k_2}(x)$ PRF?
ไตรมาสที่ 2 กำหนด $F''_{k_1,k_2}(x) = (F_{k_1}(x)<<1) \oplus k_2$, ที่ไหน $k_2$ ได้รับการคัดสรรจาก $\{0,1\}$. แล้วก็คือ $F''_{k_1,k_2}(x)$ PRF?
ไตรมาสที่ 3 กำหนด $F'''_{k_1,k_2}(x) = k_2 \cdot F_{k_1}(x)$, ที่ไหน $k_2$ ได้รับการคัดสรรจาก $\{0,1\}^{n-1}||1$, เช่น. $(k_2,2^n) = 1$. แล้วก็คือ $F'''_{k_1,k_2}(x)$ PRF?
ฉันคิดว่าพวกเขาเป็น PRF แต่ฉันสับสนว่าจะพิสูจน์อย่างเป็นทางการได้อย่างไร $k_2$ ใน Q.3 กำหนดให้เป็นเลขคี่ เพราะถ้าเป็นเลขคู่ $F'''$ คืนค่าเป็นเลขคู่และไม่สามารถเป็น PRF ได้