16.3 SnarkPack：零知识证明的聚合算法