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