向量的Hadamard product VS Inner product

1. 定义

向量的Hadmard product表示为：
$a\odot b=(a_0{b}_0,a_1{b}_1,a_2{b}_2,\dots ,a_n{b}_n)$
向量的Inner product表示为：
$<a,b>={\sum }_{i=0}^n{a}_i{b}_i$

注意，Hadmard product与Inner product的转换可为：
$<a,b>={\sum }_{i=0}^n{a}_i{b}_i=<1,a\odot b>，其中1=(1,1,1,....,1)$
同时有：
$a=a\odot 1，其中1=(1,1,1,....,1)$

2. Inner product 证明

Inner product证明参见博客Zero-knowledge inner product argument（IPA）。

3. Hadamard product证明

EIGamal Encryption具有乘法同态特性。

在2012年论文《Efficient Zero-Knowledge Argument for Correctness of a Shuffle》 第5章节中，提及了Hadamard product argument：













参考资料：
[1] 2012年论文《Efficient Zero-Knowledge Argument for Correctness of a Shuffle》