本文档探讨了PlonK协议中的SRS和门电路，包括多方承诺方案、多次方程转化为二次方程的方法，以及处理电路的框架。重点介绍了如何通过二次方程实现无交互的承诺，并讨论了PlonK电路中的加法和乘法门。
4.SRS与门电路
https://www.bilibili.com/video/BV1XZ4y1A7bU?p=4&share_source=copy_web
这次的视频复习了之前讲过的内容，新的内容从1：30:00开始。
4.1 多方承诺
-
对于在有限域 F P = { 0 , 1 , . . . , p − 1 } F_P=\lbrace 0,1,...,p-1\rbrace FP={ 0,1,...,p−1}上的多项式： f ( x ) = z 0 + , … , + z d x d f(x) = z_0 + ,…,+ z_d x^d f(x)=z0+,…,+zdxd，发出一个承诺 c m ( f ) cm(f) cm(f)， $p $ 是一个很大的数， p ≈ 2 3 00 ≈ ( 1000 ) 30 p \approx 2^300 \approx (1000)^{30} p≈2300≈(1000)30
方案1：借助第3方，V将r发给第三方，P将多项式发给第三方。
方案2：V发送 g f ( r ) g^{f(r)} gf(r)给P，P计算 g f ( r ) g^{f(r)} g
最低0.47元/天 解锁文章
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
