"Fast probabilistic verification of polynomial identities" - читать интересную книгу автора (Schwartz.)