Skip to content

Commit

Permalink
Update signals.md
Browse files Browse the repository at this point in the history
  • Loading branch information
miguelis authored Jan 16, 2024
1 parent 0d22f8b commit a2fa74b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion mkdocs/docs/circom-language/signals.md
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ The safe options for assignments are `<==` and `==>`, since the assigned value i
```text
out[k] <-- (in >> k) & 1;
```
In such case, since `<--` and `-->` do not add any constraint to the R1CS system stating the relation between the signal and the assigned expresion, it is crucial to add other constraints expressing such relation. To this end, circom allows to add constraints to the system using the operation `===`, whose use is explained in more detailed [here](constraint-generation).
In such case, since `<--` and `-->` do not add any constraint to the R1CS system stating the relation between the signal and the assigned expresion, it is crucial to add other constraints expressing such relation. To this end, circom allows to add constraints to the system using the operation `===`, whose use is explained in more detailed [here](constraint-generation.md).

## Public and Private Signals
Signals are always considered private. The programmer can distinguish between public and private signals only when defining the main component, by providing the list of public input signals.
Expand Down

0 comments on commit a2fa74b

Please sign in to comment.