trustwallet诈骗(然后定义几个基本的数学公
50 2023-01-03
这篇文章主要更深入地介绍了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最直观的想法是再乘坐。