HaroldGin931 / Blog

MIT License
6 stars 7 forks source link

关于(1,2,3,4)和-137问题 #7

Open xrqin opened 1 month ago

xrqin commented 1 month ago

关于那个(1,2,3,4)挑战值怎么来的问题有补充吗?还有-137那里我也有些疑问。就是-137它只是拿挑战值1,2,3,4单独算出来的,似乎跟多项式没直接联系,怎么就算出来跟直接evaluate多项式一样的结果了呢?

HaroldGin931 commented 1 month ago

第一个问题我没太理解,挑战值是怎么生成的这个没有讲,我个人理解比较粗暴,V 直接生成一个随机数,然后 P 拿着这个随机数进行计算;如果没有回答你的这个问题,麻烦把对应的代码行数标注一下;

第二个问题:在Simple Binius这个章节里面 作为例子的 Hypercube 对应着一个 MLE ,这个 MLE 是一个 4 变量多项式,-137 是把 1,2,3,4带入后的结果,而为什么直接对 4*4 矩阵做 tensor product 和先生成 MLE 然后带入值进行计算这件事,你可以惨开论文的 2.1 节 (MLE 的 eq 组件 和 Tensor product用到的组件是一样的的);你觉得跟多项式没什么关系是因为这一节中,原博客只说了 RS-code 用到了拉格朗日多项式,而在用到这个随机点计算出 -137 的时候,对应的多项式实际上是 hypercude 对应的 MLE,你可以详细看一下 280 行的补充内容

xrqin commented 1 month ago
  1. 就是说这个1234也是通过fiat shamir 算出来的是吗?
  2. ok那我看看2.1节