當我們思考計算機任何事物的效率時——每一層抽象（在位元碼之上）——都有其代價。通常，抽象層越高，代價就越高。 現在想想 snarks（在消費者通用硬體中生成）——這大約是模擬的模擬的模擬的模擬。好吧，真正有趣的部分是它將如何進一步發展： -- 一些層可能因為通用計算加速而變得如此快速，以至於開銷變得微不足道 -- 一些層可能會原生實現（例如，從 ISA 到實際的專用芯片，類似於今天的遊戲），如果世界在 snarks 中看到了足夠的通用價值，而 snark 人們意外地變得非常擅長銷售和遊說 -- 一些層可能僅僅通過投入更多優秀的頭腦進行優化 真正真正真正有趣的問題是：如果我們將上述所有內容結合起來——我們能否獲得通用的（字面上任何程序）實時 snark 證明？我的賭注是更可能是肯定而不是否定，呵呵。但我們拭目以待。