การจำลองเส้นตรง

ร่างกายใด ๆ รู้อ้างอิงที่ดีสำหรับความหมายของการจำลองเส้นตรงหรือไม่? ฉันกำลังลึกเข้าไปในกรอบ Universal Composability (UC) ของ Canetti แต่ฉันไม่พบการอ้างอิงที่ดีใด ๆ สำหรับความหมายของการจำลองเส้นตรง ความช่วยเหลือใด ๆ ที่ชื่นชม

ตรงนี้ "เส้นตรง" ตัดกับ "กรอย้อนกลับ" เครื่องจำลองคือ "เส้นตรง" หากไม่ได้ "ย้อนกลับ" ปาร์ตี้ที่กำลังทำการจำลอง

ตัวอย่างเช่นในโพรโทคอลความรู้ศูนย์เครื่องมือจำลองมักจะย้อนกลับ "ตัวตรวจสอบ" ในความหมาย "เส้นตรง" การกรอกลับนี้จะไม่เกิดขึ้น

ผมเห็นครั้งแรกคำว่า "เส้นตรงจำลอง" ในกระดาษของราฟาเอลผ่านของ ( ใน Deniabililty ในสามัญอ้างอิงสตริงและสุ่มออราเคิลรุ่น. (CRYPTO'03) ) และ วท.ม. วิทยานิพนธ์ ( ตัวแปรทางเลือกของการพิสูจน์ความรู้ศูนย์ )

แก้ไข:ฉันพบบทความก่อนหน้านี้: ไม่มีความรู้พร้อมกัน: การลดความจำเป็นในการ จำกัด เวลาโดย Cynthia Dwork และ Amit Sahai ซึ่งย้อนหลังไปถึงปี 1998 สำหรับคำแนะนำเพิ่มเติมดูความคิดเห็นของ Alon Rosen ด้านล่าง

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