背景介绍
l使?的中零知识证......
l开启了snark可信设置的多?计算仪式，可信设置分为两个阶段，路印开启的是第?个阶段的可信设置。
背景介绍
l使?的中零知识证明的算法是g，g分为证明和验证两步:
证明者需要计算以下三个多项式:
验证者需要验证以下等式相等:
这其中需要?些公共参数，也称为有毒废料:
但是这些参数是要丢弃的，否则就可以伪造证明，协议的安全性就没法保证了。
如果项?方自己?成这些参数然后宣称丢弃了这些参数，很难说服他?真的丢弃了，可信设置就是多个参与起设置这些公共参数，只要任意丢弃了参数，整个协议就安全了。
可信设置的两个阶段
可信设置有两个阶段，第一阶段是永续t(τ)计算，这?阶段的计算结果可被多个使?零知识证明的项目共享，路印也参与了这个阶段的计算并丢弃了有毒废料。
第?阶段是在第一阶段的基础上，生成电路相关的参数。
第一阶段
第?阶段计算的参数如下:
第二阶段
第?阶段是?成与电路相关的参数:
可信设置如何做到可信
?如公共参数中有椭圆曲线g上的点α，假设初始?成点为g ，现在有两个参与者a和b以及协调者:
a选择?个随机数α并且计算 ο=α*g,
b选择?个随机数α并且计算 ο=α*ο= (αα)*g,
协调者根据b选择一个随机值α，计算 α=α*ο= (ααα)*g.
根据椭圆曲线的性质，知道最终的点α和初始生成点g，是无法得到ααα，只要任何?个参与者丢掉了自己的随机值α，这样最终的α任何人都不知道怎么产生的，协议就安全了。
每个阶段的最后都需要引入b选择随机值，因为有可能有的参与者会精心选择一个随机值控制中间的计算结果，加入b可以解决这种问题。
b一般选择还未到来的比特币区块的，l在开启第二阶段之前就已经公布了将要使用比特币高度的作为b，选取第一阶段的第个结果使用b计算第一阶段的参数。