Wenn wir über die Effizienz von Computer-alles nachdenken – jede Abstraktionsschicht (über den Byte-Code) – hat ihren Preis. In der Regel gilt: Je höher die Abstraktionsschicht, desto höher der Preis. Denken Sie jetzt an Snarks (die in einer allgemeinen Verbrauchshardware generiert werden) – es ist ungefähr eine Emulation von Emulation über Emulation von Emulation. Nun, der wirklich interessante Teil ist, wie es weitergehen wird: -- Einige Schichten könnten so schnell werden, aufgrund der allgemeinen Computerbeschleunigung, dass der Overhead vernachlässigbar wird. -- Einige Schichten könnten nativ implementiert werden (z. B. von ISA zu tatsächlich spezialisierten Chips, ähnlich wie beim Gaming heute), wenn die Welt genug allgemeinen Nutzen in Snarks sieht und Snark-Leute versehentlich wirklich gut im Verkauf und Lobbying werden. -- Einige Schichten könnten einfach durch die Investition von mehr großartigen klugen Köpfen in Optimierungen optimiert werden. Die wirklich, wirklich, wirklich interessante Frage: Wenn wir all das kombinieren – werden wir dann allgemeine (buchstäblich jedes Programm) Echtzeit-Snark-Beweisführung erhalten? Meine Wette ist eher ja als nein hehe. Aber wir werden sehen.