作用域

文档摘要

作用域 Circom 具有类似于 C 和 Rust 的静态作用域。然而，我们有信号和组件必须具有全局作用域，因此它们应该在定义它们的模板的顶级块中定义，或者自 Circom 2.1.5 以来，可以在（嵌套的）块中定义，但仅限于条件在编译时已知的情况。信号不能在指令的块中声明。会产生以下编译错误：“ 在初始作用域之外”。相反，以下程序可以正确编译。由于条件在编译时已知，因此信号的声明是允许的。然而，如果条件是，因为它在编译时是未知的，就会输出错误消息，因为在这种情况下不允许声明。无论如何，我们应用类似于 C++ 或 Rust 的静态作用域，并且在块内声明的信号只能在声明它的块内可见。