在看zk-SNARK算法。这个没接触过,所以转载百度文库
一般地,若已知 在互不相同 n+1 个点 处的函数值 ( 即该函数过 这n+1个点),则可以考虑构造一个过这n+1 个点的、次数不超过n的多项式
,使其满足:
要估计任一点ξ,ξ≠xi,i=0,1,2,...,n,则可以用Pn(ξ)的值作为准确值f(ξ)的近似值,此方法叫做“插值法”。
称式(*)为插值条件(准则),含xi(i=0,1,...,n)的最小区间[a,b],其中a=min{x0,x1,...,xn},b=max{x0,x1,...,xn}。
定理
满足插值条件的、次数不超过n的多项式是存在而且是唯一的。
一般有:
在平面上有 共n个点,现作一条函数 使其图像经过这n个点。
作法:
设集合 是关于点 的角标的集合, ,作n个多项式 。对于任意
,都有 使得
是n-1次多项式,且满足 并且 。
最后可得
。
形如上式的插值多项式
称为拉格朗日(Lagrange)插值多项式。
例如:当n=4时,上面的公式可简化为:
这是一个过4个点的唯一的三次多项式。