数据类型

文档摘要

数据类型 Circom 中的基本变量类型有：域元素值：模素数 p 的整数值（见信号）。这是所有信号和基本变量的默认类型。数组：它们可以包含相同类型（信号、var 或相同类型的组件或数组）的有限数量元素（在编译时已知）。元素从零开始编号，可以使用其位置的相应索引进行访问。数组访问使用方括号。声明给定类型的数组通过在变量标识符旁边添加 \[\] 并在括号之间包含大小（应使用常量值和/或模板的数字参数定义）来实现。访问和声明应与其类型一致，因此我们用 m\[i\]\[j\] 进行访问和声明，因为 m\[i\] 是一个数组。以下是带有和不带有初始化的声明示例：不允许使用 m\[i,j\] 表示数组的数组（矩阵）。