Når vi tenker på data-alt-effektivitet – hvert lag med abstraksjon (over bittkoden) – har det sin pris. Vanligvis, jo høyere abstraksjonslag – jo høyere er prisen. Tenk nå på snarks (som genereres i en forbrukermaskinvare for generell bruk) - det er omtrent emulering av emulering over emulering av emulering. Vel, den virkelig interessante delen er hvordan det vil gå videre: -- noen lag kan bli så raske på grunn av den generelle datamaskinakselerasjonen at overhead blir ubetydelig -- noen lag kan implementeres naturlig (f.eks. fra ISA til faktisk spesialbrikker som ligner på spill i dag) hvis verden ser nok generell verdi i snarks og snark, blir folk ved et uhell veldig gode i salg og lobbyvirksomhet -- noen lag kan bare optimaliseres på egen hånd ved å bruke flere store kloke hoder på opimiseringer Det virkelig virkelig interessante spørsmålet: hvis vi kombinerer alt det ovennevnte – vil vi få generell hensikt (bokstavelig talt hvilket som helst program) sanntids snark-bevis? Mitt veddemål er heller ja tha nei hehe. Men vi får se