本文是关于STARKs中的算术化方法的第三篇文章，比较了AIR与PAIR在低度约束下的表现，探讨了其在计算复杂性和选择器列优化方面的不同。作者详细介绍了FRI协议、低度扩展的计算要求以及从PAIR转换回AIR的过程。整体上文章提供了丰富的理论和应用思考，具有较高的学术价值。
Three Sigma