当我们考虑计算机相关的效率时——每一层抽象（在字节码之上）——它都有其代价。通常，抽象层越高，代价就越高。 现在想想snarks（在消费级通用硬件中生成）——这大约是对仿真进行仿真的仿真。真正有趣的部分是它将如何进一步发展： -- 一些层可能会因为通用计算加速而变得如此快速，以至于开销变得微不足道 -- 一些层可能会以本地方式实现（例如，从ISA到实际上类似于今天游戏的专用芯片），如果世界在snarks中看到足够的通用价值，而snark相关的人恰好在销售和游说方面变得非常出色 -- 一些层可能只是通过投入更多优秀的头脑进行优化而得到优化 真正真正真正有趣的问题是：如果我们将上述所有内容结合起来——我们能否获得通用的（字面上任何程序）实时snark证明？我认为答案更可能是肯定的，而不是否定的，呵呵。但我们拭目以待。