Inner Product Argument(IPA)

二つのベクトルの内積がある値になることを証明するプロトコル

Vector Pedersen Commitment

生成限G,Hと

$ C=aG+bH

IVCを実現するFolding schemeにおいて使用されるテクニック

証明者はベクトルや多項式の内積を計算し、その結果を用いて証明を折りたたむ