这篇文章深入探讨了STARKs中的算术化方法以及其与计算完整性之间的关系，主要聚焦于AIR及其变体PAIR。文章详细分析了在STARKs中的算术中介表示、执行轨迹的定义和构建、以及多元多项式的约束形式。作者提供了丰富的数学背景支持，并通过示例和公式说明了算术化过程的具体实施方案，是一篇技术深度和结构清晰的文章。
本文是STARK数学系列的第三篇，深入探讨了如何通过多项式约束的组合，从执行轨迹中构造低度多项式，并展示其在验证过程中的应用。作者介绍了误差纠正码在提高验证器查询效率中的作用，并通过简单的布尔执行轨迹和斐波那契数列示例说明了相关原理，最后讨论了多列多约束情况的处理。文章在理论和实践中都有深度和详实的分析，是理解STARKs的重要资源。
Three Sigma
starkware