plonk
文章平均质量分 89
火火火926
这个作者很懒,什么都没留下…
展开
-
PlonK Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge学习笔记-4
4.SRS与门电路4.1 多方承诺对于在有限域 FP={0,1,...,p−1}F_P=\lbrace 0,1,...,p-1\rbraceFP={0,1,...,p−1}上的多项式:f(x)=z0+,…,+zdxdf(x) = z_0 + ,…,+ z_d x^df(x)=z0+,…,+zdxd,发出一个承诺 cm(f)cm(f)cm(f), $p $ 是一个很大的数, p≈2300≈(1000)30p \approx 2^300 \approx (1000)^{30}p≈2300≈(10原创 2021-06-08 21:33:29 · 188 阅读 · 0 评论 -
PlonK Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge学习笔记-3
3. plonk 零知识证明视频来源:https://www.bilibili.com/video/BV1XZ4y1A7bU?p=3&share_source=copy_web3.1 多项式承诺多项式承诺:当我有一mmm,我发给V,发送后就不可以改变。前面讲到了用指数函数完成:对于 FP={0,1,2,..,p−1}F_P =\lbrace 0,1,2,..,p-1 \rbraceFP={0,1,2,..,p−1}, 存在映射到 G={e,g,...,gp−1}G = \lbrace e原创 2021-06-08 17:24:27 · 260 阅读 · 0 评论 -
PlonK Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge学习笔记-2
多项式与黑盒模拟prove1.域:有限域:FP=ZP={0,1,...,p−1}F_P=Z_P=\lbrace 0,1,...,p-1\rbraceFP=ZP={0,1,...,p−1} ,p个元素,满足加减乘除运算。有限域的乘法群:Fp=Zp∗={1,2,...,p−1}F_p = Z_p^* = \lbrace 1,2,...,p-1\rbraceFp=Zp∗={1,2,...,p−1}, p-1个元素,满足乘除运算。例如: p =2,3,5,7, 当p=2:F2={0,原创 2021-06-07 22:27:59 · 208 阅读 · 0 评论 -
PlonK Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge学习笔记-1
PLONK 课程1. plonk的基本原理1.将数学运算化为多项式,之后再化为电路。2.多项式承诺(手上的一堆多项式,满足一定的关系:证明方发送给验证者,承诺发出后,多项式不可以再改变)。零知识证明基本原理:证明R(x,w) = 1. x :是数学问题,w是问题的解。证明方P找到了解w,向验证方V证明拥有w。电路中门的分类:加法门、乘法门和常数门。2. plonk 处理门的方案:QL∗a+QR∗b+QO∗c+QM∗a∗b+QC=0Q_L*a + Q_R*b + Q_O*c + Q_M原创 2021-06-07 11:08:59 · 339 阅读 · 0 评论