STARKs，Part-3：攻坚（下）

感谢上帝，今天是 FRI 日（即“快速里德-所罗门码接近性交互预言证明（Fast Reed-Solomon Interactive Oracle Proofs of Proximity）”） 提醒：现在可能是审阅和重读本系列第 2 部分的好时机。 现在，我们来探讨创建低次证明的代码。首先回顾一下，低次证明是一个概率性证明，即给定值集合中占足够高百分比（例如80％）的部分表示某一特定多项式的值，其中

>>阅读原文<<