Answers:
这里，“直线”与“倒带”形成对比。如果模拟器没有“倒带”正在为其进行模拟的参与者，则它是“直线”的。
例如，在零知识协议中，模拟器通常倒带“验证程序”。在“直线”意义上，不会倒带。
我首先在Rafael Pass的论文（《通用参考字符串和随机Oracle模型中的否认性》（CRYPTO'03））和M.Sc中看到了“直线模拟器”一词。论文（零知识证明的替代变体）。
编辑：我发现了更早的一篇文章：并行零知识：减少时序约束的需要，作者是辛西娅·德沃克（Cynthia Dwork）和阿米特·萨海（Amit Sahai），最早可以追溯到1998年。有关更多的信息，请参见下面的Alon Rosen的评论。
直线模拟器的含义没有正式定义。这只是一个直观的想法，可用于以非正式的方式描述事物。我非常怀疑是否可以定义不倒带机器的含义。确实，倒带机器本身是一个非正式术语！重新定义机器的真正含义是，我们可以探索从给定状态执行机器的许多可能路径。然后，正式论据是基于我们需要探究的此类执行的数量，然后才能获得活板门或其他信息，这是我们进一步继续进行证明所需要的。