Succinct non-interactive arguments for bounded depth computations