Constant-Size_Commitments_to_Polynomials_and_Their_Apprications