Score:4

2 คำจำกัดความที่แตกต่างกันของเสียงพิเศษ

ธง cn

มี 2 ​​คำจำกัดความที่แตกต่างกันของความสมบูรณ์พิเศษในวรรณคดี:

(1) สามารถพบได้ใน แดมการ์ด:

เราเรียกว่า Sigma-protocol $\ปี่$ ตอบสนองความสมบูรณ์เป็นพิเศษหากมีตัวแยก PPT $\mathcal{E}$ที่ทำให้คู่ใด ๆ ของการยอมรับการถอดเสียง $(คอม,ch_1,resp_1),(คอม,ch_2,resp_2)$ กับ $ch_1\neq ch_2$, $\mathcal{E}$ สามารถฟื้นตัวได้ $sk$.

(2) สามารถพบได้ใน Katz: ลายเซ็นดิจิทัล:

$\ปี่$ ตอบสนองความสมบูรณ์เป็นพิเศษหากสิ่งต่อไปนี้เล็กน้อย $\แลมบ์ดา$ สำหรับฝ่ายตรงข้าม PPT ทั้งหมด $\mathcal{A}$:

\begin{จัด} \operatorname{Pr} \ซ้าย[ \begin{อาร์เรย์}{c} (pk,sk) \gets \mathrm{keygen}(\แลมบ์ดา) \ (com,ch_1,resp_1,ch_2,resp_2) \gets\mathcal{A}(pk) \end{อาร์เรย์} : \begin{อาร์เรย์}{c} ch_1\neq ch_2\ \ที่ดิน\ (คอม,ch_1,resp_1),(คอม,ch_2,resp_2) \ \text{ต่างก็ยอมรับการถอดเสียง} \end{อาร์เรย์} \ขวา] \end{จัด}

ฉันเชื่อว่า (1) แข็งแกร่งกว่า (2) อย่างเคร่งครัด ถูกต้องหรือไม่?

ming alex avatar
in flag
ใช่ แต่มีพิธีการน้อยกว่า (2) อันที่จริง (1) แสดงถึงแนวคิดของการพิสูจน์ความรู้ ซึ่งสามารถพิจารณาได้ว่าเป็นความสมบูรณ์เป็นพิเศษ คู่ของความรู้สามารถสกัดได้โดยตัวแยก PPT
Mark avatar
ng flag
Mihir Bellare มี[หมายเหตุบางส่วน](https://cseweb.ucsd.edu/~mihir/cse208-Wi20/main.pdf)เกี่ยวกับคำจำกัดความต่างๆ (แตกต่างกันเล็กน้อย) ในโลกของ NIZK ที่อาจสนใจ

โพสต์คำตอบ

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