Publication date:


Efficient Multivariate Low-degree Tests via interactive Oracle proofs pf Proximity for Polymanial 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 same efficiency. This is a first layer, and we think it can lay ground for still more optimization of STARKs.


Daniel Augot

Research Director at Inria

Sarah Bordage | Blockchain@X

Sarah Bordage

Postdoctoral Researcher - Ecole Polytechnique Fédérale de Lausanne Formal PhD Student at École Polytechnique

Jade Nardi


Sign up to receive the newsletter of the research center and be kept informed of our news and events.