@risotto
ZK Scholars Assembly Revision 4 - Batch Opening & Vector Commitment
In the last KGZ discussion, we are only proving f(x) = y, what if we want to prove many different points are from the same polynomial? Here comes batch opening.
f(x) is a N-degree polynomial and interpolates set of point {(xi, yi)} i ∈ [n], define an accumulator polynomial as A(x) = ∏ (x - xi) while i ∈ [n]. And f(x) can be express as:
f(x) = A(x) * Q(x) + R(x)
A(x): accumulator polynomial
Q(x): quotient polynomial
R(x): remainder polynomial
1 reply
0 recast
0 reaction