How can you verify any property to distribute property: valid controversy programs

As math analysis is very important in science, industry and community, there is a growing need to ensure the accuracy of their effects. Estimated justice can be verified by repeating all analysis, but we can confirm without repeating? Building in the latest work line, we read the evidence of evidence that allowed the verbal effects to see that the analysis results are nearly correct, while using a few programs rather than recurring analysis. We focus on the problems of testing the distribution: To ensure that unknown distribution is nearing the demands of demand.

Our main contribution is a practical example between the guarantee and the unscriptural Prover, which can be used to ensure any distribution property may be determined during the polynomial. If distributions are still a variety of maths break from getting the property, then the guarantee refuses to rare opportunities. This sound material is held in any polynomial model for cheating time that we can follow, consider the presence of hash work to fight Hash (common assumption in cryptography). Distribution of domestic domestic distribution, protocol contains 4 messages and contacts of communication and verifier Runtime Bus $Õ ( SQRT n / ε ε ε ε ε ε ε ε ε ε ε ε ε ε ε ε$

40IZMANN Institute