diff --git a/mkdocs/docs/circom-language/circom-insight/unknowns.md b/mkdocs/docs/circom-language/circom-insight/unknowns.md index b982ab00..fb0c052e 100644 --- a/mkdocs/docs/circom-language/circom-insight/unknowns.md +++ b/mkdocs/docs/circom-language/circom-insight/unknowns.md @@ -1,6 +1,6 @@ # Unknowns -As expressions accepted during [constraint generation](../constraint-generation) can at most be quadratic only, certain checks and conditions are imposed on the use of unknown values at compile time. +As expressions accepted during [constraint generation](../../constraint-generation/) can at most be quadratic only, certain checks and conditions are imposed on the use of unknown values at compile time. In circom, **constant values** and **template parameters** are always considered known, while **signals** are always considered unknown.