Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture