Practical probabilistic proof systems not based on polynomials
You can look the Groth-Sahai proof system; Its practical and has been well studied and it's not reliable to The Schwarz-Zippel lemma.
But it depends of the form of the equations you want to prove.