ZKSnark 学习笔记

https://medium.com/@VitalikButerin/quadratic-arithmetic-programs-from-zero-to-hero-f6d558cea649#5539

需要注意的是最后的

Now, let’s actually do the dot product check with the polynomials above. First, the intermediate polynomials: A . s = [43.0, -73.333, 38.5, -5.166] B . s = [-3.0, 10.333, -5.0, 0.666] C . s = [-41.0, 71.666, -24.5, 2.833] Now, A . s _ B . s — C . s: t = [-88.0, 592.666, -1063.777, 805.833, -294.777, 51.5, -3.444] Now, the minimal polynomial Z = (x - 1) _ (x - 2) _ (x - 3) _ (x - 4): Z = [24, -50, 35, -10, 1] And if we divide the result above by Z, we get: h = t / Z = [-3.666, 17.055, -3.444]

是多项式的乘法和除法

需要了解一下快速傅里叶变换