trustwallet导入私钥(然后定义几个基本的数
73 2022-09-22
这篇文章首要更深化地介绍了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
回来到原始问题,AlicepBob回来验证,原始Bob不知道p,藉由QAP转化问题后,Alicep=H在此躲藏同态,疏忽p,使数学式看起来不杂乱。以下问题是有时机假造H=H。这是本节的要点,是怎么恪守Alice标准。
概念上Bob供给一个或多个点而不是相关点,而且供给一组点pair以供给b=*a。Alice在b=*a的情况下,经过这样的联系来能够得到p的其他组的回来pair。
由于不知道数值,所以回到了新的组合——pair最直观的主意是再乘坐。