Halo2 使用的多项式承诺算法，其多项式承诺打开证明是基于内积证明的。
待办事项：解释 Halo2 所使用的IPA变体。
它非常类似于论文BCMS20附录A.2节的 PCDL.Open。详细细节参见此处比较。