flâneur — a map of the web's best reading

Knowledge of coefficient

zeroknowledgeblog.com · 1,081 words · saved by 1 readers

The Zero Knowledge Blog

Empty  Print  Email If you read and spent some time on the previous posts on the blog, you should know that a proof will be the hidings of A(P), B(P), C(P), and H(P) , all calculated in the hidden space by using the hidings of the “building block” polynomials. The hidings that compose the proof prove that the equations hold, i.e. they prove that hh[A(P)] * hh[B(P)] - hh[C(P)] / hh[Z(P)] = hh[H(P)]. Now, we see all these fancy formulas for these hidings: hh[A(P)], hh[B(P)], hh[C(P)], hh[H(P)], ... but in reality they are just numbers : nobody can tell if we really calculated them as h

Explore this link on the map →

related reading