क्या किसी भी निकाय को सीधी-सीधी सिमुलता के अर्थ के लिए कोई अच्छा संदर्भ पता है? मैं वर्तमान में कैनेटी के यूनिवर्सल कम्पेटिबिलिटी (UC) फ्रेमवर्क में बहुत गहरे में हूं, लेकिन मुझे स्ट्रेट-लाइन सिमुलैबिलिटी के अर्थ के लिए कोई अच्छा संदर्भ नहीं मिल रहा है। किसी भी मदद की सराहना की है।
जवाबों:
यहां, "सीधी रेखा" को "रिवाइंडिंग" के साथ विपरीत किया गया है। एक सिम्युलेटर "स्ट्रेट-लाइन" है यदि वह उस पार्टी को "रिवाइंड" नहीं करता है जिसके लिए वह सिमुलेशन कर रहा है।
उदाहरण के लिए, एक शून्य-ज्ञान प्रोटोकॉल में, सिम्युलेटर आमतौर पर "सत्यापनकर्ता" को याद दिलाता है। "स्ट्रेट-लाइन" अर्थ में, यह रिवाइंडिंग नहीं होता है।
मैंने पहली बार राफेल पास के पेपर में "स्ट्रेट-लाइन सिम्युलेटर" शब्द देखा ( ऑन द कॉनबिलिबिलिटी इन द कॉमन रेफरेंस स्ट्रिंग एंड रैंडम ओरेकल मॉडल। (CRYPTO'03) ) और M.Sc. थीसिस ( जीरो-नॉलेज प्रूफ के वैकल्पिक वेरिएंट )।
संपादित करें: मुझे पहले वाला एक पेपर मिला: समवर्ती शून्य-ज्ञान: सिंथिया वर्क और अमित सहाय द्वारा समय की कमी की आवश्यकता को कम करना , जो कि 1998 से शुरू होता है। अधिक संकेत के लिए, नीचे एलोन रोसेन की टिप्पणी देखें।
एक सीधी रेखा सिम्युलेटर होने का क्या अर्थ है, इसकी कोई औपचारिक परिभाषा नहीं है । यह केवल एक सहज विचार है जिसका उपयोग अनौपचारिक तरीके से चीजों का वर्णन करने के लिए किया जा सकता है। मैं इस बारे में बहुत संशय में हूं कि क्या कोई यह भी परिभाषित कर सकता है कि मशीन को वापस नहीं लाने का क्या मतलब है । दरअसल, किसी मशीन को रिवाइंड करना अपने आप में एक अनौपचारिक शब्द है! किसी मशीन को रिवाइंड करने से वास्तव में हमारा क्या तात्पर्य है कि हम किसी दिए गए राज्य से मशीन के निष्पादन के कई संभावित रास्तों का पता लगा सकते हैं। औपचारिक तर्क तब ऐसे निष्पादन की संख्या पर आधारित होते हैं, जिनसे हमें पता लगाने की आवश्यकता होती है कि हम एक जाल या कुछ अन्य जानकारी प्राप्त कर सकते हैं, जिसे हमें अपने प्रमाण को जारी रखने की आवश्यकता है।