STARKs:多項式證明（二）

本系列的上一部分中，我們討論瞭如何使用涉及多項式組合和除法的技術，如何使用一種非常有趣而且簡潔的計算證明你已經計算出第100萬個斐波那契數。然而，這種算法依賴於一個關鍵因素：至少能夠證明大部分給定的點在相同的低次多項式上。這個被稱爲「低次測試」的問題，可能是算法中最複雜的部分。 我們回顧一下我們的問題。假設有一組點，它們都在同一個多項式上，次數（deg）小於D（即：deg < 2表示它們在同一直線

>>阅读原文<<