Wanneer we denken aan de efficiëntie van computer-alles – elke abstractielaag (boven de bytecode) – heeft het zijn prijs. Gewoonlijk geldt: hoe hoger de abstractielaag, hoe hoger de prijs. Denk nu aan snarks (die worden gegenereerd op consumentengenerieke hardware) – het is ongeveer emulatie van emulatie over emulatie van emulatie. Wel, het echt interessante deel is hoe het verder zal gaan: -- sommige lagen kunnen zo snel worden door de algemene computeracceleratie dat de overhead verwaarloosbaar wordt -- sommige lagen kunnen inheemse implementaties worden (bijv. van ISA naar daadwerkelijk speciale chips, vergelijkbaar met gaming vandaag) als de wereld genoeg algemene waarde in snarks ziet en snarkmensen per ongeluk echt goed worden in verkoop en lobbyen -- sommige lagen kunnen gewoon geoptimaliseerd worden door meer briljante geesten aan optimalisaties te besteden De echt, echt, echt interessante vraag: als we al het bovenstaande combineren – krijgen we dan algemene doeleinden (letterlijk elk programma) real-time snark-proving? Mijn weddenschap is eerder ja dan nee hehe. Maar we zullen zien.