1) 我们提出了第一个真正私密的单服务器 zkSNARK 委托方案，适用于众所周知的基于组的 zkSNARK，如 Groth16、Plonk 和 Nova。我们的核心思想是将证明者最昂贵的计算——即 MSM——委托给单个服务器。