From feb5bdf89882649cdf4f7f78f71dec05f4851e3e Mon Sep 17 00:00:00 2001 From: Albert Rubio <34064782+alrubio@users.noreply.github.com> Date: Wed, 17 Jan 2024 07:55:04 +0100 Subject: [PATCH] Minor changes in simplification json format description --- mkdocs/docs/circom-language/formats/simplification-json.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mkdocs/docs/circom-language/formats/simplification-json.md b/mkdocs/docs/circom-language/formats/simplification-json.md index 3e04b7280..041dd1ff6 100644 --- a/mkdocs/docs/circom-language/formats/simplification-json.md +++ b/mkdocs/docs/circom-language/formats/simplification-json.md @@ -15,7 +15,7 @@ The file contains a dictionary where the entries are the numbers of the simplifi where the linear expression is represented by a dictionary with the signal numbers as strings occurring in the linear expression (with non-zero coefficient) as entries and their coefficients (as string) as values: `{ "sig_num_l1": "coef_1", ... , "sig_num_lm": "coef_m"}` -All signals occurring in the linear expression are signals that are not removed. Hence, if you also include the ```--sym``` flag in the sym file all these signals are associated to a position in the witness list. +All signals occurring in the linear expression are signals that are not removed. Hence, if you also include the ```--sym``` flag, in the generated [sym file](../sym.md) all these signals are associated to a position in the witness list. On the other hand, al signals sig_num_1 ... sig_num_n that appear as entries in the substitution dictionary are associated to -1. Let us consider the following simple circuit in 'simplify.circom':