使用Lagrange basis优化Setup中Commit函数的想法讨论

[Howard-Hu]

在Commit函数的实现中，由于入参values为Lagrange basis(即是FFT的结果),因此需要先做IFFT，然后再与basis计算得到Commit;

由于之前学习时的分析：


由上图中的分析，可知我们也可对basis做IFFT，然后再计算Commit,结果也依然成立；

【优化方式】:
由于basis是常值，因此可先计算好basis的IFFT值，再每次计算Commit时，可减少一次IFFT的计算；

【补充】图中FFT变换回顾来自对初中生也能看懂的FFT的截图

【问题】
需要各位大佬审核一下以上的分析推断有无问题，以及操作的可行性与局限性；