本文是“STARKs中的算术化”系列的第二部分，详细探讨了预处理AIR（PAIR）的概念，该方法通过将多个不相交的约束合并为一个更大的约束来提高计算完整性。文章介绍了执行跟踪的定义，结合示例说明了如何使用选择器列进行约束的组合，并分析了该方法对后续低阶邻近测试的影响及其复杂性。适合有一定基础的读者，持续深入该领域的理解。
Three Sigma