ZERO-KNOWLEDGE PROOF OF KNOWLEDGE OF MULTIVARIATE POLYNOMIAL’S ZERO
The problem of constructing a NIZK proof of knowledge of a multivariate polynomial’s zero is considered. A previously developed method for SNARK construction based on Quadratic Arithmetic Programs and Pinocchio protocol is adapted to solve the stated problem efficiently.
2021 ◽
Vol 2021
(1)
◽
Keyword(s):