Nova and its Implementation:A Deep Dive
https://dankradfeist.de/ethereum/2021/11/18/inner-product-arguments-mandarin.html
https://dankradfeist.de/ethereum/2021/06/18/pcs-multiproofs.html
https://eprint.iacr.org/2017/1066.pdf
符号约定
定义在 $\mathbb{F}_p$ 上的椭圆曲线群 $\mathbb{G}$,标量域为 $\mathbb{F}_r$,从 $\mathbb{G}$ 中选取两组独立的点作为 base:
$\vec{G} = (G_1, G_2, \dots, G_n)$
$\vec{H} = (H_1, H_2, \dots, H_n)$