QAP(Quadratic Arithmetic Program)是一种用于表达和求解关于二次方程的问题的表示方法。它是一种常见的约束系统,常用于零知识证明、可验证计算和密码学中。

QAP 的基本思想是将问题表达为一组二次方程的约束,其中每个约束由三个多项式构成:两个输入多项式和一个输出多项式。这些多项式的系数通常是整数。

QAP 的一般形式如下:

C(x, y) = A(x) · B(y)

其中,A(x)B(y) 是输入多项式,C(x, y) 是输出多项式。xy 是变量。QAP 将问题转化为在满足多个约束的情况下找到满足 C(x, y) = A(x) · B(y) 的变量 xy