Publications
Efficient Multivariate Low-Degree Tests via Interactive Oracle Proofs of Proximity for Polynomial Codes
In STARK-like zero -knowledge proofs, like those of the Starware company, the major algorithmic and mathematical breakthrough which enables such great performance in applications is the invention of very efficient “low degree test” of univariate polynomials. Our work enables to perform such low degree test for multivariate polynomials, with the…