From c1dd547abd9613afb60dbae41233823065762262 Mon Sep 17 00:00:00 2001 From: Danbo <140512416+dannbbb1@users.noreply.github.com> Date: Wed, 18 Dec 2024 03:40:17 -0500 Subject: [PATCH] Update constraints-json.md --- mkdocs/docs/circom-language/formats/constraints-json.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/mkdocs/docs/circom-language/formats/constraints-json.md b/mkdocs/docs/circom-language/formats/constraints-json.md index 31b9be1a..0382a86c 100644 --- a/mkdocs/docs/circom-language/formats/constraints-json.md +++ b/mkdocs/docs/circom-language/formats/constraints-json.md @@ -22,7 +22,7 @@ where the linear expression is represented by a dictionary with the signal numbe ``` { "sig_num_l1": "coef_1", ... , "sig_num_lm": "coef_m"}` ``` -If you also include the ```--sym``` flag, in the generated [sym file](sym.md) you can see the qualified name in the circom program associted to each signal number, with the signal number 0 always expressing the constant 1. This way we can express any constant by having it as coeficient of the signal 0. +If you also include the ```--sym``` flag, in the generated [sym file](sym.md) you can see the qualified name in the circom program associated to each signal number, with the signal number 0 always expressing the constant 1. This way we can express any constant by having it as coeficient of the signal 0. Let us consider the following simple circuit in 'basic.circom': @@ -60,7 +60,7 @@ a file 'basic_contraints.json' is generated and it contains two constraints: } ``` - As we can see, only constant and renaming (equalities between signals) simplifications have been aplied + As we can see, only constant and renaming (equalities between signals) simplifications have been applied (since the --O1 simplification is the default). Instead, if we run @@ -81,7 +81,7 @@ to indicate that we do not want to apply any simplification the generated file ' ] } ``` -Finaly, if we run +Finally, if we run ```text circom basic.circom --json --wasm --O2