Sample Zero Knowledge Proof

Expression d=b2-4ac
a
b
c
Calculated Results
temp1 = a*c {{temp1}}
temp2 = -4*temp2 {{temp2}}
temp3 = b*b {{temp3}}
d = temp3+temp2 {{d}}
Constraints
a*c-temp1 {{a*c-temp1}}
4*temp1+temp2 {{4*temp1+temp2}}
b*b-temp3 {{b*b-temp3}}
temp3+temp2-d {{temp3+temp2-d}}
Constraint Polynoms
ua
ub
vb
vc
wtemp1
wtemp2
wtemp3
wd
Proposed Values
a{{a}}
b{{b}}
c{{c}}
temp1
temp2
temp3
d
Overall Polynoms
u = aua+bub
v = bvb+cvc
w = temp1wtemp1 + temp2wtemp2 + temp3wtemp3+dwd+

Results

x u(x) v(x) w(x) u(x)*v(x)-w(x)
{{step}} {{round(evalPoly(u, step))}} {{round(evalPoly(v, step))}} {{round(evalPoly(w, step))}} {{ round(overallEval(step)) }}