本文介绍了Circom中的符号变量，它是被赋值为信号值的变量，常用于在循环中对信号求和。文章解释了符号变量的定义、使用场景，例如校验数组求和、校验二进制表示，以及如何避免因符号变量导致的二次约束冲突。此外，还阐述了非符号变量在模运算和位移操作中的使用限制，以及符号变量在循环边界和条件判断中的禁用。
本文介绍了Circom中Rank 1约束系统的规则，即每个约束最多只能有一个信号间的乘法，超过则会报错。文章通过正反例解释了这一规则，并说明了常量乘法、加法、减法是被允许的。此外，还解释了Circom如何处理除法，以及为何数组索引、模运算、左移等操作不被允许。最后总结了约束系统的限制，并提及了绕过这些限制的设计模式。
RareSkills