Score:1

เหตุใดเครื่องจำลองจึงสามารถรับอินพุตของบุคคลที่เสียหายไปยังฟังก์ชันย่อยในอุดมคติ $F$ "ฟรี" ในโมเดลไฮบริด $F$

ธง in

ใน "วิธีการจำลอง" (หน้า 45 บรรทัดที่ 10) ลินเดลล์ตั้งข้อสังเกตว่าใน $f_{\textsf{zk}}$- รุ่นไฮบริด (ที่ไหน $f_{\textsf{zk}}$ หมายถึงฟังก์ชันที่ไม่มีความรู้ในอุดมคติ) ใน แบบสแตนด์อโลน แบบอย่าง,

หากฝ่ายตรงข้ามควบคุมฝ่ายที่ดำเนินการพิสูจน์ก็จะส่งข้อมูลและคู่พยานโดยตรง $(x, w)$ ถึง $f_{\textsf{zk}}$. ซึ่งหมายความว่าตัวจำลองที่ทำงานภายในฝ่ายตรงข้ามจะได้รับ $(x, w)$ จากฝ่ายตรงข้ามและมีการป้อนข้อมูลและพยานทันที

นอกจากนี้ ในหน้าเดียวกัน (ย่อหน้าที่สอง)

โดยสรุป ในการจำลองสถานการณ์ เครื่องจำลองจะเล่นฝ่ายที่เชื่อถือได้ซึ่งคำนวณฟังก์ชันที่ใช้ในโมเดลไฮบริดที่โต้ตอบกับฝ่ายตรงข้าม เครื่องจำลองได้รับข้อมูลที่ฝ่ายตรงข้ามส่งโดยตรงและสามารถเขียนผลลัพธ์ใด ๆ ที่มันชอบ

คำถามที่ 1:

วิธีทำความเข้าใจแบบแผนการเขียนนี้จากมุมมองของรูปแบบการดำเนินการต่อหน้าศัตรูที่เป็นอันตรายใน แบบสแตนด์อโลน แบบอย่าง? ฉันรู้ว่าเครื่องจำลอง $\mathcal{S}$ สามารถเรียกศัตรูในโลกแห่งความเป็นจริงได้ $\mathcal{A}$ เพื่อให้แน่ใจว่า $\mathcal{S}$ ใช้ได้กับทุกคน $\mathcal{A}$'s. ดังนั้นใน แบบสแตนด์อโลน แบบจำลองการประชุมข้างต้นหมายความว่าอย่างนั้นหรือไม่ $\mathcal{A}$ ไม่สามารถแยกความแตกต่างระหว่างการทำงานในอุดมคติที่ "จริง" ได้ $F$ ใน $F$- รุ่นไฮบริดและการทำงานในอุดมคติ "จำลอง" $F$ ภายในดำเนินการโดย $\mathcal{S}$?

คำถามที่ 2:

ไม่ว่าแบบแผนการเขียนนี้จะถือหรือไม่ก็ตามใน UC แบบย่อ (SUC) แบบอย่าง? กล่าวอีกนัยหนึ่ง เครื่องจำลองสามารถบังคับให้ฝ่ายตรงข้ามในโลกแห่งความเป็นจริง (หุ่นจำลอง) สื่อสารกับการทำงานในอุดมคติที่จำลองขึ้น "โดยไม่รู้ตัว" ในแบบจำลอง SUC ได้หรือไม่ ในแบบจำลอง SUC ช่องทางการสื่อสารทั้งหมดได้รับการพิสูจน์ตัวตน (สสจ, หน้า 7). เครื่องจำลองจะมีศัตรูภายในเพื่อสื่อสารกับฟังก์ชันในอุดมคติที่จำลองได้อย่างไร

โดยสรุป ฉันสงสัยว่าการเขียนหลักฐานด้วยอนุสัญญาที่อ้างถึงนั้นสอดคล้องกับรูปแบบการดำเนินการในรูปแบบสแตนด์อโลน/SUC หรือไม่ จะเป็นการขอบคุณมากหากคุณสามารถให้คำแนะนำเกี่ยวกับเทคนิคการพิสูจน์นี้แก่ฉันได้

โพสต์คำตอบ

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