[Resource Topic] 2012/239: Zero-Knowledge for Multivariate Polynomials

Welcome to the resource topic for 2012/239

Title:
Zero-Knowledge for Multivariate Polynomials

Authors: Valerie Nachef, Jacques Patarin, Emmanuel Volte

Abstract:

In~\cite{SSH} a Zero-Knowledge scheme ZK(2) was designed from a solution of a set of multivariate quadratic equations over a finite field. In this paper we will give two methods to generalize this construction for polynomials of any degree d, i.e. we will design two Zero-Knowledge schemes ZK(d) and \tilde {ZK}(d) from a set of polynomial equations of degree d. We will show that \tilde {ZK} (d) is optimal in term of the number of computations to be performed and that ZK(d) is optimal in term of the number of bits to be send. Moreover this property is still true for all kinds of polynomials: for example if the polynomials are sparse or dense. Finally, we will present two examples of applications: with Brent equations, or with morphisms of polynomials.

ePrint: https://eprint.iacr.org/2012/239

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .