1-Plonkish Arithmetization

pure text:

算术化是指把计算转换成数学对象，然后进行零知识证明。 Plonkish 算术化是 Plonk 证明系统特有的算术化方法，在 Plonkish 出现之前，主流的电路表达形式为 R1CS，被 Pinocchio，Groth16，Bulletproofs 等广泛采用。2019 年 Plonk 方案提出了一种看似复古的电路编码方式，但由于 Plonk 方案将多项式的编码应用到了极致，它不再局限于算术电路中的「加法门」和「乘法门」，而是可以支持更灵活的「自定义门」与「查表门」。

电路中有4个变量，其中三个变量为输入变量

text with inline formula like $abc..$

电路中有4个变量，其中三个变量为输入变量 $(x_1,x_2,x_3)$ ，一个输出变量 $out$，其中还有一个输入为常数，其值为 $2$。

Error formula:

$$\begin{array}{ccccc}1& x_1& x_2& x_3& out\\ 0& 1& 1& 0& 0\end{array}$$