ใน "วิธีการจำลอง" (หน้า 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 หรือไม่ จะเป็นการขอบคุณมากหากคุณสามารถให้คำแนะนำเกี่ยวกับเทคนิคการพิสูจน์นี้แก่ฉันได้