fascinating! here's what I would have said if i were chatGPT (never studied KZG commitments, btw). it seems like the key fact is that when f(z) == y, the numerator f(X) - y has a root at z, so division by (X - z) is well-defined (i.e., yields an