Hadamard Product Argument from Lagrange-Based Univariate Polynomials

ePrint Report: Hadamard Product Argument from Lagrange-Based Univariate Polynomials

Jie Xie, Yuncong Hu, Yu Yu

Hadamard product is a point-wise product for two vectors. This paper presents a new scheme to prove Hadamard-product relation as a sub-protocol for SNARKs based on univariate polynomials. Prover uses linear cryptographic operations to generate the proof containing logarithmic field elements. The verification takes logarithmic cryptographic operations with constant numbers of pairings in bilinear group. The construction of the scheme is based on the Lagrange-based …

argument cryptographic eprint report linear operations point product proof protocol prove report