Skip to content

Commit

Permalink
Merge pull request #322 from Danyylka/master
Browse files Browse the repository at this point in the history
Fix typos and spelling errors
  • Loading branch information
miguelis authored Dec 18, 2024
2 parents 2e06f60 + ccf4378 commit a0be4a4
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion mkdocs/docs/circom-language/formats/constraints-json.md
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,8 @@ 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 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.

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 coefficient of the signal 0.

Let us consider the following simple circuit in 'basic.circom':

Expand Down

0 comments on commit a0be4a4

Please sign in to comment.