metamask 设置bsc(却能得到可以验证的结果
126 2022-10-11
这篇文章主要对zk-SNARKs进行更深的介绍,尽管不可避免地会呈现数学,但尽量将要点放在数学式背面的意义上,而不是深入探讨数学公式,而是将要点放在数学式背面的意义上。
第一个假定
1.Alice有多项式p
2.挑选点sBob给Alice
3.Alice回送p给Bob
为了传达
也就是说,两边都不知道对方的信息,却能得到能够验证的成果。
以上是根本的假定。然后界说几个根本的数学公式。
上面的多项式是这样界说的:。
p = C_0+C_1x+C_2x + + C_nx^n
HH支撑线性加法,下列方程式建立。
E = g^{ax+by} = g^{ax}*g^{by} =E
*HH的假定:知道E,是不能按x的值
用同态躲藏p的话
E = EC_0+C_1x+C_2x + + C_d^d = E^{C_1}*E^{C_2}E^{C_d}
接下来SNARKs回来根本核算
S1 = C1 * C2
S2 = C1 + C3
S3 = S1 * S2
接着,以s .a*s .bs .c=0的方法界说向量的组。这儿设为s1、C1、C2、C3、S1、S2、S3,因而能够得到阵列
//R1SC
//S1 = C1 * C2
a=
b=
c=//S2 = C1 + C3
a=
b=
c=//S3 = S1 * S2
a=
b=
c=
接下来是要点!
P C ,
Z
= A, s.C
回来原问题,Alice回来pBob验证,原Bob不知道p,藉由QAP转化问题后,Alice回来p=H为了不让数学式看起来杂乱,这儿无视同态躲藏,p。下一个问题是Alice有假造H=H的时机这是本节的要点,是怎么恪守Alice标准。
概念上Bob供给一个或多个点,而不是相关点,一组供给b=*a的点 pair。Alice是另一个组 回来pair,假如b=*a,则能够经过这样的联系来得到p。
由于不知道数值,所以回到了新的组合-pair最直观的主意是再乘坐。