Calculation correctness verification method based on number theory and probability calculation

The invention relates to a calculation correctness verification method based on number theory and probability calculation, belongs to the technical field of calculation, and is used for solving the problem that existing outsourcing calculation lacks an effective method for verifying correctness of a calculation result. The method comprises the following steps: setting an expected verification accuracy P, sequentially selecting different moduli to verify whether a modular operation equation is established or not, and when each modular operation equation verification is established, calculating the current verification accuracy # imgabs0 # k as the current verification frequency, and ni is the modulus selected during ith verification; and when p 'is greater than or equal to P, considering that a calculation result r given by the calculation service provider based on the data a, the data b and the calculation operation op is correct under the verification accuracy P. According to the scheme, few calculation reso