我们在这篇文章中解释了如何思考和利用 PLONK 中使用的算术化类型。在其最一般的形式中，我们将这种算术化称为带预处理的随机性Air，简称 RAP。然而，在实践中，处理 RAP 的约束情况...