Some Improvements for the PIOP for ZeroCheck

ePrint Report: Some Improvements for the PIOP for ZeroCheck

Angus Gruen

Most multivariate proof systems require, at some point, an algebraic check against the rows of the trace. One popular protocol for this is known as zerocheck which is a sumcheck based protocol which proves a constraint function is zero over the $n$-dimensional Boolean hypercube. One of the drawbacks of running zerocheck over a small field, is that it usually involves a large number of evaluations of the constraint polynomial …

check eprint report function point popular proof protocol report systems trace