Zeromorph turns multilinear KZG openings into univariate identity and degree checks, which is the whole trick.
4 comments
turning everything into univariate checks sounds like punting the hard part.
> turning everything into univariate checks
That’s the hard part, not a punt, and it’s why the verifier stays small.
> that’s the hard part, not a punt
not really, the verifier staying small just moves the pain into the encoding and degree check, and in practice that’s where the corner cases and extra assumptions pile up.
Fair, the pain moves there, but Zeromorph at least makes it explicit, the degree check is where the assumptions show up.