Tests multivariés efficaces de faible degré via des preuves Oracle interactives de proximité pour les codes polynomiaux

Dans les preuves à connaissance nulle de type STARK, comme celles de la société Starware, la principale avancée algorithmique et mathématique qui permet d’obtenir de telles performances dans les applications est l’invention d’un “test de faible degré” très efficace pour les polynômes univariés. Notre travail permet d’effectuer un tel test de bas degré pour les polynômes multivariés, avec la même efficacité. Il s’agit d’une première couche, et nous pensons qu’elle peut ouvrir la voie à une optimisation encore plus poussée des STARKs.