![区块链交易所](https://175.178.95.144/qu/d/file/exchange/negocie-coins.png alt="Negocie Coins的Logo">)
区块链交易所
![区块链交易所](https://175.178.95.144/qu/d/file/exchange/ripple-china.png alt="Ripple China的Logo">)
路印协议zkSNARK可信设置的多方计算仪式
发布：中币网 时间：2019-12-03 20:11:54 加入收藏 打赏
Loopring开启了zkSNARK可信设置的多⽅计算仪式，可信设置分为两个阶段，路印开启的是第⼆个阶段的可信设置。
背景介绍
Loopring使⽤的libsnark中零知识证明的算法是Groth16，Groth16分为证明和验证两步:
证明者需要计算以下三个多项式:
验证者需要验证以下等式相等:
这其中需要⼀些公共参数，也称为有毒废料:
但是这些参数是要丢弃的，否则就可以伪造证明，协议的安全性就没法保证了。
如果项⽬方自己⽣成这些参数然后宣称丢弃了这些参数，很难说服他⼈真的丢弃了，可信设置就是多个参与⽅⼀起设置这些公共参数，只要任意⼀⽅丢弃了参数，整个协议就安全了。
可信设置的两个阶段
可信设置有两个阶段，第一阶段是永续Tau(τ)计算，这⼀阶段的计算结果可被多个使⽤零知识证明的项目共享，路印也参与了这个阶段的计算并丢弃了有毒废料。
第⼆阶段是在第一阶段的基础上，生成电路相关的参数。
第一阶段
第⼀阶段计算的参数如下:
第二阶段
第⼆阶段是⽣成与电路相关的参数:
可信设置如何做到可信
⽐如公共参数中有椭圆曲线G1上的点α，假设初始⽣成点为G ，现在有两个参与者Alice和Bob以及协调者:
Alice选择⼀个随机数α1并且计算 ο1=α1*G,
Bob选择⼀个随机数α2并且计算 ο2=α2*ο1= (α1α2)*G,
协调者根据Beacon选择一个随机值α3，计算 α=α3*ο2= (α1α2α3)*G.
根据椭圆曲线的性质，知道最终的点α和初始生成点G，是无法得到α1α2α3，只要任何⼀个参与者丢掉了自己的随机值αi，这样最终的α任何人都不知道怎么产生的，协议就安全了。
每个阶段的最后都需要引入Beacon选择随机值，因为有可能有的参与者会精心选择一个随机值控制中间的计算结果，加入Beacon可以解决这种问题。
Beacon一般选择还未到来的比特币区块的hash，Loopring在开启第二阶段之前就已经公布了将要使用比特币高度602168的hash作为Beacon，选取第一阶段的第11个结果使用Beacon计算第一阶段的参数。
来源：路印 Loopring
来源：中币网 https://www.zhongbi.net/news/blocknews/175336.html 声明：登载此文仅出于分享区块链知识，并不意味着赞同其观点或证实其描述。文章内容仅供参考，不构成投资建议。投资者据此操作，风险自担。 此文如侵犯到您的合法权益，请联系我们3111859717@qq.com，我们将第一时间处理。
