FlexProofs：一种具有灵活线性时间的向量承诺用于计算所有证明

本文引入FlexProofs，一种新的向量承诺(VC)方案，实现两个关键属性：(1)证明者可在optimal时间${\cal O}(N)$内生成大小为$N$的向量中所有individual opening proof，而存在灵活的batch size参数$b$可进一步缩短生成所有证明的时间；(2)该方案直接兼容编码输入为多线性多项式的族类zkSNARKs。作为关键构建块，我们提出了面向多指数运算的第一个功能承诺(FC)方案，支持batch opening。与能够在optimal时间${\cal O}(N)$计算所有证明且直接兼容zkSNARKs的唯一现有VC方案HydraProofs相比，FlexProofs在适当选择参数$b$时可加速生成所有证明的过程。我们的实验表明，当$N=2^{16}$且$b=\log^2 N$时，FlexProofs相较于HydraProofs可快6倍。此外，结合合适的zkSNARKs，FlexProofs可实现诸如可验证秘密共享和可验证鲁棒聚合等实用应用。