[1]是具有通用和可更新的结构参考字符串（SRS）的通用算术电路可满足性的zk-SNARK协议，由提出 [2]大小线性缩放。 尽管需要对SRS进行可靠的设置，但SRS可以得到不断增强，并且Sonic只需为所有电路进行一次设置即可。 Sonic允许证明者证明给定约束系统的隐藏证人的知识。 它针对[3]中使用的二元多项式方程定义了约束系统。 用法 Sonic协议可以分为三个步骤：设置，验证和验证。 由于SRS的通用性，设置阶段仅需要运行一次。 此实现使用BLS12-381椭圆曲线。 sonicP