Batching with KZG

We can batch revealing values of different commitments at a common point 𝑧 using a round of interaction with a verifier. Let be a list of KZG commitments to a set of polynomials, To query the values of these polynomials at

The claimed values are most likely true if this check works.