From 0d22f8b2db4834f054ce680b012b27a7fc0578fa Mon Sep 17 00:00:00 2001 From: miguelis Date: Tue, 16 Jan 2024 17:42:25 +0100 Subject: [PATCH] Update signals.md --- mkdocs/docs/circom-language/signals.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mkdocs/docs/circom-language/signals.md b/mkdocs/docs/circom-language/signals.md index e3d22077c..d46cef03e 100644 --- a/mkdocs/docs/circom-language/signals.md +++ b/mkdocs/docs/circom-language/signals.md @@ -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](circom-language/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). ## 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.