零知识证明 - 说说Binius

文章预览

好久都没写文章了。去年大段时间都在翻译PAZK。歇了一段时间，最近发现零知识证明技术有些新的方向和变化。感叹，总是有些有趣的人做着有趣的事情。羡慕，并努力让自己有趣。先说说Binius。Binius是个新颖的零知识证明系统，目的是降低证明者的计算开销。Binius能降低证明开销的原因是使用了F_2以及扩展域。 F_2以及扩展域 如果一个域K属于域L，则域L称为域K的扩展，域K称为域L的子域。如果域K是域F的扩展，用 K/F表示。如果p(x)是一个在域K上不可约减的多项式，则L = K[X]/(p(X))为域K的扩展，并且L中包含多项式p(X)的根。不可约减多项式指的是在某个域上没有根。 举个例子，F_2是一个域，其中只有两个值：0和1。通过F_2[X]/(X^2+X+1)可以获得域F_4，其中包括四个值：0，1，\alpha以及 1+ \alpha。该域上的加法(+)和乘法(.)计算表如下： 表格来自： https://www.ma ………………………………