零知识证明中PLONKish和AIR的区别

介绍

首先我们讲一下什么是算数化，为什么零知识证明当中经常提到算术化。算术化是指将一个计算问题（通常是我想要证明的问题，非代数过程）转化为一组代数方程。使得这些问题可以用多项式计算来表示，将原本难以处理或验证的问题转化为数学上更易处理的问题，在构建高效的零知识证明系统中不可或缺。

AIR

AIR，英文全称是Algebraic Intermediate Representation，称为代数中间表达。其是ZK-STARK中使用的算术化方案。其通过将问题通过矩阵的形式进行表达。其矩阵的第一行称为输入，最后一行为输出，矩阵中间为代数计算过程中的中间参数。

PLONKish

halo2采用的算术化称为PLONKish，也是同样用矩阵的形式进行定义，但在矩阵生成的形式与AIR有所不同。