Succinct Non-Interactive Arguments For Arithmetic Circuits