STARKs:多项式证明（二）

本系列的上一部分中，我们讨论了如何使用涉及多项式组合和除法的技术，如何使用一种非常有趣而且简洁的计算证明你已经计算出第100万个斐波那契数。然而，这种算法依赖于一个关键因素：至少能够证明大部分给定的点在相同的低次多项式上。这个被称为“低次测试”的问题，可能是算法中最复杂的部分。 我们回顾一下我们的问题。假设有一组点，它们都在同一个多项式上，次数（deg）小于D（即：deg < 2表示它们在同一直线

>>阅读原文<<