Succinct Functional Commitment for a Large Class of Arithmetic Circuits