polynomial coefficients form expression
a_n-1 , a_n-2, … , a_0
polynomial commitment expresses as affine coordinate
Evaluation Key is used to verify opening proofs made about a committed
polynomial.
fft construction using n th root of unity supports polynomial operation less than n degree
Kate polynomial commitment params used for prover polynomial domain and proof verification
polynomial points-value form expression
Proof that a polynomial p was correctly evaluated at a point z
producing the evaluated point p(z).
witness for Kate polynomial commitment
