信号&变量

文档摘要

信号 & 变量算术电路使用circom构建,运行于信号之上,其中信号包含域$Z/pZ$中的field元素。信号可以用标识符命名,也可以存储在数组中,并使用关键字signal声明。信号可以被定义为输入或输出,否则被视为中间信号。这个例子声明了一个标识符为的输入信号、一个N维的标识符为的输出信号数组,以及一个标识符为的中间信号。信号赋值类型信号只能使用或操作(信号在赋值操作的左侧)以及或操作(信号在赋值操作的右侧)进行赋值。所有这些操作在编译器生成的witness generation代码中都被转化为赋值语句。然而,双箭头赋值和与单箭头赋值和的关键区别是,只有前者会在R1CS系统中添加约束,表示信号等于被赋的表达式。