本文是KZG承诺系列的第二部分，重点介绍多线性多项式承诺方案PST（Papamanthou-Shi-Tamassia）。PST将KZG的商多项式思想直接推广到多线性多项式，通过逐变量部分求导导出恒等式 f(X) - v = Σ(X_k - u_k) q_k(X_0,...,X_{k-1})，并利用双线性配对在隐藏点τ上验证。文章详细描述了PST的Setup、Commit和Open算法，分析了证明大小（O(n)个G1元素）、证明者计算开销（O(2^n)域运算和群标量乘法）以及验证者开销（O(n)个群标量乘法和n+1个配对）。最后指出了PST的局限性：需要专用的多线性设置（包含交叉项）以及验证成本随变量数线性增长，这为后续引入Zeromorph等基于单变量KZG的多线性承诺方案埋下伏笔。
