译自 halo2 book:https://zcash.github.io/halo2/design/proving-system/inner-product.html

内积论证(Inner product argument)

Halo 2 使用了一种多项式承诺方案(polynomial commitment scheme),我们可以基于内积论证(Inner Product Argument)为其创建多项式承诺打开证明(opening proof)。

TODO: 解释 Halo 2 的 IPA 变体。

它与 BCMS20 附录 A.2 中的 ${\text{PC}}_{\text{DL}}.\text{Open}$ 非常相似。 详见此对比。